1545990051.847 * [misc]progress:  [Phase 1 of 3] Setting up.
1545990051.847 * * * [misc]progress:  [1/2] Preparing points
1545990051.847 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545990052.143 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.143 * * * * [misc]points:  Sampling 141 additional inputs, on iter 1 have 115 / 256
1545990052.270 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.271 * * * * [misc]points:  Sampling 85 additional inputs, on iter 2 have 171 / 256
1545990052.396 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.397 * * * * [misc]points:  Sampling 53 additional inputs, on iter 3 have 203 / 256
1545990052.431 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.431 * * * * [misc]points:  Sampling 37 additional inputs, on iter 4 have 219 / 256
1545990052.458 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.458 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1545990052.486 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.486 * * * * [misc]points:  Sampling 15 additional inputs, on iter 6 have 241 / 256
1545990052.500 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.500 * * * * [misc]points:  Sampling 8 additional inputs, on iter 7 have 248 / 256
1545990052.506 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.506 * * * * [misc]points:  Sampling 6 additional inputs, on iter 8 have 250 / 256
1545990052.509 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.509 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 254 / 256
1545990052.514 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990052.514 * * * * [exit]points:  Sampled 257 points with exact outputs
1545990052.515 * * * [misc]progress:  [2/2] Setting up program.
1545990052.519 * [misc]progress:  [Phase 2 of 3] Improving.
1545990052.520 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990052.521 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990052.524 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990052.527 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990052.570 * * [misc]progress:  iteration 1 / 4
1545990052.570 * * * [misc]progress:  picking best candidate
1545990052.577 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990052.577 * * * [misc]progress:  localizing error
1545990052.600 * * * [misc]progress:  generating rewritten candidates
1545990052.600 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545990052.603 * * * [misc]progress:  generating series expansions
1545990052.604 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545990052.608 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.608 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990052.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.611 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.611 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.611 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.611 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.611 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.612 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.612 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.612 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.612 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.612 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.612 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.612 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.612 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.612 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.612 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.613 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.613 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.613 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.613 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.613 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.613 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.615 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.615 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990052.615 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.615 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.615 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.615 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.615 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.616 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.616 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.616 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.616 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.616 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.616 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990052.617 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.617 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990052.617 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.618 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.618 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.618 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.618 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.618 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.618 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.618 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.618 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.618 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.618 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.619 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990052.619 * * * [misc]progress:  simplifying candidates
1545990052.619 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1545990052.619 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1545990052.619 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545990052.619 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990052.619 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545990052.620 * * * * [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)))))>
1545990052.620 * * * * [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)))))>
1545990052.620 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545990052.620 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545990052.620 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990052.620 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990052.620 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990052.621 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990052.624 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990052.624 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545990052.625 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990052.625 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990052.625 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990052.626 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990052.629 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990052.629 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545990052.629 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990052.629 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990052.629 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990052.631 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990052.633 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990052.633 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545990052.634 * * * [misc]progress:  adding candidates to table
1545990052.795 * * [misc]progress:  iteration 2 / 4
1545990052.795 * * * [misc]progress:  picking best candidate
1545990052.829 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990052.829 * * * [misc]progress:  localizing error
1545990052.841 * * * [misc]progress:  generating rewritten candidates
1545990052.842 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545990052.842 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545990052.851 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545990052.859 * * * [misc]progress:  generating series expansions
1545990052.859 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545990052.859 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.859 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990052.859 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.859 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.860 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.860 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.860 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.860 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.860 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.860 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.860 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.860 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.860 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.860 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.860 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.860 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.860 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.860 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.860 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.860 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.861 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.861 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.861 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.861 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.861 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.861 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990052.861 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.861 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.861 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.861 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.861 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.861 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.861 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.862 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.862 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.862 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.862 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990052.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.863 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990052.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.863 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990052.864 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545990052.864 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990052.864 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545990052.864 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545990052.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.864 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.865 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990052.865 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545990052.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.865 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990052.865 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545990052.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.865 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990052.865 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545990052.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.865 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990052.866 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990052.868 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545990052.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.869 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545990052.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.872 * [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
1545990052.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.873 * [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
1545990052.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.877 * [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
1545990052.877 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.877 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990052.878 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990052.878 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545990052.878 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545990052.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.878 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990052.878 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545990052.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.878 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990052.878 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545990052.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.879 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990052.879 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545990052.879 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.879 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990052.879 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990052.880 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545990052.880 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.881 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545990052.881 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.883 * [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
1545990052.883 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.883 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.883 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.883 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.885 * [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
1545990052.885 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.888 * [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
1545990052.888 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.888 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.888 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.888 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545990052.889 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990052.889 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545990052.889 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545990052.889 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.889 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.889 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990052.889 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545990052.889 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.889 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.889 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990052.889 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545990052.889 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.890 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.890 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990052.890 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545990052.890 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.890 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.890 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990052.890 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990052.891 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545990052.892 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.892 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.892 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.893 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545990052.893 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.894 * [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
1545990052.894 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.894 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.895 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.895 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.896 * [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
1545990052.896 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.899 * [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
1545990052.899 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.899 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.899 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.900 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545990052.900 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545990052.900 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545990052.900 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990052.900 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.900 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.900 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.900 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.900 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990052.900 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.900 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990052.900 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.901 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.901 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.901 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990052.901 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.901 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990052.901 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.901 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990052.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990052.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990052.902 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.902 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.903 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.903 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.903 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.903 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990052.903 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.903 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990052.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990052.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.904 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990052.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.904 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990052.904 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.904 * [misc]backup-simplify:  Simplify 0 into 0
1545990052.905 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990052.905 * * * [misc]progress:  simplifying candidates
1545990052.905 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545990052.905 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545990052.905 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545990052.905 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545990052.905 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545990052.905 * * * * [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)))))))>
1545990052.905 * * * * [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)))))))>
1545990052.905 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545990052.905 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545990052.905 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545990052.905 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545990052.905 * * * * [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)))))))>
1545990052.906 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545990052.906 * * [misc]simplify:  iters left: 6 (8 enodes)
1545990052.909 * * [misc]simplify:  iters left: 5 (16 enodes)
1545990052.914 * * [misc]simplify:  iters left: 4 (19 enodes)
1545990052.919 * * [misc]simplify:  iters left: 3 (21 enodes)
1545990052.925 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545990052.925 * [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)))))))
1545990052.925 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545990052.925 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545990052.925 * * [misc]simplify:  iters left: 4 (7 enodes)
1545990052.927 * * [misc]simplify:  iters left: 3 (13 enodes)
1545990052.931 * * [misc]simplify:  iters left: 2 (16 enodes)
1545990052.935 * * [misc]simplify:  iters left: 1 (18 enodes)
1545990052.939 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545990052.939 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545990052.939 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545990052.940 * [enter]simplify:  Simplifying (log 1)
1545990052.940 * * [misc]simplify:  iters left: 1 (2 enodes)
1545990052.942 * [exit]simplify:  Simplified to 0
1545990052.942 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545990052.942 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545990052.942 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545990052.942 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990052.942 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990052.942 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990052.944 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990052.947 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990052.947 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545990052.947 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545990052.947 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545990052.947 * * * * [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)))))))>
1545990052.947 * * * * [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)))))))>
1545990052.947 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545990052.948 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545990052.948 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1545990052.948 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1545990052.948 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545990052.948 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545990052.948 * [enter]simplify:  Simplifying (exp 1)
1545990052.948 * * [misc]simplify:  iters left: 1 (2 enodes)
1545990052.949 * [exit]simplify:  Simplified to E
1545990052.949 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545990052.949 * * * * [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))))))>
1545990052.949 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545990052.949 * * [misc]simplify:  iters left: 6 (9 enodes)
1545990052.952 * * [misc]simplify:  iters left: 5 (17 enodes)
1545990052.957 * * [misc]simplify:  iters left: 4 (20 enodes)
1545990052.962 * * [misc]simplify:  iters left: 3 (22 enodes)
1545990052.968 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545990052.968 * [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))))))
1545990052.968 * * * * [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))))))>
1545990052.969 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545990052.969 * * [misc]simplify:  iters left: 5 (8 enodes)
1545990052.971 * * [misc]simplify:  iters left: 4 (14 enodes)
1545990052.976 * * [misc]simplify:  iters left: 3 (17 enodes)
1545990052.980 * * [misc]simplify:  iters left: 2 (19 enodes)
1545990052.986 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545990052.986 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545990052.986 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545990052.986 * [enter]simplify:  Simplifying (exp 1)
1545990052.986 * * [misc]simplify:  iters left: 1 (2 enodes)
1545990052.987 * [exit]simplify:  Simplified to E
1545990052.987 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545990052.987 * * * * [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)))))))>
1545990052.987 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545990052.987 * * [misc]simplify:  iters left: 6 (9 enodes)
1545990052.991 * * [misc]simplify:  iters left: 5 (17 enodes)
1545990053.000 * * [misc]simplify:  iters left: 4 (22 enodes)
1545990053.006 * * [misc]simplify:  iters left: 3 (24 enodes)
1545990053.012 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545990053.012 * [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)))))))
1545990053.012 * * * * [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)))))))>
1545990053.013 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545990053.013 * * [misc]simplify:  iters left: 5 (8 enodes)
1545990053.015 * * [misc]simplify:  iters left: 4 (14 enodes)
1545990053.018 * * [misc]simplify:  iters left: 3 (17 enodes)
1545990053.023 * * [misc]simplify:  iters left: 2 (19 enodes)
1545990053.028 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545990053.028 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545990053.028 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545990053.029 * [enter]simplify:  Simplifying (exp (log 1))
1545990053.029 * * [misc]simplify:  iters left: 2 (3 enodes)
1545990053.031 * * [misc]simplify:  iters left: 1 (5 enodes)
1545990053.031 * [exit]simplify:  Simplified to 1
1545990053.032 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545990053.032 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990053.032 * [enter]simplify:  Simplifying (cosh c)
1545990053.032 * * [misc]simplify:  iters left: 1 (2 enodes)
1545990053.033 * [exit]simplify:  Simplified to (cosh c)
1545990053.033 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545990053.033 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545990053.033 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545990053.033 * * * * [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)))))))>
1545990053.033 * * * * [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)))))))>
1545990053.033 * * * * [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)))))))>
1545990053.033 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545990053.033 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990053.033 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.033 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.035 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.039 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.039 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545990053.039 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990053.039 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.039 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.041 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.044 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.044 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545990053.044 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990053.044 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.044 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.046 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.049 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.049 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545990053.049 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990053.049 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545990053.049 * * [misc]simplify:  iters left: 3 (6 enodes)
1545990053.051 * * [misc]simplify:  iters left: 2 (12 enodes)
1545990053.054 * * [misc]simplify:  iters left: 1 (15 enodes)
1545990053.058 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545990053.058 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545990053.059 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990053.059 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545990053.059 * * [misc]simplify:  iters left: 3 (6 enodes)
1545990053.061 * * [misc]simplify:  iters left: 2 (12 enodes)
1545990053.064 * * [misc]simplify:  iters left: 1 (15 enodes)
1545990053.068 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545990053.068 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545990053.068 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545990053.068 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545990053.068 * * [misc]simplify:  iters left: 3 (6 enodes)
1545990053.070 * * [misc]simplify:  iters left: 2 (12 enodes)
1545990053.073 * * [misc]simplify:  iters left: 1 (15 enodes)
1545990053.077 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545990053.077 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545990053.077 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990053.078 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.078 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.079 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.082 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.082 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545990053.082 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990053.083 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.083 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.084 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.088 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.088 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545990053.088 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545990053.088 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.088 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.089 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.093 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.093 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545990053.093 * * * [misc]progress:  adding candidates to table
1545990053.745 * * [misc]progress:  iteration 3 / 4
1545990053.745 * * * [misc]progress:  picking best candidate
1545990053.842 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.842 * * * [misc]progress:  localizing error
1545990053.864 * * * [misc]progress:  generating rewritten candidates
1545990053.864 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1545990053.864 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1545990053.864 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545990053.865 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1545990053.867 * * * [misc]progress:  generating series expansions
1545990053.867 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1545990053.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.867 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990053.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.868 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.868 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990053.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.868 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.868 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.869 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.869 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990053.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.870 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990053.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990053.871 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1545990053.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.872 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990053.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.873 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.873 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.873 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.873 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.873 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.873 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990053.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.873 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.873 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.873 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.874 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990053.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.875 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990053.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.876 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.876 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990053.876 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545990053.876 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.876 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990053.876 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.876 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.876 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.877 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.877 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.877 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.877 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.877 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.877 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.877 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.877 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.877 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.878 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990053.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.878 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.878 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.878 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.878 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.878 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.878 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.879 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990053.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.879 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990053.879 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.879 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.879 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.880 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.880 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.880 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.880 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.880 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990053.880 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1545990053.881 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990053.881 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545990053.881 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545990053.881 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.881 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.881 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990053.881 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545990053.881 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.881 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.881 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990053.881 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545990053.881 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990053.881 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.881 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990053.881 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545990053.881 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990053.881 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990053.882 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990053.882 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990053.883 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545990053.883 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.883 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.883 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.884 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545990053.884 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.886 * [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
1545990053.886 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.886 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.886 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.886 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.888 * [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
1545990053.888 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.891 * [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
1545990053.891 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.891 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.891 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.891 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545990053.891 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990053.891 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545990053.891 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545990053.891 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.891 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.891 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990053.891 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545990053.892 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.892 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.892 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990053.892 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545990053.892 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990053.892 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.892 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990053.892 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545990053.892 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990053.892 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990053.892 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990053.893 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545990053.894 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545990053.894 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.894 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.894 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.895 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545990053.895 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.896 * [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
1545990053.896 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.897 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.897 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.897 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.898 * [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
1545990053.898 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.901 * [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
1545990053.902 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.902 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.902 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545990053.902 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990053.902 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545990053.902 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545990053.902 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.902 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.902 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990053.903 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545990053.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.903 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990053.903 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545990053.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990053.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.903 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990053.903 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545990053.903 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990053.903 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990053.904 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990053.904 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545990053.905 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545990053.905 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.905 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.905 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.906 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545990053.906 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.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
1545990053.908 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.908 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.908 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.908 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.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
1545990053.910 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.912 * [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
1545990053.912 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990053.912 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.912 * [misc]backup-simplify:  Simplify 0 into 0
1545990053.912 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545990053.913 * * * [misc]progress:  simplifying candidates
1545990053.913 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1545990053.913 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1545990053.913 * * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545990053.913 * * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545990053.913 * * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545990053.913 * * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545990053.913 * * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545990053.913 * * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545990053.913 * * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545990053.913 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.913 * * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 24 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 25 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.914 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1545990053.914 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1545990053.914 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545990053.914 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545990053.914 * * [misc]simplify:  iters left: 6 (8 enodes)
1545990053.917 * * [misc]simplify:  iters left: 5 (16 enodes)
1545990053.921 * * [misc]simplify:  iters left: 4 (19 enodes)
1545990053.925 * * [misc]simplify:  iters left: 3 (21 enodes)
1545990053.930 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545990053.930 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545990053.930 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545990053.931 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545990053.931 * * [misc]simplify:  iters left: 4 (7 enodes)
1545990053.932 * * [misc]simplify:  iters left: 3 (13 enodes)
1545990053.935 * * [misc]simplify:  iters left: 2 (16 enodes)
1545990053.939 * * [misc]simplify:  iters left: 1 (18 enodes)
1545990053.943 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545990053.944 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545990053.944 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545990053.944 * [enter]simplify:  Simplifying (log 1)
1545990053.944 * * [misc]simplify:  iters left: 1 (2 enodes)
1545990053.945 * [exit]simplify:  Simplified to 0
1545990053.945 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545990053.945 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545990053.945 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545990053.945 * * * * [misc]progress:  [ 35 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.946 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.946 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.947 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.950 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.950 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.950 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545990053.950 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545990053.950 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990053.950 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545990053.950 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545990053.950 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545990053.950 * * * * [misc]progress:  [ 42 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.950 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.950 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.954 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.957 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.957 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.957 * * * * [misc]progress:  [ 43 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.958 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.958 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.959 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.962 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.962 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.962 * * * * [misc]progress:  [ 44 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.962 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.962 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.963 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.966 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.966 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.966 * * * * [misc]progress:  [ 45 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.966 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.966 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.968 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.970 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.970 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.971 * * * * [misc]progress:  [ 46 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.971 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.971 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.972 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.973 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.973 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.973 * * * * [misc]progress:  [ 47 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.973 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.973 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.974 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.975 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.975 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.976 * * * * [misc]progress:  [ 48 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.976 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.976 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.976 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.978 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.978 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.978 * * * * [misc]progress:  [ 49 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.978 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.978 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.979 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.980 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.980 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.980 * * * * [misc]progress:  [ 50 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.980 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990053.980 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990053.981 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990053.983 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990053.983 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.983 * * * * [misc]progress:  [ 51 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.983 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545990053.983 * * [misc]simplify:  iters left: 3 (6 enodes)
1545990053.984 * * [misc]simplify:  iters left: 2 (12 enodes)
1545990053.985 * * [misc]simplify:  iters left: 1 (15 enodes)
1545990053.987 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545990053.987 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.987 * * * * [misc]progress:  [ 52 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.987 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545990053.987 * * [misc]simplify:  iters left: 3 (6 enodes)
1545990053.988 * * [misc]simplify:  iters left: 2 (12 enodes)
1545990053.990 * * [misc]simplify:  iters left: 1 (15 enodes)
1545990053.992 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545990053.992 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.992 * * * * [misc]progress:  [ 53 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545990053.992 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545990053.992 * * [misc]simplify:  iters left: 3 (6 enodes)
1545990053.993 * * [misc]simplify:  iters left: 2 (12 enodes)
1545990053.994 * * [misc]simplify:  iters left: 1 (15 enodes)
1545990053.996 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545990053.996 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545990053.996 * * * [misc]progress:  adding candidates to table
1545990054.833 * * [misc]progress:  iteration 4 / 4
1545990054.833 * * * [misc]progress:  picking best candidate
1545990054.898 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.898 * * * [misc]progress:  localizing error
1545990054.911 * * * [misc]progress:  generating rewritten candidates
1545990054.911 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1545990054.912 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1545990054.912 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1545990054.913 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1545990054.913 * * * [misc]progress:  generating series expansions
1545990054.913 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1545990054.914 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.914 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990054.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.914 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.914 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.914 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.914 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.914 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.914 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.914 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.914 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.914 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.914 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.914 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.914 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.915 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.915 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.915 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.915 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.915 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.915 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.915 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.915 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990054.915 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.915 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.915 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.915 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.915 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.915 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.915 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.916 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.916 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.916 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.916 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990054.916 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.917 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990054.917 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.917 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.917 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.917 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.917 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.917 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.917 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.917 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.917 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.917 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.917 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.917 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.918 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.918 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.918 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990054.918 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1545990054.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.918 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990054.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.918 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.918 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.919 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.919 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.919 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.919 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.919 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990054.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.919 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.920 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.920 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.920 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.920 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.920 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.920 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.920 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.920 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.920 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.921 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.921 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.921 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.921 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990054.921 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.921 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990054.921 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.921 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.921 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.921 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.921 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.921 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.921 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.922 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.922 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.922 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.922 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990054.922 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1545990054.922 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.922 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990054.923 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.923 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.923 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.923 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.923 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.923 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.923 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.923 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.923 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.923 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.923 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.924 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.924 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990054.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.924 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990054.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.925 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990054.925 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.925 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.925 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.926 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.926 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990054.926 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1545990054.927 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.927 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545990054.927 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.927 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.927 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.927 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.927 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545990054.927 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.927 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545990054.927 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.927 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.927 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.927 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.927 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.927 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.927 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.927 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.927 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.928 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.928 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.928 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.928 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.928 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.928 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545990054.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.928 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545990054.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545990054.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545990054.929 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.929 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545990054.929 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.929 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545990054.929 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.929 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545990054.929 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.930 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.930 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.930 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.930 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545990054.930 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.930 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545990054.930 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.930 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545990054.930 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.930 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.930 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.930 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.930 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.930 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.930 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.930 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.931 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.931 * [misc]taylor:  Taking taylor expansion of 0 in a
1545990054.931 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.931 * [misc]backup-simplify:  Simplify 0 into 0
1545990054.931 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545990054.931 * * * [misc]progress:  simplifying candidates
1545990054.931 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1545990054.931 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1545990054.931 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1545990054.931 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1545990054.931 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1545990054.931 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1545990054.931 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1545990054.931 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1545990054.931 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1545990054.932 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.932 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.933 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.934 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.934 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.936 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.939 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.939 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.939 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.939 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.939 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.941 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.944 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.944 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.944 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.944 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.945 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.946 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.949 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.949 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.949 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.950 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.950 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.951 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.954 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.954 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.955 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.955 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.955 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.956 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.960 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.960 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.960 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.960 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.960 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.962 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.965 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.965 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.965 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.966 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.966 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.967 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.971 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.971 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.971 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.971 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.972 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.973 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.977 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.977 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.977 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.977 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.977 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.979 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.982 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.983 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.983 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.983 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.983 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.984 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.988 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.988 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.988 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.988 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.988 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.989 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.990 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.990 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.990 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545990054.990 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545990054.990 * * [misc]simplify:  iters left: 2 (5 enodes)
1545990054.991 * * [misc]simplify:  iters left: 1 (11 enodes)
1545990054.993 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545990054.993 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545990054.993 * * * [misc]progress:  adding candidates to table
1545990055.798 * [misc]progress:  [Phase 3 of 3] Extracting.
1545990055.799 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log1p (expm1 (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545990055.801 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545990055.802 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log1p (expm1 (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545990055.886 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log1p (expm1 (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545990056.014 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log1p (expm1 (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545990056.104 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log1p (expm1 (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545990056.236 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log1p (expm1 (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545990056.358 * * * [misc]regime:  Found split indices: #<option (#s(si 10 256))>
1545990056.359 * [enter]simplify:  Simplifying (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545990056.359 * * [misc]simplify:  iters left: 6 (10 enodes)
1545990056.359 * * [misc]simplify:  iters left: 5 (11 enodes)
1545990056.360 * [exit]simplify:  Simplified to (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545990056.360 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545990067.103 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990067.104 * * * * [misc]points:  Sampling 4951 additional inputs, on iter 1 have 3049 / 8000
1545990073.867 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990073.868 * * * * [misc]points:  Sampling 3062 additional inputs, on iter 2 have 4938 / 8000
1545990077.966 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990077.967 * * * * [misc]points:  Sampling 1863 additional inputs, on iter 3 have 6137 / 8000
1545990080.401 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990080.402 * * * * [misc]points:  Sampling 1137 additional inputs, on iter 4 have 6863 / 8000
1545990082.302 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990082.302 * * * * [misc]points:  Sampling 718 additional inputs, on iter 5 have 7282 / 8000
1545990083.154 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990083.154 * * * * [misc]points:  Sampling 417 additional inputs, on iter 6 have 7583 / 8000
1545990083.751 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990083.751 * * * * [misc]points:  Sampling 258 additional inputs, on iter 7 have 7742 / 8000
1545990084.069 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.069 * * * * [misc]points:  Sampling 164 additional inputs, on iter 8 have 7836 / 8000
1545990084.221 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.221 * * * * [misc]points:  Sampling 99 additional inputs, on iter 9 have 7901 / 8000
1545990084.322 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.322 * * * * [misc]points:  Sampling 56 additional inputs, on iter 10 have 7944 / 8000
1545990084.375 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.376 * * * * [misc]points:  Sampling 34 additional inputs, on iter 11 have 7966 / 8000
1545990084.397 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.397 * * * * [misc]points:  Sampling 21 additional inputs, on iter 12 have 7979 / 8000
1545990084.418 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.418 * * * * [misc]points:  Sampling 12 additional inputs, on iter 13 have 7988 / 8000
1545990084.432 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.433 * * * * [misc]points:  Sampling 8 additional inputs, on iter 14 have 7992 / 8000
1545990084.442 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.442 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 7995 / 8000
1545990084.448 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.448 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1545990084.450 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.450 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7998 / 8000
1545990084.452 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990084.452 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545990087.092 * [misc]regime-testing:  Baseline error score: 34.67280233399511
1545990087.094 * [misc]regime-testing:  Oracle error score: 34.621083361651344
1545990087.096 * [misc]regime-testing:  End program error score: 34.67280233399511