1545127833.515 * [misc]progress:  [Phase 1 of 3] Setting up.
1545127833.515 * * * [misc]progress:  [1/2] Preparing points
1545127833.516 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545127833.801 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127833.801 * * * * [misc]points:  Sampling 150 additional inputs, on iter 1 have 106 / 256
1545127833.962 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127833.962 * * * * [misc]points:  Sampling 95 additional inputs, on iter 2 have 161 / 256
1545127834.043 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.043 * * * * [misc]points:  Sampling 57 additional inputs, on iter 3 have 199 / 256
1545127834.136 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.136 * * * * [misc]points:  Sampling 35 additional inputs, on iter 4 have 221 / 256
1545127834.196 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.196 * * * * [misc]points:  Sampling 20 additional inputs, on iter 5 have 236 / 256
1545127834.219 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.220 * * * * [misc]points:  Sampling 12 additional inputs, on iter 6 have 244 / 256
1545127834.230 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.231 * * * * [misc]points:  Sampling 7 additional inputs, on iter 7 have 249 / 256
1545127834.235 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.235 * * * * [misc]points:  Sampling 6 additional inputs, on iter 8 have 250 / 256
1545127834.242 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.242 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1545127834.251 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.251 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 255 / 256
1545127834.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127834.255 * * * * [exit]points:  Sampled 256 points with exact outputs
1545127834.255 * * * [misc]progress:  [2/2] Setting up program.
1545127834.259 * [misc]progress:  [Phase 2 of 3] Improving.
1545127834.260 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.260 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.264 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.266 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.281 * * [misc]progress:  iteration 1 / 4
1545127834.282 * * * [misc]progress:  picking best candidate
1545127834.288 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.288 * * * [misc]progress:  localizing error
1545127834.312 * * * [misc]progress:  generating rewritten candidates
1545127834.312 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545127834.315 * * * [misc]progress:  generating series expansions
1545127834.315 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545127834.344 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.344 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127834.345 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.348 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.348 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.348 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.350 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127834.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.351 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127834.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.353 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127834.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127834.353 * * * [misc]progress:  simplifying candidates
1545127834.354 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1545127834.354 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1545127834.354 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545127834.354 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.354 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545127834.354 * * * * [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)))))>
1545127834.354 * * * * [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)))))>
1545127834.354 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545127834.354 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545127834.354 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.354 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.354 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.355 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.357 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.357 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545127834.357 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.357 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.357 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.358 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.359 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.359 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545127834.359 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.359 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.359 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.360 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.361 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.362 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545127834.362 * * * [misc]progress:  adding candidates to table
1545127834.510 * * [misc]progress:  iteration 2 / 4
1545127834.510 * * * [misc]progress:  picking best candidate
1545127834.539 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.539 * * * [misc]progress:  localizing error
1545127834.549 * * * [misc]progress:  generating rewritten candidates
1545127834.549 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545127834.550 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545127834.553 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545127834.557 * * * [misc]progress:  generating series expansions
1545127834.557 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545127834.557 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.557 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127834.557 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.558 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.558 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.558 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.558 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.558 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.558 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.558 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.558 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.558 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.558 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.558 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.558 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.558 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.558 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.558 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.558 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.558 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.559 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.559 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.559 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.559 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.559 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127834.559 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.559 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.559 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.559 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.560 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.560 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.560 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.560 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127834.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.561 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127834.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.562 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127834.562 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545127834.563 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127834.563 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545127834.563 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545127834.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.563 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.563 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127834.563 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545127834.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.563 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.563 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127834.563 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545127834.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.563 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.563 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127834.564 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545127834.564 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.564 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.564 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127834.564 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127834.566 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545127834.566 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.566 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.567 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.568 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545127834.568 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.570 * [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
1545127834.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.570 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.570 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.570 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.572 * [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
1545127834.572 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.576 * [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
1545127834.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.576 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.576 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.576 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127834.576 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127834.576 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545127834.576 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545127834.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.576 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127834.576 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545127834.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.576 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127834.576 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545127834.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.577 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127834.577 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545127834.577 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.577 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127834.577 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127834.578 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545127834.578 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.578 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.578 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.578 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545127834.578 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.579 * [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
1545127834.579 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.579 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.579 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.579 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.580 * [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
1545127834.580 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.582 * [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
1545127834.582 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.582 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.582 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.582 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545127834.582 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127834.582 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545127834.582 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545127834.582 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.583 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.583 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127834.583 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545127834.583 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.583 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.583 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127834.583 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545127834.583 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.583 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.583 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127834.583 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545127834.583 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.583 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.583 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127834.583 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127834.584 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545127834.584 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.584 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.584 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.585 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545127834.585 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.588 * [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
1545127834.588 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.588 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.588 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.588 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.589 * [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
1545127834.589 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.591 * [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
1545127834.591 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.591 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.591 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.591 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545127834.591 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545127834.592 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545127834.592 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127834.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.592 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.592 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127834.592 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127834.592 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.592 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.592 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.592 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127834.592 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.592 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127834.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.592 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127834.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127834.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127834.593 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127834.593 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.593 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127834.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127834.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127834.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127834.594 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]backup-simplify:  Simplify 0 into 0
1545127834.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127834.594 * * * [misc]progress:  simplifying candidates
1545127834.594 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545127834.594 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545127834.595 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545127834.595 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545127834.595 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545127834.595 * * * * [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)))))))>
1545127834.595 * * * * [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)))))))>
1545127834.595 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545127834.595 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545127834.595 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545127834.595 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545127834.595 * * * * [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)))))))>
1545127834.595 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545127834.595 * * [misc]simplify:  iters left: 6 (8 enodes)
1545127834.597 * * [misc]simplify:  iters left: 5 (16 enodes)
1545127834.599 * * [misc]simplify:  iters left: 4 (19 enodes)
1545127834.602 * * [misc]simplify:  iters left: 3 (21 enodes)
1545127834.604 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545127834.604 * [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)))))))
1545127834.604 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545127834.604 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545127834.604 * * [misc]simplify:  iters left: 4 (7 enodes)
1545127834.605 * * [misc]simplify:  iters left: 3 (13 enodes)
1545127834.607 * * [misc]simplify:  iters left: 2 (16 enodes)
1545127834.609 * * [misc]simplify:  iters left: 1 (18 enodes)
1545127834.611 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545127834.611 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545127834.611 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545127834.611 * [enter]simplify:  Simplifying (log 1)
1545127834.611 * * [misc]simplify:  iters left: 1 (2 enodes)
1545127834.613 * [exit]simplify:  Simplified to 0
1545127834.613 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545127834.613 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545127834.613 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545127834.613 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.613 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.613 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.614 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.615 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.615 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545127834.615 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545127834.615 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545127834.616 * * * * [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)))))))>
1545127834.616 * * * * [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)))))))>
1545127834.616 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545127834.616 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545127834.616 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1545127834.616 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1545127834.616 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545127834.616 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545127834.616 * [enter]simplify:  Simplifying (exp 1)
1545127834.616 * * [misc]simplify:  iters left: 1 (2 enodes)
1545127834.616 * [exit]simplify:  Simplified to E
1545127834.616 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545127834.616 * * * * [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))))))>
1545127834.616 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545127834.617 * * [misc]simplify:  iters left: 6 (9 enodes)
1545127834.618 * * [misc]simplify:  iters left: 5 (17 enodes)
1545127834.620 * * [misc]simplify:  iters left: 4 (20 enodes)
1545127834.622 * * [misc]simplify:  iters left: 3 (22 enodes)
1545127834.625 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545127834.625 * [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))))))
1545127834.625 * * * * [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))))))>
1545127834.625 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545127834.626 * * [misc]simplify:  iters left: 5 (8 enodes)
1545127834.627 * * [misc]simplify:  iters left: 4 (14 enodes)
1545127834.628 * * [misc]simplify:  iters left: 3 (17 enodes)
1545127834.630 * * [misc]simplify:  iters left: 2 (19 enodes)
1545127834.633 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545127834.633 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545127834.633 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545127834.633 * [enter]simplify:  Simplifying (exp 1)
1545127834.633 * * [misc]simplify:  iters left: 1 (2 enodes)
1545127834.633 * [exit]simplify:  Simplified to E
1545127834.633 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545127834.633 * * * * [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)))))))>
1545127834.633 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545127834.633 * * [misc]simplify:  iters left: 6 (9 enodes)
1545127834.635 * * [misc]simplify:  iters left: 5 (17 enodes)
1545127834.639 * * [misc]simplify:  iters left: 4 (22 enodes)
1545127834.645 * * [misc]simplify:  iters left: 3 (24 enodes)
1545127834.650 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545127834.650 * [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)))))))
1545127834.650 * * * * [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)))))))>
1545127834.651 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545127834.651 * * [misc]simplify:  iters left: 5 (8 enodes)
1545127834.653 * * [misc]simplify:  iters left: 4 (14 enodes)
1545127834.657 * * [misc]simplify:  iters left: 3 (17 enodes)
1545127834.661 * * [misc]simplify:  iters left: 2 (19 enodes)
1545127834.665 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545127834.665 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545127834.665 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545127834.665 * [enter]simplify:  Simplifying (exp (log 1))
1545127834.665 * * [misc]simplify:  iters left: 2 (3 enodes)
1545127834.666 * * [misc]simplify:  iters left: 1 (5 enodes)
1545127834.666 * [exit]simplify:  Simplified to 1
1545127834.666 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545127834.666 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.667 * [enter]simplify:  Simplifying (cosh c)
1545127834.667 * * [misc]simplify:  iters left: 1 (2 enodes)
1545127834.667 * [exit]simplify:  Simplified to (cosh c)
1545127834.667 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545127834.667 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545127834.667 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545127834.667 * * * * [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)))))))>
1545127834.667 * * * * [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)))))))>
1545127834.667 * * * * [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)))))))>
1545127834.667 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545127834.667 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.668 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.668 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.669 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.672 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.672 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545127834.672 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.673 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.673 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.674 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.677 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.677 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545127834.678 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.678 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.678 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.679 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.683 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.683 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545127834.683 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.683 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545127834.683 * * [misc]simplify:  iters left: 3 (6 enodes)
1545127834.685 * * [misc]simplify:  iters left: 2 (12 enodes)
1545127834.688 * * [misc]simplify:  iters left: 1 (15 enodes)
1545127834.693 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545127834.693 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545127834.693 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.693 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545127834.693 * * [misc]simplify:  iters left: 3 (6 enodes)
1545127834.697 * * [misc]simplify:  iters left: 2 (12 enodes)
1545127834.701 * * [misc]simplify:  iters left: 1 (15 enodes)
1545127834.705 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545127834.705 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545127834.705 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545127834.705 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545127834.705 * * [misc]simplify:  iters left: 3 (6 enodes)
1545127834.707 * * [misc]simplify:  iters left: 2 (12 enodes)
1545127834.710 * * [misc]simplify:  iters left: 1 (15 enodes)
1545127834.714 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545127834.714 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545127834.714 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.715 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.715 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.716 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.719 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.719 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545127834.719 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.720 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.720 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.721 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.724 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.724 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545127834.724 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545127834.725 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127834.725 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127834.726 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127834.729 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127834.729 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545127834.729 * * * [misc]progress:  adding candidates to table
1545127835.259 * * [misc]progress:  iteration 3 / 4
1545127835.260 * * * [misc]progress:  picking best candidate
1545127835.321 * * * * [misc]pick:  Picked  #<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)))))))>
1545127835.321 * * * [misc]progress:  localizing error
1545127835.334 * * * [misc]progress:  generating rewritten candidates
1545127835.334 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1545127835.334 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1545127835.334 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545127835.334 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1545127835.335 * * * [misc]progress:  generating series expansions
1545127835.335 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.336 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127835.336 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.336 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.336 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.336 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.336 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.336 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127835.336 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.336 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.336 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.336 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.337 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.337 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.337 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127835.337 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.337 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.337 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.337 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.337 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.338 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127835.338 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.338 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127835.338 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.338 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.338 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.338 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.338 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.338 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.338 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.339 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.339 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127835.339 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.339 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.339 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.339 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.339 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.339 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.339 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.339 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.339 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.339 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.339 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.340 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127835.340 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.340 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.340 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.340 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.340 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127835.340 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.341 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127835.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.341 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.341 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127835.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.342 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.342 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.342 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127835.342 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.342 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.342 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.342 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.343 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.343 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127835.343 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1545127835.343 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127835.343 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545127835.343 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545127835.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.343 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127835.343 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545127835.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.343 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127835.343 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545127835.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127835.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.343 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127835.343 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545127835.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127835.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127835.343 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127835.344 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127835.344 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545127835.344 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.344 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.344 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.345 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545127835.345 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.346 * [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
1545127835.346 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.346 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.346 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.346 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.347 * [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
1545127835.347 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.349 * [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
1545127835.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.349 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.349 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.349 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545127835.349 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127835.349 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545127835.349 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545127835.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.349 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127835.349 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545127835.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.349 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127835.349 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545127835.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127835.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.349 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127835.349 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545127835.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127835.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127835.350 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127835.350 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545127835.350 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545127835.350 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.350 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.350 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.351 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545127835.351 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.352 * [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
1545127835.352 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.352 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.352 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.352 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.353 * [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
1545127835.353 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.355 * [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
1545127835.355 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.355 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.355 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.355 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545127835.355 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127835.355 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545127835.355 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545127835.355 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.355 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127835.355 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545127835.355 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.355 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127835.355 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545127835.355 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127835.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.356 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127835.356 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545127835.356 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127835.356 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127835.356 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127835.356 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545127835.356 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545127835.357 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.357 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.357 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.357 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545127835.357 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.358 * [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
1545127835.358 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.358 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.358 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.358 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.359 * [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
1545127835.359 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.361 * [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
1545127835.361 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127835.361 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.361 * [misc]backup-simplify:  Simplify 0 into 0
1545127835.361 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545127835.361 * * * [misc]progress:  simplifying candidates
1545127835.361 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1545127835.361 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1545127835.361 * * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545127835.361 * * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545127835.361 * * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545127835.361 * * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545127835.361 * * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545127835.361 * * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545127835.361 * * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545127835.361 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.361 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545127835.362 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1545127835.362 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1545127835.362 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545127835.362 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545127835.362 * * [misc]simplify:  iters left: 6 (8 enodes)
1545127835.364 * * [misc]simplify:  iters left: 5 (16 enodes)
1545127835.366 * * [misc]simplify:  iters left: 4 (19 enodes)
1545127835.368 * * [misc]simplify:  iters left: 3 (21 enodes)
1545127835.371 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545127835.371 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545127835.371 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545127835.371 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545127835.371 * * [misc]simplify:  iters left: 4 (7 enodes)
1545127835.372 * * [misc]simplify:  iters left: 3 (13 enodes)
1545127835.373 * * [misc]simplify:  iters left: 2 (16 enodes)
1545127835.375 * * [misc]simplify:  iters left: 1 (18 enodes)
1545127835.378 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545127835.378 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545127835.378 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545127835.378 * [enter]simplify:  Simplifying (log 1)
1545127835.378 * * [misc]simplify:  iters left: 1 (2 enodes)
1545127835.379 * [exit]simplify:  Simplified to 0
1545127835.379 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545127835.379 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545127835.379 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545127835.379 * * * * [misc]progress:  [ 35 / 53 ] 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)))))))>
1545127835.379 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.379 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.380 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.384 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.384 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.384 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545127835.384 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545127835.384 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127835.384 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545127835.384 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545127835.384 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545127835.384 * * * * [misc]progress:  [ 42 / 53 ] 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)))))))>
1545127835.384 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.384 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.386 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.389 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.389 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.389 * * * * [misc]progress:  [ 43 / 53 ] 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)))))))>
1545127835.390 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.390 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.391 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.394 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.394 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.394 * * * * [misc]progress:  [ 44 / 53 ] 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)))))))>
1545127835.394 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.394 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.395 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.396 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.396 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.396 * * * * [misc]progress:  [ 45 / 53 ] 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)))))))>
1545127835.397 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.397 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.397 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.399 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.399 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.399 * * * * [misc]progress:  [ 46 / 53 ] 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)))))))>
1545127835.399 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.399 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.400 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.401 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.401 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.401 * * * * [misc]progress:  [ 47 / 53 ] 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)))))))>
1545127835.401 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.401 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.402 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.403 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.404 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.404 * * * * [misc]progress:  [ 48 / 53 ] 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)))))))>
1545127835.404 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.404 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.404 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.406 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.406 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.406 * * * * [misc]progress:  [ 49 / 53 ] 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)))))))>
1545127835.406 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.406 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.407 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.408 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.408 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.408 * * * * [misc]progress:  [ 50 / 53 ] 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)))))))>
1545127835.408 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127835.408 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127835.409 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127835.411 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127835.411 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.411 * * * * [misc]progress:  [ 51 / 53 ] 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)))))))>
1545127835.411 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545127835.411 * * [misc]simplify:  iters left: 3 (6 enodes)
1545127835.412 * * [misc]simplify:  iters left: 2 (12 enodes)
1545127835.413 * * [misc]simplify:  iters left: 1 (15 enodes)
1545127835.415 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545127835.415 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.415 * * * * [misc]progress:  [ 52 / 53 ] 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)))))))>
1545127835.415 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545127835.415 * * [misc]simplify:  iters left: 3 (6 enodes)
1545127835.416 * * [misc]simplify:  iters left: 2 (12 enodes)
1545127835.418 * * [misc]simplify:  iters left: 1 (15 enodes)
1545127835.420 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545127835.420 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.420 * * * * [misc]progress:  [ 53 / 53 ] 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)))))))>
1545127835.420 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545127835.420 * * [misc]simplify:  iters left: 3 (6 enodes)
1545127835.421 * * [misc]simplify:  iters left: 2 (12 enodes)
1545127835.423 * * [misc]simplify:  iters left: 1 (15 enodes)
1545127835.425 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545127835.425 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127835.425 * * * [misc]progress:  adding candidates to table
1545127836.312 * * [misc]progress:  iteration 4 / 4
1545127836.312 * * * [misc]progress:  picking best candidate
1545127836.422 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.422 * * * [misc]progress:  localizing error
1545127836.442 * * * [misc]progress:  generating rewritten candidates
1545127836.442 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1545127836.443 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1545127836.443 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1545127836.444 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1545127836.444 * * * [misc]progress:  generating series expansions
1545127836.444 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1545127836.444 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.444 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127836.444 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.445 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.445 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.445 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.445 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.445 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.445 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.445 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.445 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.445 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.445 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.446 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.446 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.446 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127836.446 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.446 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.446 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.446 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.446 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.446 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.446 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.446 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.446 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.447 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.447 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.447 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.447 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.447 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.447 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.447 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.447 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.447 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.449 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.449 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.449 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.449 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127836.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.450 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127836.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.451 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127836.451 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1545127836.451 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.451 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127836.451 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.451 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.452 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.453 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127836.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127836.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.454 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127836.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.455 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.455 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.456 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.456 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127836.456 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1545127836.456 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.456 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127836.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.456 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.456 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.457 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.457 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127836.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.458 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127836.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.459 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127836.459 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.459 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.459 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.459 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.460 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.460 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.460 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127836.460 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1545127836.460 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.460 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545127836.460 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.460 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.460 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.460 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.460 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545127836.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.461 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545127836.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545127836.461 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.461 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545127836.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545127836.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545127836.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545127836.462 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.462 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.462 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.462 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.463 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.463 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.463 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.463 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.463 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.463 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545127836.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.463 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545127836.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545127836.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545127836.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545127836.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.464 * [misc]backup-simplify:  Simplify 0 into 0
1545127836.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545127836.465 * * * [misc]progress:  simplifying candidates
1545127836.465 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1545127836.465 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1545127836.465 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1545127836.465 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1545127836.465 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1545127836.465 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1545127836.465 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1545127836.465 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1545127836.465 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1545127836.465 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.466 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.467 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.468 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.468 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.468 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.469 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.473 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.473 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.473 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.473 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.473 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.474 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.478 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.478 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.478 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.478 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.478 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.480 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.483 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.483 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.483 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.483 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.483 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.485 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.488 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.488 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.488 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.489 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.489 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.490 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.493 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.493 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.494 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.494 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.494 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.496 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.499 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.499 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.499 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.499 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.499 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.501 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.504 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.504 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.504 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.505 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.505 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.506 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.509 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.509 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.509 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.510 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.510 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.511 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.515 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.515 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.515 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.515 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.515 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.517 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.520 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.520 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.520 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.520 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.520 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.522 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.525 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.525 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.525 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545127836.526 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545127836.526 * * [misc]simplify:  iters left: 2 (5 enodes)
1545127836.527 * * [misc]simplify:  iters left: 1 (11 enodes)
1545127836.530 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545127836.530 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545127836.530 * * * [misc]progress:  adding candidates to table
1545127837.323 * [misc]progress:  [Phase 3 of 3] Extracting.
1545127837.324 * * [misc]regime:  Finding splitpoints for: (#<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)))))))> #<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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1545127837.329 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545127837.329 * * * * [misc]regimes:  Trying to branch on a from (#<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)))))))> #<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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1545127837.453 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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)))))))> #<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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1545127837.554 * * * * [misc]regimes:  Trying to branch on c from (#<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)))))))> #<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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1545127837.686 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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)))))))> #<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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1545127837.765 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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)))))))> #<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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1545127837.913 * * * [misc]regime:  Found split indices: #<option (#s(si 12 256))>
1545127837.913 * [enter]simplify:  Simplifying (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545127837.913 * * [misc]simplify:  iters left: 6 (12 enodes)
1545127837.914 * * [misc]simplify:  iters left: 5 (14 enodes)
1545127837.916 * [exit]simplify:  Simplified to (exp (* (cbrt (* (* (cbrt (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)))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545127837.916 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545127849.408 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127849.409 * * * * [misc]points:  Sampling 4857 additional inputs, on iter 1 have 3143 / 8000
1545127856.380 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127856.382 * * * * [misc]points:  Sampling 3029 additional inputs, on iter 2 have 4971 / 8000
1545127860.677 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127860.678 * * * * [misc]points:  Sampling 1859 additional inputs, on iter 3 have 6141 / 8000
1545127863.596 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127863.596 * * * * [misc]points:  Sampling 1163 additional inputs, on iter 4 have 6837 / 8000
1545127865.177 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127865.178 * * * * [misc]points:  Sampling 705 additional inputs, on iter 5 have 7295 / 8000
1545127866.006 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127866.007 * * * * [misc]points:  Sampling 429 additional inputs, on iter 6 have 7571 / 8000
1545127866.546 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127866.546 * * * * [misc]points:  Sampling 263 additional inputs, on iter 7 have 7737 / 8000
1545127867.279 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.279 * * * * [misc]points:  Sampling 171 additional inputs, on iter 8 have 7829 / 8000
1545127867.511 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.511 * * * * [misc]points:  Sampling 110 additional inputs, on iter 9 have 7890 / 8000
1545127867.623 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.623 * * * * [misc]points:  Sampling 80 additional inputs, on iter 10 have 7920 / 8000
1545127867.741 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.741 * * * * [misc]points:  Sampling 43 additional inputs, on iter 11 have 7957 / 8000
1545127867.790 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.790 * * * * [misc]points:  Sampling 23 additional inputs, on iter 12 have 7977 / 8000
1545127867.817 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.817 * * * * [misc]points:  Sampling 12 additional inputs, on iter 13 have 7988 / 8000
1545127867.835 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.835 * * * * [misc]points:  Sampling 8 additional inputs, on iter 14 have 7992 / 8000
1545127867.846 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.847 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 7994 / 8000
1545127867.854 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.855 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1545127867.865 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.865 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1545127867.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.872 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1545127867.878 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545127867.878 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545127870.049 * [misc]regime-testing:  Baseline error score: 34.14479227845608
1545127870.049 * [misc]regime-testing:  End program error score: 34.14479227845608
1545127870.051 * [misc]regime-testing:  Oracle error score: 34.10643570485984