1545381052.790 * [misc]progress:  [Phase 1 of 3] Setting up.
1545381052.790 * * * [misc]progress:  [1/2] Preparing points
1545381052.790 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545381053.116 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.116 * * * * [misc]points:  Sampling 152 additional inputs, on iter 1 have 104 / 256
1545381053.238 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.238 * * * * [misc]points:  Sampling 99 additional inputs, on iter 2 have 157 / 256
1545381053.636 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.636 * * * * [misc]points:  Sampling 59 additional inputs, on iter 3 have 197 / 256
1545381053.708 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.708 * * * * [misc]points:  Sampling 37 additional inputs, on iter 4 have 219 / 256
1545381053.742 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.742 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1545381053.764 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.764 * * * * [misc]points:  Sampling 16 additional inputs, on iter 6 have 240 / 256
1545381053.830 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.830 * * * * [misc]points:  Sampling 9 additional inputs, on iter 7 have 247 / 256
1545381053.855 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.855 * * * * [misc]points:  Sampling 6 additional inputs, on iter 8 have 250 / 256
1545381053.866 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.866 * * * * [misc]points:  Sampling 5 additional inputs, on iter 9 have 251 / 256
1545381053.876 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.876 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 253 / 256
1545381053.885 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381053.885 * * * * [exit]points:  Sampled 256 points with exact outputs
1545381053.885 * * * [misc]progress:  [2/2] Setting up program.
1545381053.893 * [misc]progress:  [Phase 2 of 3] Improving.
1545381053.895 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381053.896 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381053.902 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381053.907 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381053.922 * * [misc]progress:  iteration 1 / 4
1545381053.922 * * * [misc]progress:  picking best candidate
1545381053.928 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381053.929 * * * [misc]progress:  localizing error
1545381053.954 * * * [misc]progress:  generating rewritten candidates
1545381053.954 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545381053.958 * * * [misc]progress:  generating series expansions
1545381053.958 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545381053.962 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381053.962 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381053.964 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381053.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381053.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381053.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381053.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381053.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381053.967 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381053.967 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381053.967 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381053.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.968 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.968 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.968 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381053.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381053.970 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381053.970 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381053.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381053.970 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381053.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381053.970 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381053.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381053.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381053.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381053.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381053.971 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.971 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.972 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381053.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381053.973 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381053.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381053.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381053.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381053.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381053.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381053.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381053.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381053.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381053.973 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381053.973 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.973 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.973 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.974 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381053.974 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]backup-simplify:  Simplify 0 into 0
1545381053.974 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381053.974 * * * [misc]progress:  simplifying candidates
1545381053.974 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545381053.975 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381053.975 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545381053.975 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545381053.975 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545381053.975 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545381053.975 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545381053.975 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381053.975 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381053.975 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381053.977 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381053.980 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381053.980 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545381053.980 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381053.980 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381053.980 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381053.982 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381053.984 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381053.984 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545381053.985 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381053.985 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381053.985 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381053.987 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381053.989 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381053.989 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545381053.990 * * * [misc]progress:  adding candidates to table
1545381054.126 * * [misc]progress:  iteration 2 / 4
1545381054.126 * * * [misc]progress:  picking best candidate
1545381054.143 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.143 * * * [misc]progress:  localizing error
1545381054.149 * * * [misc]progress:  generating rewritten candidates
1545381054.149 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545381054.149 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545381054.150 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545381054.153 * * * [misc]progress:  generating series expansions
1545381054.153 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545381054.153 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.153 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381054.153 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.153 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.153 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.153 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.153 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.153 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.153 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.153 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.153 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.153 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.153 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.154 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381054.154 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.154 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.154 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.154 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.154 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381054.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.155 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381054.155 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.155 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.155 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.155 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381054.155 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545381054.156 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.156 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545381054.156 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545381054.156 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.156 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.156 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.156 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545381054.156 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.156 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.156 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.156 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545381054.156 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.156 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.156 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.156 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545381054.156 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.156 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.156 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.156 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.158 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545381054.158 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.158 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.158 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.159 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545381054.159 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.160 * [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
1545381054.160 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.160 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.160 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.160 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.161 * [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
1545381054.161 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.163 * [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
1545381054.164 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.164 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.164 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.164 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.164 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.164 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545381054.164 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545381054.164 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.164 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.164 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.164 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545381054.164 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.164 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.164 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.164 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545381054.164 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.164 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.164 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.164 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545381054.164 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.165 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.165 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.165 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.165 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545381054.165 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.165 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.165 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.166 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545381054.166 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.167 * [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
1545381054.167 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.167 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.167 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.167 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.168 * [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
1545381054.168 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.170 * [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
1545381054.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.170 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.170 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.170 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545381054.170 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.171 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545381054.171 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545381054.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.171 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.171 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545381054.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.171 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.171 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545381054.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.171 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.171 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545381054.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.171 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.173 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545381054.173 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.173 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.173 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.174 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545381054.174 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.175 * [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
1545381054.175 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.175 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.175 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.175 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.177 * [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
1545381054.177 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.180 * [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
1545381054.180 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.180 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.180 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.180 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545381054.180 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545381054.180 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545381054.180 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381054.180 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.181 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.181 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.181 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.181 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.181 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.181 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.181 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.181 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.181 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.181 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.182 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.182 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.182 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381054.182 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.182 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.182 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.182 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.182 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.182 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.182 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.182 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.182 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.183 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.183 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381054.183 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.183 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381054.183 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.183 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.183 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.184 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.184 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.184 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.184 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.184 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.184 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.184 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.184 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.185 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381054.185 * * * [misc]progress:  simplifying candidates
1545381054.185 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545381054.185 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545381054.185 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545381054.185 * * * * [misc]progress:  [ 4 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1545381054.185 * * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545381054.185 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545381054.185 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545381054.185 * * * * [misc]progress:  [ 8 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545381054.186 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545381054.186 * * [misc]simplify:  iters left: 6 (8 enodes)
1545381054.188 * * [misc]simplify:  iters left: 5 (16 enodes)
1545381054.192 * * [misc]simplify:  iters left: 4 (19 enodes)
1545381054.198 * * [misc]simplify:  iters left: 3 (21 enodes)
1545381054.202 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545381054.203 * [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)))))))
1545381054.203 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545381054.203 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545381054.203 * * [misc]simplify:  iters left: 4 (7 enodes)
1545381054.205 * * [misc]simplify:  iters left: 3 (13 enodes)
1545381054.208 * * [misc]simplify:  iters left: 2 (16 enodes)
1545381054.210 * * [misc]simplify:  iters left: 1 (18 enodes)
1545381054.212 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545381054.212 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545381054.213 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545381054.213 * [enter]simplify:  Simplifying (log 1)
1545381054.213 * * [misc]simplify:  iters left: 1 (2 enodes)
1545381054.214 * [exit]simplify:  Simplified to 0
1545381054.214 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545381054.214 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545381054.214 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545381054.214 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.214 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381054.214 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381054.215 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381054.217 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381054.217 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545381054.217 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545381054.217 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545381054.217 * * * * [misc]progress:  [ 16 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545381054.217 * * * * [misc]progress:  [ 17 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381054.217 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545381054.217 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545381054.217 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545381054.217 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545381054.217 * [enter]simplify:  Simplifying (exp 1)
1545381054.217 * * [misc]simplify:  iters left: 1 (2 enodes)
1545381054.217 * [exit]simplify:  Simplified to E
1545381054.217 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545381054.217 * * * * [misc]progress:  [ 22 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545381054.218 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545381054.218 * * [misc]simplify:  iters left: 6 (9 enodes)
1545381054.219 * * [misc]simplify:  iters left: 5 (17 enodes)
1545381054.221 * * [misc]simplify:  iters left: 4 (20 enodes)
1545381054.224 * * [misc]simplify:  iters left: 3 (22 enodes)
1545381054.227 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545381054.227 * [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))))))
1545381054.227 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545381054.227 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545381054.227 * * [misc]simplify:  iters left: 5 (8 enodes)
1545381054.228 * * [misc]simplify:  iters left: 4 (14 enodes)
1545381054.230 * * [misc]simplify:  iters left: 3 (17 enodes)
1545381054.236 * * [misc]simplify:  iters left: 2 (19 enodes)
1545381054.238 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545381054.238 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545381054.238 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545381054.238 * [enter]simplify:  Simplifying (exp 1)
1545381054.238 * * [misc]simplify:  iters left: 1 (2 enodes)
1545381054.239 * [exit]simplify:  Simplified to E
1545381054.239 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545381054.239 * * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545381054.239 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545381054.239 * * [misc]simplify:  iters left: 6 (9 enodes)
1545381054.240 * * [misc]simplify:  iters left: 5 (17 enodes)
1545381054.243 * * [misc]simplify:  iters left: 4 (22 enodes)
1545381054.246 * * [misc]simplify:  iters left: 3 (24 enodes)
1545381054.249 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545381054.249 * [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)))))))
1545381054.249 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545381054.249 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545381054.249 * * [misc]simplify:  iters left: 5 (8 enodes)
1545381054.250 * * [misc]simplify:  iters left: 4 (14 enodes)
1545381054.252 * * [misc]simplify:  iters left: 3 (17 enodes)
1545381054.254 * * [misc]simplify:  iters left: 2 (19 enodes)
1545381054.256 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545381054.256 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545381054.256 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545381054.256 * [enter]simplify:  Simplifying (exp (log 1))
1545381054.256 * * [misc]simplify:  iters left: 2 (3 enodes)
1545381054.257 * * [misc]simplify:  iters left: 1 (5 enodes)
1545381054.258 * [exit]simplify:  Simplified to 1
1545381054.258 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545381054.258 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381054.258 * [enter]simplify:  Simplifying (cosh c)
1545381054.258 * * [misc]simplify:  iters left: 1 (2 enodes)
1545381054.258 * [exit]simplify:  Simplified to (cosh c)
1545381054.258 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545381054.258 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545381054.258 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545381054.258 * * * * [misc]progress:  [ 31 / 43 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545381054.259 * * * * [misc]progress:  [ 32 / 43 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1545381054.259 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545381054.259 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545381054.259 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.259 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381054.259 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381054.259 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381054.261 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381054.261 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545381054.261 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.261 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381054.261 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381054.262 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381054.263 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381054.263 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545381054.263 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.263 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381054.264 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381054.264 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381054.266 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381054.266 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545381054.266 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.266 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545381054.266 * * [misc]simplify:  iters left: 3 (6 enodes)
1545381054.267 * * [misc]simplify:  iters left: 2 (12 enodes)
1545381054.268 * * [misc]simplify:  iters left: 1 (15 enodes)
1545381054.270 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545381054.270 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545381054.270 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.270 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545381054.270 * * [misc]simplify:  iters left: 3 (6 enodes)
1545381054.271 * * [misc]simplify:  iters left: 2 (12 enodes)
1545381054.273 * * [misc]simplify:  iters left: 1 (15 enodes)
1545381054.275 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545381054.275 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545381054.275 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545381054.275 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545381054.275 * * [misc]simplify:  iters left: 3 (6 enodes)
1545381054.276 * * [misc]simplify:  iters left: 2 (12 enodes)
1545381054.277 * * [misc]simplify:  iters left: 1 (15 enodes)
1545381054.279 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545381054.279 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545381054.279 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381054.280 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381054.280 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381054.281 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381054.284 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381054.284 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545381054.284 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381054.284 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381054.284 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381054.286 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381054.289 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381054.289 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545381054.289 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545381054.289 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381054.289 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381054.291 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381054.294 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381054.294 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545381054.294 * * * [misc]progress:  adding candidates to table
1545381054.896 * * [misc]progress:  iteration 3 / 4
1545381054.896 * * * [misc]progress:  picking best candidate
1545381054.938 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381054.938 * * * [misc]progress:  localizing error
1545381054.955 * * * [misc]progress:  generating rewritten candidates
1545381054.955 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545381054.955 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1545381054.956 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545381054.956 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1545381054.958 * * * [misc]progress:  generating series expansions
1545381054.958 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545381054.958 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.959 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381054.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.959 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.959 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.959 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.959 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.959 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.959 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.959 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.959 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.959 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.959 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.959 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.959 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.959 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.960 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.960 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.960 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.960 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.960 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.960 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381054.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.961 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.961 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.961 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.961 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.961 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381054.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.962 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381054.962 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.962 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.962 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.962 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.962 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.963 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381054.963 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1545381054.963 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.963 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381054.963 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.963 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.963 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.963 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.964 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.964 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.964 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.964 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.964 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.964 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.964 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.964 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.964 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381054.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.965 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.965 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.965 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.965 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.965 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.966 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.966 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.966 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.966 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.966 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.966 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.966 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.966 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381054.966 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.966 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381054.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.966 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.966 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.967 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.967 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.967 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.967 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.967 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.967 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.968 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381054.968 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545381054.968 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.968 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381054.968 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.968 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.968 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.968 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.968 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.968 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.968 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.968 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.968 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.968 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.968 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.968 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.968 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.969 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.969 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.969 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.969 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.969 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.969 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.969 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.969 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.969 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.969 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381054.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.970 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.970 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381054.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.971 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381054.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.971 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.972 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.972 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.972 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381054.972 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1545381054.973 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.973 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545381054.973 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545381054.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.973 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.973 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.973 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545381054.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.973 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.973 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.973 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545381054.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381054.973 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.973 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.973 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545381054.973 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381054.973 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381054.974 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.974 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.975 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545381054.975 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.975 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.975 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.976 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545381054.976 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.978 * [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
1545381054.978 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.978 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.978 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.978 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.979 * [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
1545381054.979 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.982 * [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
1545381054.982 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.982 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.982 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.982 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545381054.983 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.983 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545381054.983 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545381054.983 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.983 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.983 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.983 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545381054.983 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.983 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.983 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.983 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545381054.983 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381054.983 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.984 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.984 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545381054.984 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381054.984 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381054.984 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.984 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545381054.985 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545381054.985 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.985 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.985 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.986 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545381054.986 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.988 * [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
1545381054.988 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.988 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.988 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.988 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.990 * [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
1545381054.990 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.993 * [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
1545381054.993 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.993 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.993 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.993 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545381054.993 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.993 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545381054.993 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545381054.993 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.993 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.994 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.994 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545381054.994 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.994 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.994 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.994 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545381054.994 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381054.994 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.994 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.994 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545381054.994 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381054.994 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381054.995 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.995 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545381054.996 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545381054.996 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.996 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.996 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.997 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545381054.997 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.999 * [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
1545381054.999 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381054.999 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.999 * [misc]backup-simplify:  Simplify 0 into 0
1545381054.999 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.001 * [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
1545381055.001 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.004 * [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
1545381055.004 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.004 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.004 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.004 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545381055.004 * * * [misc]progress:  simplifying candidates
1545381055.004 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545381055.004 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545381055.005 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545381055.005 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545381055.005 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545381055.005 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545381055.005 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545381055.005 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.005 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.006 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.006 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.006 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.006 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545381055.006 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545381055.006 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545381055.006 * * [misc]simplify:  iters left: 6 (8 enodes)
1545381055.009 * * [misc]simplify:  iters left: 5 (16 enodes)
1545381055.017 * * [misc]simplify:  iters left: 4 (19 enodes)
1545381055.022 * * [misc]simplify:  iters left: 3 (21 enodes)
1545381055.027 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545381055.028 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545381055.028 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545381055.028 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545381055.028 * * [misc]simplify:  iters left: 4 (7 enodes)
1545381055.030 * * [misc]simplify:  iters left: 3 (13 enodes)
1545381055.034 * * [misc]simplify:  iters left: 2 (16 enodes)
1545381055.039 * * [misc]simplify:  iters left: 1 (18 enodes)
1545381055.043 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545381055.043 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545381055.043 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545381055.044 * [enter]simplify:  Simplifying (log 1)
1545381055.044 * * [misc]simplify:  iters left: 1 (2 enodes)
1545381055.046 * [exit]simplify:  Simplified to 0
1545381055.046 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545381055.046 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545381055.046 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545381055.046 * * * * [misc]progress:  [ 27 / 45 ] 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)))))))>
1545381055.046 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.046 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.048 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.051 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.051 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.051 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545381055.051 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545381055.051 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545381055.051 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.051 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545381055.051 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545381055.051 * * * * [misc]progress:  [ 34 / 45 ] 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)))))))>
1545381055.052 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.052 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.053 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.056 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.056 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.056 * * * * [misc]progress:  [ 35 / 45 ] 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)))))))>
1545381055.056 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.057 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.058 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.061 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.061 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.061 * * * * [misc]progress:  [ 36 / 45 ] 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)))))))>
1545381055.061 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.062 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.063 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.066 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.066 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.066 * * * * [misc]progress:  [ 37 / 45 ] 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)))))))>
1545381055.066 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.066 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.067 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.070 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.070 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.070 * * * * [misc]progress:  [ 38 / 45 ] 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)))))))>
1545381055.071 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.071 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.072 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.075 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.075 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.075 * * * * [misc]progress:  [ 39 / 45 ] 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)))))))>
1545381055.076 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.076 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.078 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.081 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.081 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.081 * * * * [misc]progress:  [ 40 / 45 ] 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)))))))>
1545381055.082 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.082 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.083 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.086 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.087 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.087 * * * * [misc]progress:  [ 41 / 45 ] 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)))))))>
1545381055.087 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.087 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.088 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.091 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.091 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.091 * * * * [misc]progress:  [ 42 / 45 ] 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)))))))>
1545381055.092 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.092 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.093 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.096 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.096 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.096 * * * * [misc]progress:  [ 43 / 45 ] 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)))))))>
1545381055.097 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545381055.097 * * [misc]simplify:  iters left: 3 (6 enodes)
1545381055.098 * * [misc]simplify:  iters left: 2 (12 enodes)
1545381055.101 * * [misc]simplify:  iters left: 1 (15 enodes)
1545381055.106 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545381055.106 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.106 * * * * [misc]progress:  [ 44 / 45 ] 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)))))))>
1545381055.106 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545381055.106 * * [misc]simplify:  iters left: 3 (6 enodes)
1545381055.108 * * [misc]simplify:  iters left: 2 (12 enodes)
1545381055.111 * * [misc]simplify:  iters left: 1 (15 enodes)
1545381055.113 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545381055.113 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.113 * * * * [misc]progress:  [ 45 / 45 ] 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)))))))>
1545381055.113 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545381055.113 * * [misc]simplify:  iters left: 3 (6 enodes)
1545381055.114 * * [misc]simplify:  iters left: 2 (12 enodes)
1545381055.116 * * [misc]simplify:  iters left: 1 (15 enodes)
1545381055.118 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545381055.118 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545381055.118 * * * [misc]progress:  adding candidates to table
1545381055.733 * * [misc]progress:  iteration 4 / 4
1545381055.733 * * * [misc]progress:  picking best candidate
1545381055.804 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.804 * * * [misc]progress:  localizing error
1545381055.826 * * * [misc]progress:  generating rewritten candidates
1545381055.827 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
1545381055.827 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1545381055.827 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1545381055.828 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1545381055.828 * * * [misc]progress:  generating series expansions
1545381055.828 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
1545381055.828 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.828 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381055.829 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.829 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.829 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.829 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.829 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.829 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.829 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.829 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.829 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.829 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.829 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.829 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.829 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.829 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.829 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.829 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.829 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.830 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.830 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.830 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.830 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.830 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.830 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.830 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381055.830 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.830 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.830 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.830 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.830 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.830 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.830 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.831 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.831 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.831 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.831 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381055.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.832 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381055.832 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.832 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.832 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.832 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.835 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.835 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.835 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.835 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.835 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.835 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.836 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.836 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.836 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.836 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.836 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.836 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.836 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.836 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.836 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381055.836 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1545381055.836 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.836 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381055.836 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.836 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.836 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.836 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.837 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.837 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.837 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.837 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.837 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.837 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.837 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.838 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381055.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.838 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.838 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.839 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381055.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.839 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381055.839 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.839 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.840 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.840 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.840 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.840 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.840 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.840 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.840 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.840 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.840 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.840 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.840 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.840 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.841 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.841 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.841 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.841 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.841 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.841 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381055.841 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1545381055.841 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.841 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381055.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.841 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.841 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.841 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.841 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.842 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.842 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.842 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.842 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.842 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.842 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381055.842 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.843 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.843 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.843 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.843 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.843 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.843 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.843 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.843 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.843 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.843 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.843 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.843 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.843 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.844 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.844 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.844 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.844 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.844 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.844 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.844 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.844 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381055.844 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.844 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381055.844 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.844 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.844 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.844 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.845 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.845 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.845 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.845 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.845 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.846 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381055.846 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1545381055.846 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.846 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545381055.846 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.846 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.846 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.846 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.846 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545381055.846 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.846 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545381055.846 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.846 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.847 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.847 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545381055.847 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.847 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545381055.847 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.847 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.847 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.848 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545381055.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.848 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545381055.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.848 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545381055.848 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.848 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.848 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.848 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.848 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.848 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.848 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.848 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.848 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.848 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.849 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.849 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.849 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545381055.849 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.849 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545381055.849 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.849 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.849 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.849 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.849 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545381055.849 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.849 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545381055.850 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.850 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545381055.850 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]taylor:  Taking taylor expansion of 0 in a
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]backup-simplify:  Simplify 0 into 0
1545381055.850 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545381055.851 * * * [misc]progress:  simplifying candidates
1545381055.851 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1545381055.851 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1545381055.851 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1545381055.851 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1545381055.851 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1545381055.851 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1545381055.851 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1545381055.851 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.851 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.851 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.851 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.851 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.852 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.853 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.853 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.853 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.853 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.853 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.854 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.858 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.858 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.858 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.858 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.858 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.860 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.863 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.863 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.863 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.863 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.863 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.865 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.868 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.868 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.868 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.868 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.868 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.870 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.873 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.873 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.873 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.873 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.874 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.875 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.878 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.878 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.878 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.878 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.879 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.880 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.883 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.883 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.883 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.883 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.884 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.885 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.888 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.888 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.888 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.888 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.889 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.890 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.893 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.893 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.894 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.894 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.894 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.895 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.899 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.899 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.899 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.899 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.899 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.901 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.904 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.904 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.904 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.904 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.905 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.906 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.909 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.909 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.909 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545381055.910 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545381055.910 * * [misc]simplify:  iters left: 2 (5 enodes)
1545381055.911 * * [misc]simplify:  iters left: 1 (11 enodes)
1545381055.915 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545381055.915 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1545381055.915 * * * [misc]progress:  adding candidates to table
1545381056.552 * [misc]progress:  [Phase 3 of 3] Extracting.
1545381056.552 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545381056.558 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545381056.559 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545381056.705 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545381056.863 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545381056.993 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545381057.114 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545381057.216 * * * [misc]regime:  Found split indices: #<option (#s(si 5 256))>
1545381057.216 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
1545381057.216 * * [misc]simplify:  iters left: 6 (10 enodes)
1545381057.217 * * [misc]simplify:  iters left: 5 (11 enodes)
1545381057.217 * [exit]simplify:  Simplified to (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
1545381057.217 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545381068.424 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381068.427 * * * * [misc]points:  Sampling 4938 additional inputs, on iter 1 have 3062 / 8000
1545381075.218 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381075.220 * * * * [misc]points:  Sampling 3093 additional inputs, on iter 2 have 4907 / 8000
1545381079.830 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381079.831 * * * * [misc]points:  Sampling 1925 additional inputs, on iter 3 have 6075 / 8000
1545381082.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381082.275 * * * * [misc]points:  Sampling 1166 additional inputs, on iter 4 have 6834 / 8000
1545381084.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381084.216 * * * * [misc]points:  Sampling 725 additional inputs, on iter 5 have 7275 / 8000
1545381085.296 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381085.296 * * * * [misc]points:  Sampling 449 additional inputs, on iter 6 have 7551 / 8000
1545381085.974 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381085.974 * * * * [misc]points:  Sampling 291 additional inputs, on iter 7 have 7709 / 8000
1545381086.389 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381086.389 * * * * [misc]points:  Sampling 192 additional inputs, on iter 8 have 7808 / 8000
1545381086.958 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381086.958 * * * * [misc]points:  Sampling 130 additional inputs, on iter 9 have 7870 / 8000
1545381087.122 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.122 * * * * [misc]points:  Sampling 78 additional inputs, on iter 10 have 7922 / 8000
1545381087.235 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.235 * * * * [misc]points:  Sampling 53 additional inputs, on iter 11 have 7947 / 8000
1545381087.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.277 * * * * [misc]points:  Sampling 27 additional inputs, on iter 12 have 7973 / 8000
1545381087.291 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.291 * * * * [misc]points:  Sampling 14 additional inputs, on iter 13 have 7986 / 8000
1545381087.310 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.310 * * * * [misc]points:  Sampling 11 additional inputs, on iter 14 have 7989 / 8000
1545381087.327 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.327 * * * * [misc]points:  Sampling 7 additional inputs, on iter 15 have 7993 / 8000
1545381087.335 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.335 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1545381087.341 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.341 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7998 / 8000
1545381087.349 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.349 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7999 / 8000
1545381087.356 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545381087.356 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545381089.716 * [misc]regime-testing:  Baseline error score: 34.572625701928374
1545381089.716 * [misc]regime-testing:  End program error score: 34.572625701928374
1545381089.717 * [misc]regime-testing:  Oracle error score: 34.53615695392519