1546417846.312 * [misc]progress:  [Phase 1 of 3] Setting up.
1546417846.312 * * * [misc]progress:  [1/2] Preparing points
1546417846.312 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546417846.653 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417846.653 * * * * [misc]points:  Sampling 163 additional inputs, on iter 1 have 93 / 256
1546417846.824 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417846.824 * * * * [misc]points:  Sampling 101 additional inputs, on iter 2 have 155 / 256
1546417846.925 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417846.925 * * * * [misc]points:  Sampling 66 additional inputs, on iter 3 have 190 / 256
1546417847.391 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.391 * * * * [misc]points:  Sampling 35 additional inputs, on iter 4 have 221 / 256
1546417847.424 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.424 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1546417847.450 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.450 * * * * [misc]points:  Sampling 16 additional inputs, on iter 6 have 240 / 256
1546417847.467 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.467 * * * * [misc]points:  Sampling 10 additional inputs, on iter 7 have 246 / 256
1546417847.477 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.477 * * * * [misc]points:  Sampling 7 additional inputs, on iter 8 have 249 / 256
1546417847.485 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.485 * * * * [misc]points:  Sampling 5 additional inputs, on iter 9 have 251 / 256
1546417847.494 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.494 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 253 / 256
1546417847.499 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.499 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1546417847.505 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417847.505 * * * * [exit]points:  Sampled 257 points with exact outputs
1546417847.506 * * * [misc]progress:  [2/2] Setting up program.
1546417847.514 * [misc]progress:  [Phase 2 of 3] Improving.
1546417847.514 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.516 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.517 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.524 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.529 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.529 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.536 * * [misc]progress:  iteration 1 / 4
1546417847.536 * * * [misc]progress:  picking best candidate
1546417847.539 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.539 * * * [misc]progress:  localizing error
1546417847.552 * * * [misc]progress:  generating rewritten candidates
1546417847.553 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546417847.555 * * * [misc]progress:  generating series expansions
1546417847.555 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546417847.557 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.557 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417847.558 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.580 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.580 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.580 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.580 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.580 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.581 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.581 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.581 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.581 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.581 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.581 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.581 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.581 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.581 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.581 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.581 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.581 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.581 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.582 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.582 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.582 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.584 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417847.584 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.584 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.584 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.584 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.584 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.585 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.585 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417847.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.586 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417847.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417847.587 * * * [misc]progress:  simplifying candidates
1546417847.587 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1546417847.587 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.587 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1546417847.588 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1546417847.588 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1546417847.588 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1546417847.589 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1546417847.589 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.589 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.589 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.590 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.593 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.593 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.593 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.593 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.593 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.595 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.597 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.597 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.597 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.598 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.598 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.599 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.600 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.600 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.601 * * * [misc]progress:  adding candidates to table
1546417847.689 * * [misc]progress:  iteration 2 / 4
1546417847.689 * * * [misc]progress:  picking best candidate
1546417847.710 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.710 * * * [misc]progress:  localizing error
1546417847.723 * * * [misc]progress:  generating rewritten candidates
1546417847.723 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1546417847.723 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1546417847.727 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1546417847.732 * * * [misc]progress:  generating series expansions
1546417847.732 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1546417847.732 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.732 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417847.732 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.732 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.732 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.732 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.733 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.733 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.733 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.733 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.733 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.733 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.733 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.734 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.734 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417847.734 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.734 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.734 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.734 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.734 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.734 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.734 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.734 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.735 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.735 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.735 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417847.735 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.735 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417847.736 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.736 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.736 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.736 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.736 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.736 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.737 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417847.737 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1546417847.737 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417847.737 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546417847.737 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546417847.737 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.737 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.737 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417847.737 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546417847.738 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.738 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.738 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417847.738 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546417847.738 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.738 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.738 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417847.738 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546417847.738 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.738 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.738 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417847.738 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417847.741 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546417847.741 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.741 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.741 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.742 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546417847.742 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.745 * [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
1546417847.745 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.745 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.745 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.745 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.746 * [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
1546417847.747 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.750 * [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
1546417847.750 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.750 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.750 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.750 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417847.750 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417847.750 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546417847.750 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546417847.750 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.751 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417847.751 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546417847.751 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.751 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417847.751 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546417847.751 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.751 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417847.752 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546417847.752 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.752 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.752 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417847.752 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417847.753 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546417847.753 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.753 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.753 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.754 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546417847.754 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.756 * [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
1546417847.756 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.756 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.756 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.756 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.757 * [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
1546417847.757 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.760 * [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
1546417847.760 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.760 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.760 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.760 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546417847.761 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417847.761 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546417847.761 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546417847.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.761 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417847.761 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546417847.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.761 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417847.761 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546417847.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.762 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417847.762 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546417847.762 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.762 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.762 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417847.762 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417847.763 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546417847.763 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.763 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.763 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.764 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546417847.764 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.766 * [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
1546417847.766 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.766 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.766 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.766 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.767 * [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
1546417847.768 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.770 * [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
1546417847.770 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.770 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.770 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.771 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546417847.771 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1546417847.771 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1546417847.771 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417847.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.771 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.771 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417847.771 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417847.771 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.772 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.772 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.772 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417847.772 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.772 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417847.772 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.772 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.772 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417847.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417847.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417847.773 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.773 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.773 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.773 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.773 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.773 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.773 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.773 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.774 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.774 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.774 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.774 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.774 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417847.774 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.774 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417847.774 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.774 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.774 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.774 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.774 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417847.775 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.775 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417847.775 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.775 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417847.775 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.775 * [misc]backup-simplify:  Simplify 0 into 0
1546417847.776 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417847.776 * * * [misc]progress:  simplifying candidates
1546417847.776 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1546417847.776 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546417847.776 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1546417847.776 * * * * [misc]progress:  [ 4 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1546417847.776 * * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1546417847.776 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1546417847.776 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1546417847.776 * * * * [misc]progress:  [ 8 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1546417847.777 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546417847.777 * * [misc]simplify:  iters left: 6 (8 enodes)
1546417847.779 * * [misc]simplify:  iters left: 5 (16 enodes)
1546417847.784 * * [misc]simplify:  iters left: 4 (19 enodes)
1546417847.786 * * [misc]simplify:  iters left: 3 (21 enodes)
1546417847.789 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546417847.789 * [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)))))))
1546417847.789 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1546417847.789 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546417847.789 * * [misc]simplify:  iters left: 4 (7 enodes)
1546417847.790 * * [misc]simplify:  iters left: 3 (13 enodes)
1546417847.793 * * [misc]simplify:  iters left: 2 (16 enodes)
1546417847.795 * * [misc]simplify:  iters left: 1 (18 enodes)
1546417847.797 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546417847.797 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1546417847.797 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1546417847.797 * [enter]simplify:  Simplifying (log 1)
1546417847.800 * * [misc]simplify:  iters left: 1 (2 enodes)
1546417847.802 * [exit]simplify:  Simplified to 0
1546417847.802 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1546417847.802 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546417847.802 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1546417847.802 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.802 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.802 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.803 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.804 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.804 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546417847.804 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1546417847.804 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546417847.804 * * * * [misc]progress:  [ 16 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1546417847.804 * * * * [misc]progress:  [ 17 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546417847.804 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1546417847.804 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546417847.804 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1546417847.805 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546417847.805 * [enter]simplify:  Simplifying (exp 1)
1546417847.805 * * [misc]simplify:  iters left: 1 (2 enodes)
1546417847.805 * [exit]simplify:  Simplified to E
1546417847.805 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546417847.805 * * * * [misc]progress:  [ 22 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1546417847.805 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546417847.805 * * [misc]simplify:  iters left: 6 (9 enodes)
1546417847.807 * * [misc]simplify:  iters left: 5 (17 enodes)
1546417847.810 * * [misc]simplify:  iters left: 4 (20 enodes)
1546417847.815 * * [misc]simplify:  iters left: 3 (22 enodes)
1546417847.821 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546417847.821 * [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))))))
1546417847.821 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1546417847.822 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546417847.822 * * [misc]simplify:  iters left: 5 (8 enodes)
1546417847.824 * * [misc]simplify:  iters left: 4 (14 enodes)
1546417847.827 * * [misc]simplify:  iters left: 3 (17 enodes)
1546417847.829 * * [misc]simplify:  iters left: 2 (19 enodes)
1546417847.831 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546417847.831 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1546417847.831 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546417847.832 * [enter]simplify:  Simplifying (exp 1)
1546417847.832 * * [misc]simplify:  iters left: 1 (2 enodes)
1546417847.832 * [exit]simplify:  Simplified to E
1546417847.832 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546417847.832 * * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1546417847.832 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1546417847.832 * * [misc]simplify:  iters left: 6 (9 enodes)
1546417847.833 * * [misc]simplify:  iters left: 5 (17 enodes)
1546417847.836 * * [misc]simplify:  iters left: 4 (22 enodes)
1546417847.838 * * [misc]simplify:  iters left: 3 (24 enodes)
1546417847.841 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1546417847.841 * [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)))))))
1546417847.841 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1546417847.841 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1546417847.841 * * [misc]simplify:  iters left: 5 (8 enodes)
1546417847.842 * * [misc]simplify:  iters left: 4 (14 enodes)
1546417847.844 * * [misc]simplify:  iters left: 3 (17 enodes)
1546417847.846 * * [misc]simplify:  iters left: 2 (19 enodes)
1546417847.848 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1546417847.848 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1546417847.848 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1546417847.848 * [enter]simplify:  Simplifying (exp (log 1))
1546417847.848 * * [misc]simplify:  iters left: 2 (3 enodes)
1546417847.849 * * [misc]simplify:  iters left: 1 (5 enodes)
1546417847.849 * [exit]simplify:  Simplified to 1
1546417847.849 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1546417847.849 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.850 * [enter]simplify:  Simplifying (cosh c)
1546417847.850 * * [misc]simplify:  iters left: 1 (2 enodes)
1546417847.850 * [exit]simplify:  Simplified to (cosh c)
1546417847.850 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.850 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546417847.850 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1546417847.850 * * * * [misc]progress:  [ 31 / 43 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1546417847.850 * * * * [misc]progress:  [ 32 / 43 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1546417847.850 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1546417847.850 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1546417847.850 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.850 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.850 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.851 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.852 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.852 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546417847.852 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.853 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.853 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.853 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.855 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.855 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546417847.855 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.855 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.855 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.856 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.857 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.857 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546417847.857 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.857 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546417847.857 * * [misc]simplify:  iters left: 3 (6 enodes)
1546417847.858 * * [misc]simplify:  iters left: 2 (12 enodes)
1546417847.859 * * [misc]simplify:  iters left: 1 (15 enodes)
1546417847.861 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546417847.861 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546417847.861 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.861 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546417847.861 * * [misc]simplify:  iters left: 3 (6 enodes)
1546417847.862 * * [misc]simplify:  iters left: 2 (12 enodes)
1546417847.864 * * [misc]simplify:  iters left: 1 (15 enodes)
1546417847.865 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546417847.865 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546417847.865 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546417847.866 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546417847.866 * * [misc]simplify:  iters left: 3 (6 enodes)
1546417847.866 * * [misc]simplify:  iters left: 2 (12 enodes)
1546417847.868 * * [misc]simplify:  iters left: 1 (15 enodes)
1546417847.870 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546417847.870 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546417847.870 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.870 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.870 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.870 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.872 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.872 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.872 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.872 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.872 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.873 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.874 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.874 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.874 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546417847.874 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417847.874 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417847.875 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417847.878 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417847.878 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546417847.878 * * * [misc]progress:  adding candidates to table
1546417848.411 * * [misc]progress:  iteration 3 / 4
1546417848.412 * * * [misc]progress:  picking best candidate
1546417848.508 * * * * [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)))))))>
1546417848.508 * * * [misc]progress:  localizing error
1546417848.527 * * * [misc]progress:  generating rewritten candidates
1546417848.527 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1546417848.527 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1546417848.527 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1546417848.528 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1546417848.529 * * * [misc]progress:  generating series expansions
1546417848.529 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1546417848.529 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.529 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417848.529 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.529 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.529 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.529 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.529 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.529 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.529 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.529 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.529 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.529 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.529 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.529 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.529 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.529 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.529 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.529 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.529 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.529 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.529 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.530 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.530 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417848.530 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.530 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.530 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.530 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.530 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.530 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.530 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.530 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.530 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.530 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.530 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.531 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417848.531 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.531 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.531 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.531 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.531 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417848.532 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.532 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417848.532 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.532 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.532 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.532 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.532 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.532 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417848.532 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.532 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.532 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.533 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.533 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.533 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.533 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417848.533 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.533 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.533 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.533 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.534 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417848.534 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.534 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417848.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.535 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417848.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.535 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417848.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.536 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417848.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.536 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.536 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.537 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.537 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.537 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.537 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417848.537 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1546417848.537 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417848.537 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546417848.537 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546417848.537 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.537 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.537 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417848.537 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546417848.537 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.537 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.537 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417848.537 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546417848.537 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417848.537 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.537 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417848.537 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546417848.537 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417848.537 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417848.537 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417848.537 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417848.538 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546417848.538 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.538 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.538 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.539 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546417848.539 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.540 * [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
1546417848.540 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.540 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.540 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.540 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.541 * [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
1546417848.541 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.543 * [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
1546417848.543 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.543 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.543 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.546 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546417848.546 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417848.546 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546417848.546 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546417848.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.547 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417848.547 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546417848.547 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.547 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417848.547 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546417848.547 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417848.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.547 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417848.547 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546417848.547 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417848.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417848.547 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417848.547 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546417848.548 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546417848.548 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.548 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.548 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.549 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546417848.549 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.550 * [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
1546417848.550 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.550 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.550 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.550 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.551 * [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
1546417848.551 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.553 * [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
1546417848.553 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.553 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.553 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.553 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546417848.553 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417848.553 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546417848.553 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546417848.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.553 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417848.553 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546417848.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.553 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417848.553 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546417848.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417848.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417848.554 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546417848.554 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417848.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417848.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417848.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546417848.554 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546417848.554 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.555 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.555 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.555 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546417848.555 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.557 * [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
1546417848.557 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.557 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.557 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.557 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.558 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1546417848.558 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.561 * [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
1546417848.562 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417848.562 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.562 * [misc]backup-simplify:  Simplify 0 into 0
1546417848.562 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546417848.562 * * * [misc]progress:  simplifying candidates
1546417848.562 * * * * [misc]progress:  [ 1 / 45 ] 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))))))>
1546417848.562 * * * * [misc]progress:  [ 2 / 45 ] 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)))))))))>
1546417848.562 * * * * [misc]progress:  [ 3 / 45 ] 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)))))))))>
1546417848.562 * * * * [misc]progress:  [ 4 / 45 ] 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)))))))))>
1546417848.562 * * * * [misc]progress:  [ 5 / 45 ] 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)))))))))>
1546417848.562 * * * * [misc]progress:  [ 6 / 45 ] 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)))))))))>
1546417848.562 * * * * [misc]progress:  [ 7 / 45 ] 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))))))))>
1546417848.562 * * * * [misc]progress:  [ 8 / 45 ] 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)))))))>
1546417848.562 * * * * [misc]progress:  [ 9 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 10 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 11 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 12 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 13 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 14 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 15 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 16 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 17 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1546417848.563 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1546417848.563 * * * * [misc]progress:  [ 20 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 21 / 45 ] 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)))))))>
1546417848.563 * * * * [misc]progress:  [ 22 / 45 ] 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)))))))))>
1546417848.564 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546417848.564 * * [misc]simplify:  iters left: 6 (8 enodes)
1546417848.566 * * [misc]simplify:  iters left: 5 (16 enodes)
1546417848.570 * * [misc]simplify:  iters left: 4 (19 enodes)
1546417848.575 * * [misc]simplify:  iters left: 3 (21 enodes)
1546417848.580 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546417848.580 * [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)))))))))
1546417848.580 * * * * [misc]progress:  [ 23 / 45 ] 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)))))))))>
1546417848.580 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546417848.580 * * [misc]simplify:  iters left: 4 (7 enodes)
1546417848.582 * * [misc]simplify:  iters left: 3 (13 enodes)
1546417848.586 * * [misc]simplify:  iters left: 2 (16 enodes)
1546417848.590 * * [misc]simplify:  iters left: 1 (18 enodes)
1546417848.594 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546417848.594 * [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)))))))))
1546417848.594 * * * * [misc]progress:  [ 24 / 45 ] 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))))))))>
1546417848.594 * [enter]simplify:  Simplifying (log 1)
1546417848.594 * * [misc]simplify:  iters left: 1 (2 enodes)
1546417848.596 * [exit]simplify:  Simplified to 0
1546417848.596 * [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))))))))
1546417848.596 * * * * [misc]progress:  [ 25 / 45 ] 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))))))))>
1546417848.596 * * * * [misc]progress:  [ 26 / 45 ] 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)))))>
1546417848.596 * * * * [misc]progress:  [ 27 / 45 ] 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)))))))>
1546417848.596 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.596 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.598 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.601 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.601 * [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)))))))
1546417848.601 * * * * [misc]progress:  [ 28 / 45 ] 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)))))))))>
1546417848.601 * * * * [misc]progress:  [ 29 / 45 ] 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)))))))))>
1546417848.601 * * * * [misc]progress:  [ 30 / 45 ] 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)))))))))>
1546417848.601 * * * * [misc]progress:  [ 31 / 45 ] 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)))))))))>
1546417848.601 * * * * [misc]progress:  [ 32 / 45 ] 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)))))))))>
1546417848.601 * * * * [misc]progress:  [ 33 / 45 ] 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))))))))>
1546417848.601 * * * * [misc]progress:  [ 34 / 45 ] 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)))))))>
1546417848.601 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.602 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.603 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.606 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.606 * [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)))))))
1546417848.606 * * * * [misc]progress:  [ 35 / 45 ] 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)))))))>
1546417848.606 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.606 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.608 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.611 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.611 * [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)))))))
1546417848.611 * * * * [misc]progress:  [ 36 / 45 ] 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)))))))>
1546417848.611 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.611 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.612 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.615 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.616 * [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)))))))
1546417848.616 * * * * [misc]progress:  [ 37 / 45 ] 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)))))))>
1546417848.616 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.616 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.617 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.620 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.620 * [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)))))))
1546417848.620 * * * * [misc]progress:  [ 38 / 45 ] 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)))))))>
1546417848.621 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.621 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.622 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.625 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.625 * [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)))))))
1546417848.625 * * * * [misc]progress:  [ 39 / 45 ] 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)))))))>
1546417848.625 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.625 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.627 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.630 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.630 * [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)))))))
1546417848.630 * * * * [misc]progress:  [ 40 / 45 ] 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)))))))>
1546417848.630 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.630 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.631 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.634 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.634 * [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)))))))
1546417848.635 * * * * [misc]progress:  [ 41 / 45 ] 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)))))))>
1546417848.635 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.635 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.636 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.639 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.639 * [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)))))))
1546417848.639 * * * * [misc]progress:  [ 42 / 45 ] 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)))))))>
1546417848.640 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417848.640 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417848.641 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417848.644 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417848.644 * [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)))))))
1546417848.644 * * * * [misc]progress:  [ 43 / 45 ] 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)))))))>
1546417848.645 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546417848.645 * * [misc]simplify:  iters left: 3 (6 enodes)
1546417848.646 * * [misc]simplify:  iters left: 2 (12 enodes)
1546417848.649 * * [misc]simplify:  iters left: 1 (15 enodes)
1546417848.653 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546417848.653 * [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)))))))
1546417848.653 * * * * [misc]progress:  [ 44 / 45 ] 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)))))))>
1546417848.654 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546417848.654 * * [misc]simplify:  iters left: 3 (6 enodes)
1546417848.655 * * [misc]simplify:  iters left: 2 (12 enodes)
1546417848.658 * * [misc]simplify:  iters left: 1 (15 enodes)
1546417848.662 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546417848.662 * [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)))))))
1546417848.662 * * * * [misc]progress:  [ 45 / 45 ] 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)))))))>
1546417848.663 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546417848.663 * * [misc]simplify:  iters left: 3 (6 enodes)
1546417848.664 * * [misc]simplify:  iters left: 2 (12 enodes)
1546417848.667 * * [misc]simplify:  iters left: 1 (15 enodes)
1546417848.671 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546417848.671 * [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)))))))
1546417848.672 * * * [misc]progress:  adding candidates to table
1546417849.335 * * [misc]progress:  iteration 4 / 4
1546417849.335 * * * [misc]progress:  picking best candidate
1546417849.414 * * * * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.414 * * * [misc]progress:  localizing error
1546417849.448 * * * [misc]progress:  generating rewritten candidates
1546417849.448 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1 2 1)
1546417849.448 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 1 2 1)
1546417849.448 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1546417849.448 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1546417849.449 * * * [misc]progress:  generating series expansions
1546417849.449 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1 2 1)
1546417849.449 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.449 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417849.449 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.449 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.449 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.449 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.449 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.449 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.449 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.449 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.449 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.449 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.449 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.450 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417849.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.450 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.450 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.450 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417849.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.451 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417849.451 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.451 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.451 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.451 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.451 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.451 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417849.451 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 1 2 1)
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.452 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417849.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.452 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.452 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417849.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.452 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.453 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.453 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417849.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417849.454 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.454 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417849.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.455 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417849.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.455 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417849.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.456 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417849.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.456 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417849.457 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.457 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546417849.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546417849.457 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.457 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546417849.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546417849.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.458 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546417849.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.459 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546417849.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.459 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546417849.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546417849.459 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]taylor:  Taking taylor expansion of 0 in a
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]backup-simplify:  Simplify 0 into 0
1546417849.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546417849.459 * * * [misc]progress:  simplifying candidates
1546417849.459 * * * * [misc]progress:  [ 1 / 40 ] 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 (pow (fmod (cosh c) (log1p a)) 1))))))))>
1546417849.459 * * * * [misc]progress:  [ 2 / 40 ] 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 (exp (log (fmod (cosh c) (log1p a)))))))))))>
1546417849.459 * * * * [misc]progress:  [ 3 / 40 ] 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 (log (exp (fmod (cosh c) (log1p a)))))))))))>
1546417849.459 * * * * [misc]progress:  [ 4 / 40 ] 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 (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1546417849.459 * * * * [misc]progress:  [ 5 / 40 ] 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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1546417849.459 * * * * [misc]progress:  [ 6 / 40 ] 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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1546417849.460 * * * * [misc]progress:  [ 7 / 40 ] 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 (* 1 (fmod (cosh c) (log1p a))))))))))>
1546417849.460 * * * * [misc]progress:  [ 8 / 40 ] 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 (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 9 / 40 ] 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 (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 10 / 40 ] 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 (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 11 / 40 ] 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 (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 12 / 40 ] 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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 13 / 40 ] 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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 14 / 40 ] 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 (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 15 / 40 ] 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)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 16 / 40 ] 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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 17 / 40 ] 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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 18 / 40 ] 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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 19 / 40 ] 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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 20 / 40 ] 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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 21 / 40 ] 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)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 22 / 40 ] 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 23 / 40 ] 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 24 / 40 ] 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 25 / 40 ] 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 26 / 40 ] 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 27 / 40 ] 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 28 / 40 ] 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546417849.460 * * * * [misc]progress:  [ 29 / 40 ] 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)))))))))>
1546417849.461 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.461 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.461 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.463 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.463 * [misc]simplify:  Simplified (2 1 2 1 1 2 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.463 * * * * [misc]progress:  [ 30 / 40 ] 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)))))))))>
1546417849.463 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.463 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.464 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.465 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.465 * [misc]simplify:  Simplified (2 1 2 1 1 2 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.465 * * * * [misc]progress:  [ 31 / 40 ] 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)))))))))>
1546417849.465 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.465 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.466 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.467 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.467 * [misc]simplify:  Simplified (2 1 2 1 1 2 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.467 * * * * [misc]progress:  [ 32 / 40 ] 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)))))))))>
1546417849.467 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.468 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.468 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.470 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.470 * [misc]simplify:  Simplified (2 1 2 1 1 1 2 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.470 * * * * [misc]progress:  [ 33 / 40 ] 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)))))))))>
1546417849.470 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.470 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.470 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.472 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.472 * [misc]simplify:  Simplified (2 1 2 1 1 1 2 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.472 * * * * [misc]progress:  [ 34 / 40 ] 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)))))))))>
1546417849.472 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.472 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.473 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.474 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.474 * [misc]simplify:  Simplified (2 1 2 1 1 1 2 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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.474 * * * * [misc]progress:  [ 35 / 40 ] 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)))))))))>
1546417849.474 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.474 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.475 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.476 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.476 * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.477 * * * * [misc]progress:  [ 36 / 40 ] 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)))))))))>
1546417849.477 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.477 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.477 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.479 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.479 * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.479 * * * * [misc]progress:  [ 37 / 40 ] 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)))))))))>
1546417849.479 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.479 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.480 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.483 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.483 * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.483 * * * * [misc]progress:  [ 38 / 40 ] 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)))))))))>
1546417849.484 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.484 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.485 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.491 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.491 * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.492 * * * * [misc]progress:  [ 39 / 40 ] 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)))))))))>
1546417849.492 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.492 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.493 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.496 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.496 * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.496 * * * * [misc]progress:  [ 40 / 40 ] 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)))))))))>
1546417849.496 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546417849.496 * * [misc]simplify:  iters left: 2 (5 enodes)
1546417849.497 * * [misc]simplify:  iters left: 1 (11 enodes)
1546417849.500 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546417849.500 * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546417849.500 * * * [misc]progress:  adding candidates to table
1546417850.180 * [misc]progress:  [Phase 3 of 3] Extracting.
1546417850.180 * * [misc]regime:  Finding splitpoints for: (#<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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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 (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) (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<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)))))))>)
1546417850.183 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1546417850.183 * * * * [misc]regimes:  Trying to branch on a from (#<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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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 (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) (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<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)))))))>)
1546417850.299 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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 (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) (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<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)))))))>)
1546417850.427 * * * * [misc]regimes:  Trying to branch on c from (#<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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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 (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) (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<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)))))))>)
1546417850.590 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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 (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) (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<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)))))))>)
1546417850.716 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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 (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) (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<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)))))))>)
1546417850.848 * * * [misc]regime:  Found split indices: #<option (#s(si 12 256))>
1546417850.849 * [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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1546417850.849 * * [misc]simplify:  iters left: 6 (14 enodes)
1546417850.850 * * [misc]simplify:  iters left: 5 (16 enodes)
1546417850.850 * [exit]simplify:  Simplified to (exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1546417850.850 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546417859.341 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417859.343 * * * * [misc]points:  Sampling 4970 additional inputs, on iter 1 have 3030 / 8000
1546417864.782 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417864.783 * * * * [misc]points:  Sampling 3041 additional inputs, on iter 2 have 4959 / 8000
1546417868.335 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417868.336 * * * * [misc]points:  Sampling 1883 additional inputs, on iter 3 have 6117 / 8000
1546417870.329 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417870.330 * * * * [misc]points:  Sampling 1167 additional inputs, on iter 4 have 6833 / 8000
1546417871.379 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417871.379 * * * * [misc]points:  Sampling 718 additional inputs, on iter 5 have 7282 / 8000
1546417871.986 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417871.986 * * * * [misc]points:  Sampling 469 additional inputs, on iter 6 have 7531 / 8000
1546417872.409 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417872.410 * * * * [misc]points:  Sampling 268 additional inputs, on iter 7 have 7732 / 8000
1546417872.708 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417872.708 * * * * [misc]points:  Sampling 166 additional inputs, on iter 8 have 7834 / 8000
1546417872.835 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417872.835 * * * * [misc]points:  Sampling 94 additional inputs, on iter 9 have 7906 / 8000
1546417873.416 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.416 * * * * [misc]points:  Sampling 59 additional inputs, on iter 10 have 7941 / 8000
1546417873.478 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.478 * * * * [misc]points:  Sampling 40 additional inputs, on iter 11 have 7960 / 8000
1546417873.536 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.536 * * * * [misc]points:  Sampling 24 additional inputs, on iter 12 have 7976 / 8000
1546417873.554 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.554 * * * * [misc]points:  Sampling 15 additional inputs, on iter 13 have 7985 / 8000
1546417873.575 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.575 * * * * [misc]points:  Sampling 9 additional inputs, on iter 14 have 7991 / 8000
1546417873.587 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.587 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 7994 / 8000
1546417873.592 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.593 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7997 / 8000
1546417873.599 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.599 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7999 / 8000
1546417873.606 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546417873.607 * * * * [exit]points:  Sampled 8001 points with exact outputs
1546417876.039 * [misc]regime-testing:  Baseline error score: 34.68318510737651
1546417876.041 * [misc]regime-testing:  Oracle error score: 34.64380568966473
1546417876.045 * [misc]regime-testing:  End program error score: 34.68318510737651