1545387119.708 * [misc]progress:  [Phase 1 of 3] Setting up.
1545387119.708 * * * [misc]progress:  [1/2] Preparing points
1545387119.708 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545387120.073 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.074 * * * * [misc]points:  Sampling 152 additional inputs, on iter 1 have 104 / 256
1545387120.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.215 * * * * [misc]points:  Sampling 99 additional inputs, on iter 2 have 157 / 256
1545387120.394 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.394 * * * * [misc]points:  Sampling 59 additional inputs, on iter 3 have 197 / 256
1545387120.492 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.492 * * * * [misc]points:  Sampling 37 additional inputs, on iter 4 have 219 / 256
1545387120.516 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.516 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1545387120.531 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.531 * * * * [misc]points:  Sampling 16 additional inputs, on iter 6 have 240 / 256
1545387120.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.544 * * * * [misc]points:  Sampling 9 additional inputs, on iter 7 have 247 / 256
1545387120.559 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.566 * * * * [misc]points:  Sampling 6 additional inputs, on iter 8 have 250 / 256
1545387120.573 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.573 * * * * [misc]points:  Sampling 5 additional inputs, on iter 9 have 251 / 256
1545387120.577 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.578 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 253 / 256
1545387120.582 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387120.582 * * * * [exit]points:  Sampled 256 points with exact outputs
1545387120.582 * * * [misc]progress:  [2/2] Setting up program.
1545387120.613 * [misc]progress:  [Phase 2 of 3] Improving.
1545387120.614 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387120.615 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387120.621 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387120.629 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387120.644 * * [misc]progress:  iteration 1 / 4
1545387120.644 * * * [misc]progress:  picking best candidate
1545387120.650 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387120.650 * * * [misc]progress:  localizing error
1545387120.675 * * * [misc]progress:  generating rewritten candidates
1545387120.675 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545387120.681 * * * [misc]progress:  generating series expansions
1545387120.681 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545387120.685 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.685 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387120.687 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.690 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.690 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.690 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.690 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.690 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.691 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.693 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.694 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387120.694 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.694 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.694 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.694 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.694 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.694 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.694 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.694 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.694 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.694 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.695 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387120.696 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.697 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387120.697 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.697 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.697 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.697 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.697 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.697 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.697 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.697 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.697 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.698 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.698 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387120.698 * * * [misc]progress:  simplifying candidates
1545387120.699 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1545387120.699 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1545387120.699 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545387120.699 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387120.699 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545387120.699 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545387120.699 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545387120.699 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545387120.699 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545387120.699 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387120.700 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387120.700 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387120.701 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387120.704 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387120.704 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545387120.705 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387120.705 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387120.705 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387120.706 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387120.710 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387120.710 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545387120.710 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387120.710 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387120.710 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387120.711 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387120.715 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387120.715 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545387120.715 * * * [misc]progress:  adding candidates to table
1545387120.867 * * [misc]progress:  iteration 2 / 4
1545387120.867 * * * [misc]progress:  picking best candidate
1545387120.884 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387120.884 * * * [misc]progress:  localizing error
1545387120.889 * * * [misc]progress:  generating rewritten candidates
1545387120.889 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545387120.889 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545387120.891 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545387120.894 * * * [misc]progress:  generating series expansions
1545387120.894 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545387120.894 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.894 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387120.894 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.894 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.894 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.894 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.894 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.894 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.894 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.894 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.894 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.894 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.894 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.895 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.895 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387120.895 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.895 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.895 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.895 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.895 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.895 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.895 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.895 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.895 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.895 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.895 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387120.896 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.896 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387120.896 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.896 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.896 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.896 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.896 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.896 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.896 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.896 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.896 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.896 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.896 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.897 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.897 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.897 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.897 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.897 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.897 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.897 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.897 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387120.897 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545387120.897 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387120.897 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545387120.897 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545387120.897 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.897 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.897 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387120.897 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545387120.897 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.897 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.897 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387120.897 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545387120.897 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.897 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.897 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387120.897 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545387120.897 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.898 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.898 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387120.898 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387120.899 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545387120.899 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.899 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.899 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.900 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545387120.900 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.901 * [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
1545387120.901 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.901 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.901 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.901 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.903 * [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
1545387120.903 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.905 * [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
1545387120.905 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.905 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.905 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.905 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387120.905 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387120.905 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545387120.905 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545387120.905 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.905 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.905 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387120.905 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545387120.905 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.905 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.905 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387120.905 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545387120.905 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.905 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.906 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387120.906 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545387120.906 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.906 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.906 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387120.906 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387120.907 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545387120.907 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.907 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.907 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.907 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545387120.907 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.908 * [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
1545387120.908 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.908 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.908 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.908 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.909 * [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
1545387120.909 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.911 * [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
1545387120.911 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.911 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.911 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.911 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545387120.911 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387120.911 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545387120.911 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545387120.911 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.911 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.912 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387120.912 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545387120.912 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.912 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.912 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387120.912 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545387120.912 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.912 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.912 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387120.912 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545387120.912 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.912 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.912 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387120.912 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387120.913 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545387120.913 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.913 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.913 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.914 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545387120.914 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.915 * [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
1545387120.915 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.915 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.915 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.915 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.916 * [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
1545387120.916 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.917 * [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
1545387120.917 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.917 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545387120.918 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545387120.918 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545387120.918 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387120.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387120.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387120.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.918 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387120.919 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.919 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387120.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387120.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387120.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387120.919 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387120.920 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.920 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387120.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387120.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387120.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387120.920 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]backup-simplify:  Simplify 0 into 0
1545387120.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387120.920 * * * [misc]progress:  simplifying candidates
1545387120.920 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545387120.920 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545387120.920 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545387120.921 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545387120.921 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545387120.921 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1545387120.921 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545387120.921 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545387120.921 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545387120.921 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545387120.921 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545387120.921 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545387120.921 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545387120.921 * * [misc]simplify:  iters left: 6 (8 enodes)
1545387120.922 * * [misc]simplify:  iters left: 5 (16 enodes)
1545387120.925 * * [misc]simplify:  iters left: 4 (19 enodes)
1545387120.927 * * [misc]simplify:  iters left: 3 (21 enodes)
1545387120.930 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545387120.930 * [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)))))))
1545387120.930 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545387120.930 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545387120.930 * * [misc]simplify:  iters left: 4 (7 enodes)
1545387120.931 * * [misc]simplify:  iters left: 3 (13 enodes)
1545387120.934 * * [misc]simplify:  iters left: 2 (16 enodes)
1545387120.938 * * [misc]simplify:  iters left: 1 (18 enodes)
1545387120.942 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545387120.942 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545387120.942 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545387120.942 * [enter]simplify:  Simplifying (log 1)
1545387120.942 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387120.944 * [exit]simplify:  Simplified to 0
1545387120.944 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545387120.944 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545387120.944 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545387120.944 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387120.945 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387120.945 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387120.946 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387120.949 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387120.949 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545387120.949 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545387120.949 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545387120.949 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545387120.949 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387120.949 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545387120.949 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545387120.949 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1545387120.949 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1545387120.949 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545387120.949 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545387120.949 * [enter]simplify:  Simplifying (exp 1)
1545387120.950 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387120.950 * [exit]simplify:  Simplified to E
1545387120.950 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545387120.950 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545387120.950 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545387120.951 * * [misc]simplify:  iters left: 6 (9 enodes)
1545387120.953 * * [misc]simplify:  iters left: 5 (17 enodes)
1545387120.957 * * [misc]simplify:  iters left: 4 (20 enodes)
1545387120.962 * * [misc]simplify:  iters left: 3 (22 enodes)
1545387120.967 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545387120.967 * [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))))))
1545387120.967 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545387120.967 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545387120.967 * * [misc]simplify:  iters left: 5 (8 enodes)
1545387120.969 * * [misc]simplify:  iters left: 4 (14 enodes)
1545387120.976 * * [misc]simplify:  iters left: 3 (17 enodes)
1545387120.980 * * [misc]simplify:  iters left: 2 (19 enodes)
1545387120.984 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545387120.985 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545387120.985 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545387120.985 * [enter]simplify:  Simplifying (exp 1)
1545387120.985 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387120.986 * [exit]simplify:  Simplified to E
1545387120.986 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545387120.986 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545387120.986 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545387120.986 * * [misc]simplify:  iters left: 6 (9 enodes)
1545387120.988 * * [misc]simplify:  iters left: 5 (17 enodes)
1545387120.992 * * [misc]simplify:  iters left: 4 (22 enodes)
1545387120.998 * * [misc]simplify:  iters left: 3 (24 enodes)
1545387121.003 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545387121.003 * [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)))))))
1545387121.003 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545387121.004 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545387121.004 * * [misc]simplify:  iters left: 5 (8 enodes)
1545387121.006 * * [misc]simplify:  iters left: 4 (14 enodes)
1545387121.009 * * [misc]simplify:  iters left: 3 (17 enodes)
1545387121.013 * * [misc]simplify:  iters left: 2 (19 enodes)
1545387121.017 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545387121.017 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545387121.017 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545387121.018 * [enter]simplify:  Simplifying (exp (log 1))
1545387121.018 * * [misc]simplify:  iters left: 2 (3 enodes)
1545387121.019 * * [misc]simplify:  iters left: 1 (5 enodes)
1545387121.020 * [exit]simplify:  Simplified to 1
1545387121.020 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545387121.020 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387121.020 * [enter]simplify:  Simplifying (cosh c)
1545387121.020 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387121.021 * [exit]simplify:  Simplified to (cosh c)
1545387121.021 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545387121.021 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545387121.021 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545387121.021 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545387121.021 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1545387121.021 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545387121.021 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545387121.021 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387121.022 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.022 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.023 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.026 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.026 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545387121.026 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387121.026 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.026 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.028 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.031 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.031 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545387121.031 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387121.031 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.031 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.033 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.036 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.036 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545387121.036 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387121.036 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545387121.036 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387121.038 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387121.041 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387121.045 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545387121.045 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545387121.045 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387121.045 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545387121.045 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387121.047 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387121.050 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387121.053 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545387121.054 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545387121.054 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545387121.054 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545387121.054 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387121.056 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387121.059 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387121.063 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545387121.063 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545387121.063 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387121.063 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.063 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.064 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.065 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.065 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545387121.065 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387121.065 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.066 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.066 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.068 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.068 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545387121.068 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545387121.068 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.068 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.069 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.071 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.071 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545387121.071 * * * [misc]progress:  adding candidates to table
1545387121.703 * * [misc]progress:  iteration 3 / 4
1545387121.703 * * * [misc]progress:  picking best candidate
1545387121.773 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.773 * * * [misc]progress:  localizing error
1545387121.784 * * * [misc]progress:  generating rewritten candidates
1545387121.784 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545387121.785 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1545387121.785 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545387121.785 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1545387121.786 * * * [misc]progress:  generating series expansions
1545387121.786 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545387121.786 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.786 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387121.786 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.786 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.786 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.787 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.787 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.787 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.787 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387121.787 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.787 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.787 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.787 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.787 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.788 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.788 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387121.788 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.788 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.788 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.788 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.788 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.789 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387121.789 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.789 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387121.789 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.789 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.789 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.789 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.789 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.789 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.789 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.790 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387121.790 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.790 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.790 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.790 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.790 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.790 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387121.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.791 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387121.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.791 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.791 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.792 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387121.792 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545387121.792 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.792 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387121.792 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.792 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.792 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.792 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.792 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.792 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.792 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.792 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.792 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.792 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.792 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.792 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.793 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.793 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.793 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.793 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.793 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387121.793 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.793 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.793 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.793 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.793 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.793 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.794 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.794 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.794 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.794 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.794 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387121.794 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.795 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387121.795 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.795 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.795 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.795 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.795 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.795 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.795 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.795 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.795 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.795 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.796 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.796 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.796 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.796 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.796 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.796 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.796 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.796 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387121.796 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1545387121.796 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387121.796 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545387121.796 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545387121.796 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.796 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.796 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387121.796 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545387121.796 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.796 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.797 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387121.797 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545387121.797 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387121.797 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.797 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387121.797 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545387121.797 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387121.797 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387121.797 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387121.797 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387121.798 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545387121.798 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.798 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.798 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.799 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545387121.799 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.801 * [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
1545387121.801 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.801 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.801 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.801 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.803 * [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
1545387121.803 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.806 * [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
1545387121.806 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.806 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.806 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.806 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545387121.806 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387121.806 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545387121.806 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545387121.806 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.806 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387121.807 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545387121.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.807 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.807 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387121.807 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545387121.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387121.807 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.807 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387121.807 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545387121.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387121.807 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387121.808 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387121.808 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545387121.809 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545387121.809 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.809 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.809 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.810 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545387121.810 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.811 * [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
1545387121.811 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.811 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.811 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.812 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.813 * [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
1545387121.813 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.816 * [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
1545387121.816 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.816 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.816 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.816 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545387121.816 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387121.816 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545387121.816 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545387121.816 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.817 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.817 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387121.817 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545387121.817 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.817 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.817 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387121.817 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545387121.817 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387121.817 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.817 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387121.817 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545387121.817 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387121.818 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387121.818 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387121.818 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545387121.819 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545387121.819 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.819 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.819 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.820 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545387121.820 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.822 * [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
1545387121.822 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.822 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.822 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.822 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.823 * [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
1545387121.824 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.826 * [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
1545387121.826 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387121.826 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.826 * [misc]backup-simplify:  Simplify 0 into 0
1545387121.827 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545387121.827 * * * [misc]progress:  simplifying candidates
1545387121.827 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1545387121.827 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1545387121.827 * * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545387121.827 * * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545387121.827 * * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545387121.827 * * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545387121.827 * * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545387121.827 * * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545387121.827 * * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545387121.827 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.827 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.827 * * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.827 * * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.827 * * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 24 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 25 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.828 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1545387121.828 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1545387121.829 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545387121.829 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545387121.829 * * [misc]simplify:  iters left: 6 (8 enodes)
1545387121.831 * * [misc]simplify:  iters left: 5 (16 enodes)
1545387121.836 * * [misc]simplify:  iters left: 4 (19 enodes)
1545387121.840 * * [misc]simplify:  iters left: 3 (21 enodes)
1545387121.846 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545387121.846 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545387121.846 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545387121.846 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545387121.846 * * [misc]simplify:  iters left: 4 (7 enodes)
1545387121.848 * * [misc]simplify:  iters left: 3 (13 enodes)
1545387121.852 * * [misc]simplify:  iters left: 2 (16 enodes)
1545387121.856 * * [misc]simplify:  iters left: 1 (18 enodes)
1545387121.860 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545387121.861 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545387121.861 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545387121.861 * [enter]simplify:  Simplifying (log 1)
1545387121.861 * * [misc]simplify:  iters left: 1 (2 enodes)
1545387121.865 * [exit]simplify:  Simplified to 0
1545387121.865 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545387121.866 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545387121.866 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545387121.866 * * * * [misc]progress:  [ 35 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.866 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.866 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.867 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.871 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.871 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.871 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545387121.871 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545387121.871 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545387121.871 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387121.871 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545387121.871 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545387121.871 * * * * [misc]progress:  [ 42 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.871 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.871 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.873 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.876 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.876 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.876 * * * * [misc]progress:  [ 43 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.876 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.876 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.878 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.881 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.881 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.881 * * * * [misc]progress:  [ 44 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.881 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.881 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.883 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.886 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.886 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.886 * * * * [misc]progress:  [ 45 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.886 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.886 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.888 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.891 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.891 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.891 * * * * [misc]progress:  [ 46 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.892 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.892 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.893 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.896 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.896 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.896 * * * * [misc]progress:  [ 47 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.896 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.896 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.898 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.901 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.901 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.901 * * * * [misc]progress:  [ 48 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.901 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.901 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.903 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.906 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.906 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.906 * * * * [misc]progress:  [ 49 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.906 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.907 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.908 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.911 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.911 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.911 * * * * [misc]progress:  [ 50 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.911 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387121.911 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387121.913 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387121.916 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387121.916 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.916 * * * * [misc]progress:  [ 51 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.916 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545387121.916 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387121.918 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387121.921 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387121.924 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545387121.924 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.924 * * * * [misc]progress:  [ 52 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.925 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545387121.925 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387121.925 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387121.927 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387121.929 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545387121.929 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.929 * * * * [misc]progress:  [ 53 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545387121.929 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545387121.929 * * [misc]simplify:  iters left: 3 (6 enodes)
1545387121.930 * * [misc]simplify:  iters left: 2 (12 enodes)
1545387121.931 * * [misc]simplify:  iters left: 1 (15 enodes)
1545387121.933 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545387121.933 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545387121.933 * * * [misc]progress:  adding candidates to table
1545387122.766 * * [misc]progress:  iteration 4 / 4
1545387122.766 * * * [misc]progress:  picking best candidate
1545387122.819 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.819 * * * [misc]progress:  localizing error
1545387122.831 * * * [misc]progress:  generating rewritten candidates
1545387122.831 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
1545387122.832 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1545387122.832 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1545387122.832 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1545387122.832 * * * [misc]progress:  generating series expansions
1545387122.832 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
1545387122.832 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.832 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387122.832 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.832 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.832 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.833 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.833 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387122.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.833 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.834 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.834 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387122.834 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.834 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.834 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.834 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.835 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387122.835 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.835 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387122.835 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.835 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.835 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.835 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.835 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.835 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.835 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.836 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.836 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387122.836 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.836 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.836 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.836 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.836 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.836 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.836 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.836 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.836 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.836 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.836 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.837 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387122.837 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.837 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.837 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.837 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.837 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.837 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387122.837 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.838 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387122.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.838 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.838 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387122.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.839 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.839 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.839 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387122.839 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.839 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.839 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.839 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.840 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387122.840 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.840 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545387122.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.840 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.840 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.840 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545387122.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.841 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545387122.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545387122.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545387122.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545387122.841 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.841 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.841 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545387122.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.842 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545387122.842 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.842 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.842 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545387122.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.842 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545387122.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545387122.842 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]taylor:  Taking taylor expansion of 0 in a
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.842 * [misc]backup-simplify:  Simplify 0 into 0
1545387122.843 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545387122.843 * * * [misc]progress:  simplifying candidates
1545387122.843 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1545387122.843 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1545387122.843 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1545387122.843 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1545387122.843 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1545387122.843 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1545387122.843 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1545387122.843 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1545387122.843 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1545387122.843 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.843 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.844 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.844 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.845 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.846 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.846 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.847 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.847 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.847 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.847 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.849 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.849 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.849 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.849 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.849 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.850 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.851 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.851 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.851 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.851 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.851 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.852 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.854 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.854 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.854 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.854 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.854 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.855 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.856 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.856 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.856 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.856 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.856 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.857 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.858 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.858 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.858 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.859 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.859 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.859 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.861 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.861 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.861 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.861 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.861 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.862 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.863 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.864 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.864 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.864 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.864 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.865 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.868 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.869 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.869 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.869 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.869 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.870 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.873 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.874 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.874 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.874 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.874 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.875 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.878 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.879 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.879 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545387122.879 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545387122.879 * * [misc]simplify:  iters left: 2 (5 enodes)
1545387122.880 * * [misc]simplify:  iters left: 1 (11 enodes)
1545387122.883 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545387122.883 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545387122.884 * * * [misc]progress:  adding candidates to table
1545387123.527 * [misc]progress:  [Phase 3 of 3] Extracting.
1545387123.528 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<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) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1545387123.534 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545387123.534 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<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) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1545387123.713 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<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) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1545387123.808 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<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) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1545387123.899 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<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) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1545387123.990 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<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) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1545387124.138 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1545387124.139 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
1545387124.139 * * [misc]simplify:  iters left: 6 (10 enodes)
1545387124.140 * * [misc]simplify:  iters left: 5 (11 enodes)
1545387124.141 * [exit]simplify:  Simplified to (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
1545387124.141 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545387135.832 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387135.835 * * * * [misc]points:  Sampling 4938 additional inputs, on iter 1 have 3062 / 8000
1545387143.310 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387143.313 * * * * [misc]points:  Sampling 3093 additional inputs, on iter 2 have 4907 / 8000
1545387147.874 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387147.875 * * * * [misc]points:  Sampling 1925 additional inputs, on iter 3 have 6075 / 8000
1545387150.838 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387150.838 * * * * [misc]points:  Sampling 1166 additional inputs, on iter 4 have 6834 / 8000
1545387152.403 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387152.404 * * * * [misc]points:  Sampling 725 additional inputs, on iter 5 have 7275 / 8000
1545387153.620 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387153.621 * * * * [misc]points:  Sampling 449 additional inputs, on iter 6 have 7551 / 8000
1545387154.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387154.274 * * * * [misc]points:  Sampling 291 additional inputs, on iter 7 have 7709 / 8000
1545387154.682 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387154.682 * * * * [misc]points:  Sampling 192 additional inputs, on iter 8 have 7808 / 8000
1545387154.947 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387154.947 * * * * [misc]points:  Sampling 130 additional inputs, on iter 9 have 7870 / 8000
1545387155.146 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.146 * * * * [misc]points:  Sampling 78 additional inputs, on iter 10 have 7922 / 8000
1545387155.225 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.225 * * * * [misc]points:  Sampling 53 additional inputs, on iter 11 have 7947 / 8000
1545387155.294 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.294 * * * * [misc]points:  Sampling 27 additional inputs, on iter 12 have 7973 / 8000
1545387155.322 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.322 * * * * [misc]points:  Sampling 14 additional inputs, on iter 13 have 7986 / 8000
1545387155.348 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.348 * * * * [misc]points:  Sampling 11 additional inputs, on iter 14 have 7989 / 8000
1545387155.359 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.359 * * * * [misc]points:  Sampling 7 additional inputs, on iter 15 have 7993 / 8000
1545387155.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.363 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1545387155.367 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.367 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7998 / 8000
1545387155.398 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.398 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7999 / 8000
1545387155.406 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545387155.406 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545387157.913 * [misc]regime-testing:  Baseline error score: 34.572625701928374
1545387157.913 * [misc]regime-testing:  End program error score: 34.572625701928374
1545387157.915 * [misc]regime-testing:  Oracle error score: 34.53000442357554