1554301806.158 * [misc]progress:  [Phase 1 of 3] Setting up.
1554301806.158 * * * [misc]progress:  [1/2] Preparing points
1554301806.921 * * * [misc]progress:  [2/2] Setting up program.
1554301806.929 * [misc]progress:  [Phase 2 of 3] Improving.
1554301806.930 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301806.932 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301806.934 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301806.942 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301806.951 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301806.951 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301806.951 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301806.952 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301806.952 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301806.952 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301806.953 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301806.953 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301806.953 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301806.962 * * [misc]progress:  iteration 1 / 4
1554301806.962 * * * [misc]progress:  picking best candidate
1554301806.967 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301806.967 * * * [misc]progress:  localizing error
1554301806.991 * * * [misc]progress:  generating rewritten candidates
1554301806.991 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1554301806.995 * * * [misc]progress:  generating series expansions
1554301806.996 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1554301806.999 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301806.999 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301807.001 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.003 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.003 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.003 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.003 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.003 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.004 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.004 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.004 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.004 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.004 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.004 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.004 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.005 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.005 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.007 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.007 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301807.007 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.007 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.007 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.007 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.007 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.008 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.008 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.008 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.008 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.008 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.008 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301807.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.028 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301807.028 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.028 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.028 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.028 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.028 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.028 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.028 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.028 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.028 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.029 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.029 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.029 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.029 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.029 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.029 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.029 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.029 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301807.029 * * * [misc]progress:  simplifying candidates
1554301807.029 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1554301807.029 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1554301807.029 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1554301807.029 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301807.029 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.029 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.030 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.034 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.034 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.034 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.034 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.034 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.035 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.035 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.035 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.035 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301807.035 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301807.035 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.035 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.036 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.040 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.040 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.040 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.040 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.040 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.040 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.041 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.041 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.041 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301807.041 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301807.041 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.041 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.042 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.045 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.045 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.045 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.046 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.046 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.046 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.046 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.046 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.046 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301807.046 * * * [misc]progress:  adding candidates to table
1554301807.168 * * [misc]progress:  iteration 2 / 4
1554301807.168 * * * [misc]progress:  picking best candidate
1554301807.191 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.191 * * * [misc]progress:  localizing error
1554301807.199 * * * [misc]progress:  generating rewritten candidates
1554301807.199 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1554301807.199 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1554301807.201 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1554301807.204 * * * [misc]progress:  generating series expansions
1554301807.204 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1554301807.204 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.204 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301807.204 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.204 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.204 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.204 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.204 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.204 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.204 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.204 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.204 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.205 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.205 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301807.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.205 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.205 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.205 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.205 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.205 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.205 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.205 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301807.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.206 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301807.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.206 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.207 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301807.207 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1554301807.207 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301807.207 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1554301807.207 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554301807.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.207 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.207 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301807.207 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554301807.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.207 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.207 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301807.207 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554301807.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.207 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.207 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301807.207 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554301807.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.207 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.207 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301807.207 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301807.209 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554301807.209 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.209 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.209 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.210 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554301807.210 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.211 * [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
1554301807.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.211 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.211 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.211 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.212 * [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
1554301807.212 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.214 * [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
1554301807.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.214 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.214 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.214 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301807.215 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301807.215 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1554301807.215 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554301807.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.215 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301807.215 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554301807.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.215 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301807.215 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554301807.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.215 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301807.215 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554301807.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.215 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301807.215 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301807.216 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554301807.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.216 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.216 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.217 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554301807.217 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.218 * [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
1554301807.218 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.218 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.218 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.218 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.220 * [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
1554301807.220 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.222 * [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
1554301807.223 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.223 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.223 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.223 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1554301807.223 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301807.223 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1554301807.223 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554301807.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.223 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.223 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301807.223 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554301807.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.223 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.224 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301807.224 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554301807.224 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.224 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.224 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301807.224 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554301807.224 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.224 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.224 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301807.224 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301807.225 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554301807.225 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.226 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.226 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.226 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554301807.226 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.228 * [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
1554301807.228 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.228 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.228 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.228 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.230 * [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
1554301807.230 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.232 * [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
1554301807.233 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.233 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.233 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.233 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1554301807.233 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1554301807.233 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1554301807.233 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301807.233 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.233 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.233 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.233 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.233 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301807.233 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.233 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301807.233 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.234 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.234 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.234 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301807.234 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.234 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301807.234 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.234 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.234 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.234 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.234 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301807.235 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.235 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301807.235 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.235 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301807.235 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.235 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301807.235 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.236 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301807.236 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.236 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.236 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.236 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.236 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301807.236 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.236 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301807.236 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.236 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301807.236 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.236 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.236 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.236 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.236 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.236 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.236 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.236 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.237 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.237 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301807.237 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.237 * [misc]backup-simplify:  Simplify 0 into 0
1554301807.237 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301807.237 * * * [misc]progress:  simplifying candidates
1554301807.237 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1554301807.237 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 6 / 52 ] 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)))))))>
1554301807.237 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1554301807.237 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1554301807.237 * * * * [misc]progress:  [ 13 / 52 ] 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)))))))>
1554301807.238 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1554301807.238 * * [misc]simplify:  iters left: 6 (8 enodes)
1554301807.241 * * [misc]simplify:  iters left: 5 (32 enodes)
1554301807.250 * * [misc]simplify:  iters left: 4 (47 enodes)
1554301807.262 * * [misc]simplify:  iters left: 3 (51 enodes)
1554301807.275 * * [misc]simplify:  iters left: 2 (53 enodes)
1554301807.288 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.288 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.288 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554301807.288 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554301807.288 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1554301807.288 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1554301807.288 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1554301807.288 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1554301807.289 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1554301807.289 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1554301807.290 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1554301807.291 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1554301807.291 * [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)))))))
1554301807.291 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1554301807.291 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1554301807.291 * * [misc]simplify:  iters left: 4 (7 enodes)
1554301807.294 * * [misc]simplify:  iters left: 3 (27 enodes)
1554301807.301 * * [misc]simplify:  iters left: 2 (40 enodes)
1554301807.312 * * [misc]simplify:  iters left: 1 (44 enodes)
1554301807.319 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.319 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301807.319 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301807.319 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301807.319 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1554301807.319 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1554301807.319 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1554301807.319 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1554301807.319 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1554301807.320 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1554301807.320 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1554301807.320 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1554301807.320 * [enter]simplify:  Simplifying (log 1)
1554301807.320 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301807.322 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.322 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301807.322 * [exit]simplify:  Simplified to 0
1554301807.322 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1554301807.322 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1554301807.322 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1554301807.322 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.322 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.322 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.323 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.330 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.330 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.330 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.330 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.330 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.331 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.331 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.331 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.331 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554301807.331 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1554301807.331 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.331 * * * * [misc]progress:  [ 21 / 52 ] 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)))))))>
1554301807.331 * * * * [misc]progress:  [ 22 / 52 ] 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)))))))>
1554301807.331 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1554301807.331 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1554301807.331 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1554301807.331 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.332 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.332 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1554301807.332 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1554301807.332 * [enter]simplify:  Simplifying (exp 1)
1554301807.332 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301807.333 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.333 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301807.333 * [exit]simplify:  Simplified to E
1554301807.333 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1554301807.333 * * * * [misc]progress:  [ 30 / 52 ] 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))))))>
1554301807.333 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1554301807.333 * * [misc]simplify:  iters left: 6 (9 enodes)
1554301807.335 * * [misc]simplify:  iters left: 5 (35 enodes)
1554301807.340 * * [misc]simplify:  iters left: 4 (50 enodes)
1554301807.347 * * [misc]simplify:  iters left: 3 (54 enodes)
1554301807.355 * * [misc]simplify:  iters left: 2 (56 enodes)
1554301807.368 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.368 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554301807.368 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554301807.369 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554301807.369 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1554301807.369 * * [misc]simplify:  Extracting #5: cost 20 inf + 0
1554301807.369 * * [misc]simplify:  Extracting #6: cost 19 inf + 94
1554301807.369 * * [misc]simplify:  Extracting #7: cost 20 inf + 312
1554301807.369 * * [misc]simplify:  Extracting #8: cost 11 inf + 1649
1554301807.370 * * [misc]simplify:  Extracting #9: cost 2 inf + 4656
1554301807.371 * * [misc]simplify:  Extracting #10: cost 0 inf + 5570
1554301807.371 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1554301807.371 * [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))))))
1554301807.372 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1554301807.372 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1554301807.372 * * [misc]simplify:  iters left: 5 (8 enodes)
1554301807.375 * * [misc]simplify:  iters left: 4 (30 enodes)
1554301807.383 * * [misc]simplify:  iters left: 3 (43 enodes)
1554301807.390 * * [misc]simplify:  iters left: 2 (47 enodes)
1554301807.397 * * [misc]simplify:  iters left: 1 (49 enodes)
1554301807.404 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.404 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301807.404 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301807.404 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554301807.404 * * [misc]simplify:  Extracting #4: cost 10 inf + 0
1554301807.404 * * [misc]simplify:  Extracting #5: cost 16 inf + 0
1554301807.404 * * [misc]simplify:  Extracting #6: cost 15 inf + 94
1554301807.404 * * [misc]simplify:  Extracting #7: cost 16 inf + 312
1554301807.404 * * [misc]simplify:  Extracting #8: cost 9 inf + 1489
1554301807.405 * * [misc]simplify:  Extracting #9: cost 0 inf + 3642
1554301807.405 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1554301807.405 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1554301807.405 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1554301807.405 * [enter]simplify:  Simplifying (exp 1)
1554301807.405 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301807.406 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.406 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301807.406 * [exit]simplify:  Simplified to E
1554301807.406 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1554301807.406 * * * * [misc]progress:  [ 33 / 52 ] 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)))))))>
1554301807.407 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1554301807.407 * * [misc]simplify:  iters left: 6 (9 enodes)
1554301807.409 * * [misc]simplify:  iters left: 5 (33 enodes)
1554301807.414 * * [misc]simplify:  iters left: 4 (50 enodes)
1554301807.427 * * [misc]simplify:  iters left: 3 (54 enodes)
1554301807.442 * * [misc]simplify:  iters left: 2 (56 enodes)
1554301807.458 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.458 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.458 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1554301807.458 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554301807.458 * * [misc]simplify:  Extracting #4: cost 18 inf + 0
1554301807.459 * * [misc]simplify:  Extracting #5: cost 17 inf + 94
1554301807.459 * * [misc]simplify:  Extracting #6: cost 18 inf + 312
1554301807.459 * * [misc]simplify:  Extracting #7: cost 9 inf + 1659
1554301807.460 * * [misc]simplify:  Extracting #8: cost 3 inf + 3255
1554301807.461 * * [misc]simplify:  Extracting #9: cost 1 inf + 4029
1554301807.461 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1554301807.462 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1554301807.462 * [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)))))))
1554301807.463 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1554301807.463 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1554301807.463 * * [misc]simplify:  iters left: 5 (8 enodes)
1554301807.466 * * [misc]simplify:  iters left: 4 (28 enodes)
1554301807.475 * * [misc]simplify:  iters left: 3 (41 enodes)
1554301807.488 * * [misc]simplify:  iters left: 2 (45 enodes)
1554301807.501 * * [misc]simplify:  iters left: 1 (47 enodes)
1554301807.515 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.515 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.515 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1554301807.515 * * [misc]simplify:  Extracting #3: cost 14 inf + 0
1554301807.515 * * [misc]simplify:  Extracting #4: cost 13 inf + 94
1554301807.515 * * [misc]simplify:  Extracting #5: cost 14 inf + 312
1554301807.516 * * [misc]simplify:  Extracting #6: cost 7 inf + 1429
1554301807.516 * * [misc]simplify:  Extracting #7: cost 1 inf + 2567
1554301807.517 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1554301807.517 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1554301807.517 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1554301807.518 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1554301807.518 * [enter]simplify:  Simplifying (exp (log 1))
1554301807.518 * * [misc]simplify:  iters left: 2 (3 enodes)
1554301807.521 * * [misc]simplify:  iters left: 1 (9 enodes)
1554301807.523 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.523 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301807.523 * [exit]simplify:  Simplified to 1
1554301807.523 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1554301807.523 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301807.524 * [enter]simplify:  Simplifying (cosh c)
1554301807.524 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301807.525 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.525 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554301807.525 * * [misc]simplify:  Extracting #2: cost 5 inf + 2
1554301807.525 * * [misc]simplify:  Extracting #3: cost 3 inf + 185
1554301807.525 * * [misc]simplify:  Extracting #4: cost 0 inf + 558
1554301807.525 * [exit]simplify:  Simplified to (cosh c)
1554301807.525 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301807.525 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.525 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.525 * * * * [misc]progress:  [ 39 / 52 ] 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)))))))>
1554301807.525 * * * * [misc]progress:  [ 40 / 52 ] 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)))))))>
1554301807.526 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.526 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1554301807.526 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1554301807.526 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.526 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.526 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.528 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.535 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.535 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.535 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.535 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.535 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.535 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.536 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.536 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.536 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554301807.536 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.537 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.537 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.539 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.546 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.546 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.546 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.547 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.547 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.547 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.547 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.548 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.548 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554301807.548 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.548 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.548 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.550 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.557 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.557 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.557 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.557 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.557 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.558 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.558 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.558 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.558 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554301807.558 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.559 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554301807.559 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301807.561 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301807.569 * * [misc]simplify:  iters left: 1 (37 enodes)
1554301807.580 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.580 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301807.580 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301807.580 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554301807.580 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554301807.580 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554301807.580 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554301807.581 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554301807.581 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554301807.582 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554301807.582 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554301807.582 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.582 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554301807.582 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301807.586 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301807.594 * * [misc]simplify:  iters left: 1 (37 enodes)
1554301807.604 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.605 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301807.605 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301807.605 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554301807.605 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554301807.605 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554301807.605 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554301807.606 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554301807.606 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554301807.607 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554301807.607 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554301807.607 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554301807.607 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554301807.607 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301807.610 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301807.618 * * [misc]simplify:  iters left: 1 (37 enodes)
1554301807.628 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.628 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301807.628 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301807.629 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554301807.629 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554301807.629 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554301807.629 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554301807.629 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554301807.630 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554301807.630 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554301807.630 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554301807.631 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301807.631 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.631 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.633 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.640 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.641 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.641 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.641 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.641 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.641 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.641 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.642 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.642 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301807.642 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301807.642 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.642 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.644 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.651 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.651 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.651 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.651 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.652 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.652 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.652 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.653 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.653 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301807.653 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554301807.653 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301807.653 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301807.654 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301807.657 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301807.657 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301807.657 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301807.657 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301807.657 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301807.657 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301807.658 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301807.658 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301807.658 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554301807.658 * * * [misc]progress:  adding candidates to table
1554301808.242 * * [misc]progress:  iteration 3 / 4
1554301808.242 * * * [misc]progress:  picking best candidate
1554301808.317 * * * * [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)))))))>
1554301808.317 * * * [misc]progress:  localizing error
1554301808.340 * * * [misc]progress:  generating rewritten candidates
1554301808.340 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1554301808.341 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1554301808.341 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1554301808.341 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1554301808.344 * * * [misc]progress:  generating series expansions
1554301808.344 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1554301808.344 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.345 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301808.345 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.345 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.345 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.345 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.345 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.345 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.345 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.345 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.345 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.345 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.345 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.345 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.346 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.346 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.346 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.346 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.346 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301808.346 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.346 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.346 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.346 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.346 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.346 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.347 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.347 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.347 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.347 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301808.347 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.347 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301808.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.348 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301808.349 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1554301808.349 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.349 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301808.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.349 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.349 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.349 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.349 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.349 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.349 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.349 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.349 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.350 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.350 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.350 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.350 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.350 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.350 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.350 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.350 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.350 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301808.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301808.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.351 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301808.351 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.351 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.352 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.352 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.352 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.352 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301808.353 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1554301808.353 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.353 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301808.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.353 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.353 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.353 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.353 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.353 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.353 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.353 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.353 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.353 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.353 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.353 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.354 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.354 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.354 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.354 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.354 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.354 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301808.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.355 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301808.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.355 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301808.355 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.355 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.356 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.356 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.356 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.356 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.356 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.356 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.356 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301808.357 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1554301808.357 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301808.357 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1554301808.357 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554301808.357 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.357 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.357 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301808.357 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554301808.357 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.357 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.357 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301808.357 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554301808.357 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301808.357 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.357 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301808.357 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554301808.357 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301808.357 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301808.358 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301808.358 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301808.359 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554301808.359 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.359 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.359 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.360 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554301808.360 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.361 * [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
1554301808.361 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.361 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.361 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.361 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.363 * [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
1554301808.363 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.365 * [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
1554301808.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.365 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.365 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.365 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554301808.365 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301808.365 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1554301808.365 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554301808.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.366 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301808.366 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554301808.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.366 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301808.366 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554301808.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301808.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.366 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301808.366 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554301808.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301808.367 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301808.367 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301808.367 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554301808.368 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554301808.368 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.368 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.368 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.369 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554301808.369 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.370 * [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
1554301808.370 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.370 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.370 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.370 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.372 * [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
1554301808.372 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.374 * [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
1554301808.374 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.374 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.375 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.375 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1554301808.375 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301808.375 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1554301808.375 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554301808.375 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.375 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.375 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301808.375 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554301808.375 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.375 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.376 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301808.376 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554301808.376 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301808.376 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.376 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301808.376 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554301808.376 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301808.377 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301808.377 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301808.377 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554301808.378 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554301808.378 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.378 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.379 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.379 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554301808.379 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.381 * [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
1554301808.381 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.381 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.381 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.381 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.383 * [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
1554301808.383 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.386 * [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
1554301808.386 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301808.386 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.386 * [misc]backup-simplify:  Simplify 0 into 0
1554301808.386 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1554301808.386 * * * [misc]progress:  simplifying candidates
1554301808.386 * * * * [misc]progress:  [ 1 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1554301808.386 * * * * [misc]progress:  [ 2 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1554301808.386 * * * * [misc]progress:  [ 3 / 57 ] 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))))))>
1554301808.386 * * * * [misc]progress:  [ 4 / 57 ] 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)))))))))>
1554301808.386 * * * * [misc]progress:  [ 5 / 57 ] 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)))))))))>
1554301808.387 * * * * [misc]progress:  [ 6 / 57 ] 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)))))))))>
1554301808.387 * * * * [misc]progress:  [ 7 / 57 ] 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)))))))))>
1554301808.387 * * * * [misc]progress:  [ 8 / 57 ] 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)))))))))>
1554301808.387 * * * * [misc]progress:  [ 9 / 57 ] 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))))))))>
1554301808.387 * * * * [misc]progress:  [ 10 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
1554301808.387 * * * * [misc]progress:  [ 11 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554301808.387 * * * * [misc]progress:  [ 12 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554301808.387 * * * * [misc]progress:  [ 13 / 57 ] 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)))))))>
1554301808.387 * * * * [misc]progress:  [ 14 / 57 ] 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)))))))>
1554301808.387 * * * * [misc]progress:  [ 15 / 57 ] 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)))))))>
1554301808.387 * * * * [misc]progress:  [ 16 / 57 ] 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)))))))>
1554301808.387 * * * * [misc]progress:  [ 17 / 57 ] 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)))))))>
1554301808.387 * * * * [misc]progress:  [ 18 / 57 ] 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)))))))>
1554301808.387 * * * * [misc]progress:  [ 19 / 57 ] 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)))))))>
1554301808.387 * * * * [misc]progress:  [ 20 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554301808.387 * * * * [misc]progress:  [ 21 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554301808.388 * * * * [misc]progress:  [ 22 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554301808.388 * * * * [misc]progress:  [ 23 / 57 ] 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)))))))>
1554301808.388 * * * * [misc]progress:  [ 24 / 57 ] 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)))))))>
1554301808.388 * * * * [misc]progress:  [ 25 / 57 ] 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)))))))>
1554301808.388 * * * * [misc]progress:  [ 26 / 57 ] 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)))))))>
1554301808.388 * * * * [misc]progress:  [ 27 / 57 ] 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)))))))>
1554301808.388 * * * * [misc]progress:  [ 28 / 57 ] 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)))))))>
1554301808.388 * * * * [misc]progress:  [ 29 / 57 ] 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)))))))>
1554301808.388 * * * * [misc]progress:  [ 30 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554301808.388 * * * * [misc]progress:  [ 31 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1554301808.388 * * * * [misc]progress:  [ 32 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1554301808.388 * * * * [misc]progress:  [ 33 / 57 ] 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)))))))))>
1554301808.388 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1554301808.389 * * [misc]simplify:  iters left: 6 (8 enodes)
1554301808.396 * * [misc]simplify:  iters left: 5 (32 enodes)
1554301808.406 * * [misc]simplify:  iters left: 4 (47 enodes)
1554301808.419 * * [misc]simplify:  iters left: 3 (51 enodes)
1554301808.433 * * [misc]simplify:  iters left: 2 (53 enodes)
1554301808.449 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.449 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.449 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554301808.449 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554301808.449 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1554301808.449 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1554301808.449 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1554301808.449 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1554301808.450 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1554301808.450 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1554301808.451 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1554301808.452 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1554301808.452 * [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)))))))))
1554301808.452 * * * * [misc]progress:  [ 34 / 57 ] 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)))))))))>
1554301808.452 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1554301808.453 * * [misc]simplify:  iters left: 4 (7 enodes)
1554301808.455 * * [misc]simplify:  iters left: 3 (27 enodes)
1554301808.464 * * [misc]simplify:  iters left: 2 (40 enodes)
1554301808.470 * * [misc]simplify:  iters left: 1 (44 enodes)
1554301808.476 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.476 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.476 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554301808.476 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554301808.476 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1554301808.476 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1554301808.477 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1554301808.477 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1554301808.477 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1554301808.478 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1554301808.478 * [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)))))))))
1554301808.478 * * * * [misc]progress:  [ 35 / 57 ] 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))))))))>
1554301808.478 * [enter]simplify:  Simplifying (log 1)
1554301808.478 * * [misc]simplify:  iters left: 1 (2 enodes)
1554301808.479 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.480 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554301808.480 * [exit]simplify:  Simplified to 0
1554301808.480 * [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))))))))
1554301808.480 * * * * [misc]progress:  [ 36 / 57 ] 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))))))))>
1554301808.480 * * * * [misc]progress:  [ 37 / 57 ] 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)))))>
1554301808.480 * * * * [misc]progress:  [ 38 / 57 ] 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)))))))>
1554301808.480 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.480 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.481 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.484 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.484 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.484 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.484 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.484 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.484 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.485 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.485 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.485 * [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)))))))
1554301808.485 * * * * [misc]progress:  [ 39 / 57 ] 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)))))))))>
1554301808.485 * * * * [misc]progress:  [ 40 / 57 ] 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)))))))))>
1554301808.485 * * * * [misc]progress:  [ 41 / 57 ] 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)))))))))>
1554301808.485 * * * * [misc]progress:  [ 42 / 57 ] 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)))))))))>
1554301808.485 * * * * [misc]progress:  [ 43 / 57 ] 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)))))))))>
1554301808.485 * * * * [misc]progress:  [ 44 / 57 ] 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))))))))>
1554301808.485 * * * * [misc]progress:  [ 45 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
1554301808.485 * * * * [misc]progress:  [ 46 / 57 ] 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)))))))>
1554301808.485 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.485 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.486 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.490 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.490 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.490 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.490 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.490 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.490 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.490 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.490 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.490 * [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)))))))
1554301808.491 * * * * [misc]progress:  [ 47 / 57 ] 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)))))))>
1554301808.491 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.491 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.492 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.497 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.497 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.498 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.498 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.498 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.498 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.498 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.499 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.499 * [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)))))))
1554301808.499 * * * * [misc]progress:  [ 48 / 57 ] 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)))))))>
1554301808.499 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.499 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.501 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.508 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.508 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.508 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.508 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.508 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.509 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.509 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.509 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.510 * [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)))))))
1554301808.510 * * * * [misc]progress:  [ 49 / 57 ] 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)))))))>
1554301808.510 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.510 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.512 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.519 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.519 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.519 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.519 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.519 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.519 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.520 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.520 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.520 * [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)))))))
1554301808.520 * * * * [misc]progress:  [ 50 / 57 ] 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)))))))>
1554301808.521 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.521 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.524 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.531 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.531 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.532 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.532 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.532 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.532 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.532 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.533 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.533 * [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)))))))
1554301808.533 * * * * [misc]progress:  [ 51 / 57 ] 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)))))))>
1554301808.533 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.533 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.535 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.542 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.542 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.542 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.542 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.543 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.543 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.543 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.544 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.544 * [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)))))))
1554301808.544 * * * * [misc]progress:  [ 52 / 57 ] 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)))))))>
1554301808.544 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.545 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.547 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.554 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.554 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.554 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.554 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.554 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.554 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.554 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.555 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.555 * [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)))))))
1554301808.555 * * * * [misc]progress:  [ 53 / 57 ] 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)))))))>
1554301808.555 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.555 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.557 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.564 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.564 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.564 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.564 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.564 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.565 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.565 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.565 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.566 * [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)))))))
1554301808.566 * * * * [misc]progress:  [ 54 / 57 ] 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)))))))>
1554301808.566 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301808.566 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301808.568 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301808.575 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.575 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301808.575 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301808.575 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301808.575 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301808.576 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301808.576 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301808.576 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301808.577 * [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)))))))
1554301808.577 * * * * [misc]progress:  [ 55 / 57 ] 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)))))))>
1554301808.577 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554301808.577 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301808.580 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301808.587 * * [misc]simplify:  iters left: 1 (37 enodes)
1554301808.598 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.598 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.598 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301808.598 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554301808.598 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554301808.598 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554301808.599 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554301808.599 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554301808.600 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554301808.600 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554301808.600 * [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)))))))
1554301808.600 * * * * [misc]progress:  [ 56 / 57 ] 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)))))))>
1554301808.600 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554301808.601 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301808.603 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301808.610 * * [misc]simplify:  iters left: 1 (37 enodes)
1554301808.621 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.621 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.621 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301808.621 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554301808.621 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554301808.621 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554301808.621 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554301808.622 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554301808.622 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554301808.623 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554301808.623 * [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)))))))
1554301808.623 * * * * [misc]progress:  [ 57 / 57 ] 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)))))))>
1554301808.623 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554301808.623 * * [misc]simplify:  iters left: 3 (6 enodes)
1554301808.626 * * [misc]simplify:  iters left: 2 (24 enodes)
1554301808.633 * * [misc]simplify:  iters left: 1 (37 enodes)
1554301808.644 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301808.644 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554301808.644 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554301808.644 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554301808.644 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554301808.644 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554301808.645 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554301808.645 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554301808.645 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554301808.646 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554301808.646 * [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)))))))
1554301808.646 * * * [misc]progress:  adding candidates to table
1554301809.464 * * [misc]progress:  iteration 4 / 4
1554301809.464 * * * [misc]progress:  picking best candidate
1554301809.551 * * * * [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)))))))))>
1554301809.551 * * * [misc]progress:  localizing error
1554301809.564 * * * [misc]progress:  generating rewritten candidates
1554301809.564 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
1554301809.564 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1554301809.564 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1554301809.565 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1554301809.567 * * * [misc]progress:  generating series expansions
1554301809.567 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
1554301809.567 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.567 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301809.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.568 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.568 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301809.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.569 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.569 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.569 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301809.569 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.569 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.569 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.569 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301809.570 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.570 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301809.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.571 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301809.571 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.571 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.571 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.571 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.571 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.571 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301809.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.572 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301809.572 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.572 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.572 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.572 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.572 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.572 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.572 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.572 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.572 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.572 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301809.573 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.573 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301809.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.573 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.573 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.574 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301809.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.574 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301809.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.575 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301809.575 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.575 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554301809.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.576 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554301809.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554301809.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554301809.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.577 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554301809.577 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.577 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.577 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554301809.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.577 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554301809.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.577 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554301809.577 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.577 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.577 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.578 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.578 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.578 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.578 * [misc]taylor:  Taking taylor expansion of 0 in a
1554301809.578 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.578 * [misc]backup-simplify:  Simplify 0 into 0
1554301809.578 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554301809.578 * * * [misc]progress:  simplifying candidates
1554301809.578 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 3 / 52 ] 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))))))))>
1554301809.578 * * * * [misc]progress:  [ 4 / 52 ] 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)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 5 / 52 ] 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)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 6 / 52 ] 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)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 7 / 52 ] 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)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 8 / 52 ] 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)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 9 / 52 ] 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))))))))))>
1554301809.578 * * * * [misc]progress:  [ 10 / 52 ] 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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))>
1554301809.578 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.578 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.578 * * * * [misc]progress:  [ 13 / 52 ] 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)))))))))>
1554301809.578 * * * * [misc]progress:  [ 14 / 52 ] 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)))))))))>
1554301809.578 * * * * [misc]progress:  [ 15 / 52 ] 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)))))))))>
1554301809.578 * * * * [misc]progress:  [ 16 / 52 ] 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)))))))))>
1554301809.578 * * * * [misc]progress:  [ 17 / 52 ] 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)))))))))>
1554301809.578 * * * * [misc]progress:  [ 18 / 52 ] 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)))))))))>
1554301809.578 * * * * [misc]progress:  [ 19 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 20 / 52 ] 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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.579 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.579 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.579 * * * * [misc]progress:  [ 23 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 24 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 25 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 26 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 27 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 28 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 29 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.579 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.579 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.579 * * * * [misc]progress:  [ 33 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 34 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 35 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 36 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 37 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 38 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 39 / 52 ] 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)))))))))>
1554301809.579 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554301809.579 * * * * [misc]progress:  [ 41 / 52 ] 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)))))))))>
1554301809.580 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.580 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.581 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.584 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.584 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.584 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.584 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.584 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.584 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.585 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.585 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.585 * [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)))))))))
1554301809.585 * * * * [misc]progress:  [ 42 / 52 ] 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)))))))))>
1554301809.585 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.585 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.587 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.594 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.594 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.594 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.594 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.594 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.595 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.595 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.595 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.595 * [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)))))))))
1554301809.596 * * * * [misc]progress:  [ 43 / 52 ] 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)))))))))>
1554301809.596 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.596 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.598 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.605 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.605 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.606 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.606 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.606 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.606 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.606 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.607 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.607 * [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)))))))))
1554301809.607 * * * * [misc]progress:  [ 44 / 52 ] 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)))))))))>
1554301809.608 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.608 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.610 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.616 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.616 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.616 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.616 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.616 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.617 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.617 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.617 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.618 * [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)))))))))
1554301809.618 * * * * [misc]progress:  [ 45 / 52 ] 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)))))))))>
1554301809.618 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.618 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.620 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.624 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.624 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.624 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.624 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.624 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.624 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.624 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.625 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.625 * [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)))))))))
1554301809.625 * * * * [misc]progress:  [ 46 / 52 ] 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)))))))))>
1554301809.625 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.625 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.626 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.629 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.629 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.629 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.629 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.630 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.630 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.630 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.630 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.630 * [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)))))))))
1554301809.630 * * * * [misc]progress:  [ 47 / 52 ] 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)))))))))>
1554301809.630 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.630 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.631 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.635 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.635 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.635 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.635 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.635 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.635 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.635 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.635 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.635 * [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)))))))))
1554301809.635 * * * * [misc]progress:  [ 48 / 52 ] 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)))))))))>
1554301809.636 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.636 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.636 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.640 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.640 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.640 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.640 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.640 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.640 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.640 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.640 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.640 * [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)))))))))
1554301809.641 * * * * [misc]progress:  [ 49 / 52 ] 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)))))))))>
1554301809.641 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.641 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.642 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.645 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.645 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.645 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.645 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.645 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.645 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.645 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.646 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.646 * [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)))))))))
1554301809.646 * * * * [misc]progress:  [ 50 / 52 ] 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)))))))))>
1554301809.646 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.646 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.647 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.651 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.651 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.651 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.651 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.651 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.651 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.651 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.652 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.652 * [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)))))))))
1554301809.652 * * * * [misc]progress:  [ 51 / 52 ] 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)))))))))>
1554301809.652 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.652 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.653 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.656 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.656 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.656 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.656 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.656 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.656 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.657 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.657 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.657 * [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)))))))))
1554301809.657 * * * * [misc]progress:  [ 52 / 52 ] 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)))))))))>
1554301809.657 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554301809.657 * * [misc]simplify:  iters left: 2 (5 enodes)
1554301809.659 * * [misc]simplify:  iters left: 1 (21 enodes)
1554301809.666 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301809.666 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554301809.666 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554301809.666 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554301809.667 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554301809.667 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554301809.667 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554301809.668 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554301809.668 * [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)))))))))
1554301809.668 * * * [misc]progress:  adding candidates to table
1554301810.554 * [misc]progress:  [Phase 3 of 3] Extracting.
1554301810.554 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (log (log (exp (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)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (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)))) (log (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 (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (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) (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)))))))))))>)
1554301810.557 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1554301810.557 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (exp (log (log (exp (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)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (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)))) (log (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 (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (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) (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)))))))))))>)
1554301810.704 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (log (exp (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)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (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)))) (log (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 (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (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) (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)))))))))))>)
1554301810.823 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (exp (log (log (exp (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)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (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)))) (log (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 (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (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) (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)))))))))))>)
1554301810.942 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (log (exp (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)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (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)))) (log (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 (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (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) (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)))))))))))>)
1554301811.104 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (log (exp (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)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (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)))) (log (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 (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (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) (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)))))))))))>)
1554301811.242 * * * [misc]regime:  Found split indices: #<option (#s(si 14 255))>
1554301811.243 * [enter]simplify:  Simplifying (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))))))))
1554301811.243 * * [misc]simplify:  iters left: 6 (12 enodes)
1554301811.244 * * [misc]simplify:  iters left: 5 (14 enodes)
1554301811.245 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #2: cost 3 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #3: cost 5 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #4: cost 7 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #5: cost 8 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #6: cost 10 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #7: cost 12 inf + 0
1554301811.245 * * [misc]simplify:  Extracting #8: cost 9 inf + 93
1554301811.246 * * [misc]simplify:  Extracting #9: cost 0 inf + 3485
1554301811.247 * [exit]simplify:  Simplified to (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)))))))))
1554301830.312 * [misc]regime-testing:  Baseline error score: 34.24595770355559
1554301830.313 * [misc]regime-testing:  Oracle error score: 34.01060309676553
1554301830.315 * [misc]regime-testing:  End program error score: 34.24595770355559