1550605974.702 * [misc]progress:  [Phase 1 of 3] Setting up.
1550605974.702 * * * [misc]progress:  [1/2] Preparing points
1550605975.406 * * * [misc]progress:  [2/2] Setting up program.
1550605975.413 * [misc]progress:  [Phase 2 of 3] Improving.
1550605975.413 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605975.415 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.416 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.423 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.435 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.435 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.435 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.436 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.436 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.436 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.437 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.437 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.437 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605975.445 * * [misc]progress:  iteration 1 / 4
1550605975.445 * * * [misc]progress:  picking best candidate
1550605975.451 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605975.451 * * * [misc]progress:  localizing error
1550605975.472 * * * [misc]progress:  generating rewritten candidates
1550605975.472 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1550605975.475 * * * [misc]progress:  generating series expansions
1550605975.476 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1550605975.479 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.479 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605975.481 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.482 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.482 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.482 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.484 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.484 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.486 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.486 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605975.486 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.486 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.486 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.486 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.486 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.487 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.487 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.487 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.487 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.487 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.487 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605975.488 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.488 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605975.488 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.488 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.489 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.489 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.489 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.489 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.489 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.489 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.489 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.489 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.489 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.490 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605975.490 * * * [misc]progress:  simplifying candidates
1550605975.490 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1550605975.490 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.490 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1550605975.490 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1550605975.490 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1550605975.490 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1550605975.490 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1550605975.490 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1550605975.490 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605975.490 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.490 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.492 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.497 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.497 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.498 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.498 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.498 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.498 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.498 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.498 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.498 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605975.498 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605975.498 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.498 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.499 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.503 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.503 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.503 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.503 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.503 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.503 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.503 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.503 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.503 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605975.503 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605975.504 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.504 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.505 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.521 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.521 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.521 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.521 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.521 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.522 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.522 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.522 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.522 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605975.522 * * * [misc]progress:  adding candidates to table
1550605975.652 * * [misc]progress:  iteration 2 / 4
1550605975.652 * * * [misc]progress:  picking best candidate
1550605975.697 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.697 * * * [misc]progress:  localizing error
1550605975.708 * * * [misc]progress:  generating rewritten candidates
1550605975.708 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1550605975.709 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550605975.712 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1550605975.717 * * * [misc]progress:  generating series expansions
1550605975.717 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1550605975.718 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.718 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605975.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.718 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.718 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.718 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.718 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.718 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.718 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.718 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.718 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.718 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.719 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.719 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.719 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.719 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.719 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.719 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.719 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.719 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.719 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.719 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605975.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.719 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.719 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.720 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.720 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.720 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605975.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.721 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605975.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.722 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.722 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.722 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605975.722 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550605975.722 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605975.723 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1550605975.723 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550605975.723 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.723 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.723 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605975.723 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550605975.723 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.723 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.723 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605975.723 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550605975.723 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.723 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.723 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605975.723 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550605975.723 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.724 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.724 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605975.724 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605975.726 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550605975.726 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.727 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550605975.727 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.730 * [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
1550605975.730 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.730 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.730 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.730 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.731 * [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
1550605975.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.735 * [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
1550605975.735 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.735 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.735 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.735 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605975.736 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605975.736 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1550605975.736 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550605975.736 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.736 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605975.736 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550605975.736 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.736 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605975.736 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550605975.736 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.737 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605975.737 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550605975.737 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.737 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.737 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605975.737 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605975.739 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550605975.739 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.739 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.739 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.740 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550605975.740 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.742 * [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
1550605975.742 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.742 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.742 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.742 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.744 * [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
1550605975.744 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.747 * [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
1550605975.747 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.747 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.747 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.747 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1550605975.748 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605975.748 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1550605975.748 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550605975.748 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.748 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.748 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605975.748 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550605975.748 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.748 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.748 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605975.749 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550605975.749 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.749 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.749 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605975.749 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550605975.749 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.749 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.749 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605975.749 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605975.751 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550605975.751 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.751 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.751 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.752 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550605975.752 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.755 * [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
1550605975.755 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.755 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.755 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.755 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.757 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1550605975.757 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.758 * [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
1550605975.758 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1550605975.759 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1550605975.759 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1550605975.759 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605975.759 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.759 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.759 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.759 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.759 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605975.759 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.759 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605975.759 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.759 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.759 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.759 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605975.760 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.760 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605975.760 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.760 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.760 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605975.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.760 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605975.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605975.760 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605975.760 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.761 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605975.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605975.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605975.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605975.761 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605975.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605975.761 * * * [misc]progress:  simplifying candidates
1550605975.761 * * * * [misc]progress:  [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1550605975.761 * * * * [misc]progress:  [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1550605975.761 * * * * [misc]progress:  [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1550605975.761 * * * * [misc]progress:  [ 4 / 46 ] 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)))))))>
1550605975.762 * * * * [misc]progress:  [ 5 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1550605975.762 * * * * [misc]progress:  [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1550605975.762 * * * * [misc]progress:  [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1550605975.762 * * * * [misc]progress:  [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1550605975.762 * * * * [misc]progress:  [ 9 / 46 ] 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)))))))>
1550605975.762 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1550605975.762 * * [misc]simplify:  iters left: 6 (8 enodes)
1550605975.764 * * [misc]simplify:  iters left: 5 (32 enodes)
1550605975.769 * * [misc]simplify:  iters left: 4 (47 enodes)
1550605975.779 * * [misc]simplify:  iters left: 3 (51 enodes)
1550605975.786 * * [misc]simplify:  iters left: 2 (53 enodes)
1550605975.793 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.793 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.793 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550605975.793 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550605975.793 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1550605975.793 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1550605975.793 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1550605975.793 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1550605975.793 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1550605975.794 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1550605975.794 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1550605975.795 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1550605975.795 * [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)))))))
1550605975.795 * * * * [misc]progress:  [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1550605975.795 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1550605975.795 * * [misc]simplify:  iters left: 4 (7 enodes)
1550605975.797 * * [misc]simplify:  iters left: 3 (27 enodes)
1550605975.801 * * [misc]simplify:  iters left: 2 (40 enodes)
1550605975.807 * * [misc]simplify:  iters left: 1 (44 enodes)
1550605975.813 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.813 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605975.813 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550605975.813 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1550605975.813 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1550605975.813 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1550605975.813 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1550605975.813 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1550605975.814 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1550605975.814 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1550605975.814 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1550605975.814 * * * * [misc]progress:  [ 11 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1550605975.814 * [enter]simplify:  Simplifying (log 1)
1550605975.814 * * [misc]simplify:  iters left: 1 (2 enodes)
1550605975.816 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.816 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550605975.816 * [exit]simplify:  Simplified to 0
1550605975.816 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1550605975.816 * * * * [misc]progress:  [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1550605975.816 * * * * [misc]progress:  [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1550605975.816 * * * * [misc]progress:  [ 14 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.816 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.816 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.817 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.821 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.821 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.821 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.821 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.821 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.821 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.821 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.822 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.822 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550605975.822 * * * * [misc]progress:  [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1550605975.822 * * * * [misc]progress:  [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1550605975.822 * * * * [misc]progress:  [ 17 / 46 ] 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)))))))>
1550605975.822 * * * * [misc]progress:  [ 18 / 46 ] 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)))))))>
1550605975.822 * * * * [misc]progress:  [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1550605975.822 * * * * [misc]progress:  [ 20 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1550605975.822 * * * * [misc]progress:  [ 21 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1550605975.822 * * * * [misc]progress:  [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1550605975.822 * * * * [misc]progress:  [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1550605975.822 * [enter]simplify:  Simplifying (exp 1)
1550605975.822 * * [misc]simplify:  iters left: 1 (2 enodes)
1550605975.823 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.823 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550605975.823 * [exit]simplify:  Simplified to E
1550605975.823 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1550605975.823 * * * * [misc]progress:  [ 24 / 46 ] 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))))))>
1550605975.823 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1550605975.823 * * [misc]simplify:  iters left: 6 (9 enodes)
1550605975.825 * * [misc]simplify:  iters left: 5 (35 enodes)
1550605975.830 * * [misc]simplify:  iters left: 4 (50 enodes)
1550605975.838 * * [misc]simplify:  iters left: 3 (54 enodes)
1550605975.848 * * [misc]simplify:  iters left: 2 (56 enodes)
1550605975.857 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.857 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550605975.857 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550605975.857 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550605975.857 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1550605975.857 * * [misc]simplify:  Extracting #5: cost 20 inf + 0
1550605975.857 * * [misc]simplify:  Extracting #6: cost 19 inf + 94
1550605975.857 * * [misc]simplify:  Extracting #7: cost 20 inf + 312
1550605975.857 * * [misc]simplify:  Extracting #8: cost 11 inf + 1649
1550605975.857 * * [misc]simplify:  Extracting #9: cost 2 inf + 4656
1550605975.858 * * [misc]simplify:  Extracting #10: cost 0 inf + 5570
1550605975.858 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1550605975.859 * [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))))))
1550605975.859 * * * * [misc]progress:  [ 25 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1550605975.859 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1550605975.859 * * [misc]simplify:  iters left: 5 (8 enodes)
1550605975.861 * * [misc]simplify:  iters left: 4 (30 enodes)
1550605975.869 * * [misc]simplify:  iters left: 3 (43 enodes)
1550605975.876 * * [misc]simplify:  iters left: 2 (47 enodes)
1550605975.883 * * [misc]simplify:  iters left: 1 (49 enodes)
1550605975.890 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.890 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605975.890 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550605975.890 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550605975.890 * * [misc]simplify:  Extracting #4: cost 10 inf + 0
1550605975.890 * * [misc]simplify:  Extracting #5: cost 16 inf + 0
1550605975.890 * * [misc]simplify:  Extracting #6: cost 15 inf + 94
1550605975.891 * * [misc]simplify:  Extracting #7: cost 16 inf + 312
1550605975.891 * * [misc]simplify:  Extracting #8: cost 9 inf + 1489
1550605975.891 * * [misc]simplify:  Extracting #9: cost 0 inf + 3642
1550605975.891 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1550605975.891 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1550605975.891 * * * * [misc]progress:  [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1550605975.892 * [enter]simplify:  Simplifying (exp 1)
1550605975.892 * * [misc]simplify:  iters left: 1 (2 enodes)
1550605975.893 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.893 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550605975.893 * [exit]simplify:  Simplified to E
1550605975.893 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1550605975.893 * * * * [misc]progress:  [ 27 / 46 ] 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)))))))>
1550605975.893 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1550605975.893 * * [misc]simplify:  iters left: 6 (9 enodes)
1550605975.895 * * [misc]simplify:  iters left: 5 (33 enodes)
1550605975.900 * * [misc]simplify:  iters left: 4 (50 enodes)
1550605975.907 * * [misc]simplify:  iters left: 3 (54 enodes)
1550605975.914 * * [misc]simplify:  iters left: 2 (56 enodes)
1550605975.922 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.922 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.922 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550605975.922 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550605975.922 * * [misc]simplify:  Extracting #4: cost 18 inf + 0
1550605975.922 * * [misc]simplify:  Extracting #5: cost 17 inf + 94
1550605975.922 * * [misc]simplify:  Extracting #6: cost 18 inf + 312
1550605975.922 * * [misc]simplify:  Extracting #7: cost 9 inf + 1659
1550605975.923 * * [misc]simplify:  Extracting #8: cost 3 inf + 3255
1550605975.923 * * [misc]simplify:  Extracting #9: cost 1 inf + 4029
1550605975.924 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1550605975.924 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1550605975.924 * [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)))))))
1550605975.924 * * * * [misc]progress:  [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1550605975.924 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1550605975.924 * * [misc]simplify:  iters left: 5 (8 enodes)
1550605975.926 * * [misc]simplify:  iters left: 4 (28 enodes)
1550605975.930 * * [misc]simplify:  iters left: 3 (41 enodes)
1550605975.936 * * [misc]simplify:  iters left: 2 (45 enodes)
1550605975.943 * * [misc]simplify:  iters left: 1 (47 enodes)
1550605975.954 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.954 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.954 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550605975.954 * * [misc]simplify:  Extracting #3: cost 14 inf + 0
1550605975.954 * * [misc]simplify:  Extracting #4: cost 13 inf + 94
1550605975.954 * * [misc]simplify:  Extracting #5: cost 14 inf + 312
1550605975.954 * * [misc]simplify:  Extracting #6: cost 7 inf + 1429
1550605975.955 * * [misc]simplify:  Extracting #7: cost 1 inf + 2567
1550605975.955 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1550605975.955 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1550605975.955 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1550605975.955 * * * * [misc]progress:  [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1550605975.955 * [enter]simplify:  Simplifying (exp (log 1))
1550605975.955 * * [misc]simplify:  iters left: 2 (3 enodes)
1550605975.957 * * [misc]simplify:  iters left: 1 (9 enodes)
1550605975.958 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.958 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550605975.958 * [exit]simplify:  Simplified to 1
1550605975.958 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1550605975.958 * * * * [misc]progress:  [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605975.958 * [enter]simplify:  Simplifying (cosh c)
1550605975.959 * * [misc]simplify:  iters left: 1 (2 enodes)
1550605975.959 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.959 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550605975.959 * * [misc]simplify:  Extracting #2: cost 5 inf + 2
1550605975.959 * * [misc]simplify:  Extracting #3: cost 3 inf + 185
1550605975.959 * * [misc]simplify:  Extracting #4: cost 0 inf + 558
1550605975.959 * [exit]simplify:  Simplified to (cosh c)
1550605975.959 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605975.959 * * * * [misc]progress:  [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1550605975.959 * * * * [misc]progress:  [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1550605975.959 * * * * [misc]progress:  [ 33 / 46 ] 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)))))))>
1550605975.959 * * * * [misc]progress:  [ 34 / 46 ] 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)))))))>
1550605975.960 * * * * [misc]progress:  [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1550605975.960 * * * * [misc]progress:  [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1550605975.960 * * * * [misc]progress:  [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1550605975.960 * * * * [misc]progress:  [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.960 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.960 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.961 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.964 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.964 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.964 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.964 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.964 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.964 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.965 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.965 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.965 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550605975.965 * * * * [misc]progress:  [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.965 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.965 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.966 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.969 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.969 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.969 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.970 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.970 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.970 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.970 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.970 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.970 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550605975.970 * * * * [misc]progress:  [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.970 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605975.970 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605975.971 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605975.975 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.975 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605975.975 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605975.975 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605975.975 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605975.975 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605975.975 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605975.976 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605975.976 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550605975.976 * * * * [misc]progress:  [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.976 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550605975.976 * * [misc]simplify:  iters left: 3 (6 enodes)
1550605975.977 * * [misc]simplify:  iters left: 2 (24 enodes)
1550605975.981 * * [misc]simplify:  iters left: 1 (37 enodes)
1550605975.992 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605975.992 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605975.992 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550605975.992 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550605975.992 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550605975.992 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550605975.993 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550605975.993 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550605975.994 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550605975.994 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550605975.994 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550605975.994 * * * * [misc]progress:  [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605975.995 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550605975.995 * * [misc]simplify:  iters left: 3 (6 enodes)
1550605975.997 * * [misc]simplify:  iters left: 2 (24 enodes)
1550605976.005 * * [misc]simplify:  iters left: 1 (37 enodes)
1550605976.015 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.015 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605976.015 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550605976.015 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550605976.016 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550605976.016 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550605976.016 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550605976.016 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550605976.017 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550605976.017 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550605976.017 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550605976.018 * * * * [misc]progress:  [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550605976.018 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550605976.018 * * [misc]simplify:  iters left: 3 (6 enodes)
1550605976.020 * * [misc]simplify:  iters left: 2 (24 enodes)
1550605976.028 * * [misc]simplify:  iters left: 1 (37 enodes)
1550605976.039 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.039 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605976.039 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550605976.039 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550605976.039 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550605976.039 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550605976.039 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550605976.040 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550605976.040 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550605976.041 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550605976.041 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550605976.041 * * * * [misc]progress:  [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605976.041 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.041 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.043 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.050 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.050 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.050 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.050 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.050 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.050 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.051 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.051 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.051 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605976.051 * * * * [misc]progress:  [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605976.051 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.051 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.053 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.060 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.060 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.060 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.060 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.060 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.061 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.061 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.061 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.061 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605976.062 * * * * [misc]progress:  [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550605976.062 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.062 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.064 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.070 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.070 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.070 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.070 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.070 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.071 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.071 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.071 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.071 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550605976.071 * * * [misc]progress:  adding candidates to table
1550605976.619 * * [misc]progress:  iteration 3 / 4
1550605976.619 * * * [misc]progress:  picking best candidate
1550605976.692 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.692 * * * [misc]progress:  localizing error
1550605976.716 * * * [misc]progress:  generating rewritten candidates
1550605976.717 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1550605976.717 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1550605976.717 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1550605976.718 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1550605976.720 * * * [misc]progress:  generating series expansions
1550605976.720 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1550605976.720 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.720 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605976.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.721 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.721 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.721 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.721 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.721 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.721 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.721 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.721 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.721 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.721 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.721 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.721 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.721 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.722 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.722 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.722 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.722 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.722 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605976.722 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.722 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.722 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.722 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.722 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.722 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.722 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.723 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.723 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.723 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.723 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605976.724 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.724 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605976.724 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.724 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.724 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.724 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.724 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.724 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.724 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.724 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.724 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.724 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.725 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605976.725 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1550605976.725 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.725 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605976.725 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.725 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.725 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.725 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.725 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.726 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.726 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.726 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.726 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.726 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.726 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.726 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.726 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605976.726 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.727 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.727 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.727 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.727 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.727 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.727 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.727 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.727 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.727 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.727 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.727 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.727 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.727 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.727 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.728 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.728 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.728 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.728 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.728 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.728 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.728 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605976.728 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.728 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605976.728 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.728 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.728 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.728 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.728 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.729 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.729 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.729 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.729 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.729 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.729 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.730 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605976.730 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1550605976.730 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.730 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605976.730 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.730 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.730 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.730 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.730 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.730 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.730 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.730 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.730 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.730 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.730 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.731 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.731 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.731 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605976.731 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.731 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.731 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.731 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.731 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.732 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.732 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.732 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.732 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.732 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.732 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605976.733 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.733 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605976.733 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.733 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.733 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.733 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.733 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.733 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.733 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.733 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.733 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.733 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.734 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605976.734 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1550605976.734 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605976.734 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1550605976.734 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550605976.734 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.734 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.734 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605976.735 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550605976.735 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.735 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.735 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605976.735 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550605976.735 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605976.735 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.735 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605976.735 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550605976.735 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605976.735 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605976.735 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605976.735 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605976.737 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550605976.737 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.737 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.737 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.737 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550605976.738 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.739 * [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
1550605976.739 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.739 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.739 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.739 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.741 * [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
1550605976.741 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.744 * [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
1550605976.744 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.744 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.744 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.744 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550605976.744 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605976.744 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1550605976.744 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550605976.744 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.744 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.744 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605976.744 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550605976.745 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.745 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.745 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605976.745 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550605976.745 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605976.745 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.745 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605976.745 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550605976.745 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605976.745 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605976.746 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605976.746 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550605976.747 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550605976.747 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.747 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.747 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.748 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550605976.748 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.750 * [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
1550605976.750 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.750 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.750 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.750 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.751 * [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
1550605976.751 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.754 * [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
1550605976.754 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.754 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.754 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.755 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1550605976.755 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605976.755 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1550605976.755 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550605976.755 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.755 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.755 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605976.755 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550605976.755 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.755 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.756 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605976.756 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550605976.756 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605976.756 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.756 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605976.756 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550605976.756 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605976.756 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605976.756 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605976.757 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550605976.758 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550605976.758 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.758 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.758 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.759 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550605976.759 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.760 * [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
1550605976.760 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.760 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.761 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.762 * [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
1550605976.762 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.765 * [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
1550605976.765 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605976.765 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.765 * [misc]backup-simplify:  Simplify 0 into 0
1550605976.765 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1550605976.765 * * * [misc]progress:  simplifying candidates
1550605976.765 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1550605976.766 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1550605976.766 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1550605976.766 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1550605976.766 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1550605976.766 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1550605976.766 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1550605976.766 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
1550605976.766 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.766 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.766 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.766 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.766 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.766 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.766 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.767 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1550605976.767 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1550605976.768 * * [misc]simplify:  iters left: 6 (8 enodes)
1550605976.771 * * [misc]simplify:  iters left: 5 (32 enodes)
1550605976.781 * * [misc]simplify:  iters left: 4 (47 enodes)
1550605976.795 * * [misc]simplify:  iters left: 3 (51 enodes)
1550605976.805 * * [misc]simplify:  iters left: 2 (53 enodes)
1550605976.812 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.812 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.812 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550605976.812 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550605976.812 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1550605976.812 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1550605976.812 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1550605976.812 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1550605976.813 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1550605976.813 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1550605976.813 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1550605976.814 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1550605976.814 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1550605976.814 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1550605976.814 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1550605976.814 * * [misc]simplify:  iters left: 4 (7 enodes)
1550605976.815 * * [misc]simplify:  iters left: 3 (27 enodes)
1550605976.822 * * [misc]simplify:  iters left: 2 (40 enodes)
1550605976.828 * * [misc]simplify:  iters left: 1 (44 enodes)
1550605976.839 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.839 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605976.839 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550605976.839 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1550605976.839 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1550605976.839 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1550605976.840 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1550605976.840 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1550605976.840 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1550605976.841 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1550605976.841 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1550605976.841 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1550605976.841 * [enter]simplify:  Simplifying (log 1)
1550605976.841 * * [misc]simplify:  iters left: 1 (2 enodes)
1550605976.843 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.843 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550605976.844 * [exit]simplify:  Simplified to 0
1550605976.844 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1550605976.844 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1550605976.844 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1550605976.844 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.844 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.844 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.846 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.852 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.852 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.852 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.852 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.852 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.852 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.853 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.853 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.853 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.853 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1550605976.853 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1550605976.853 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605976.853 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1550605976.853 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1550605976.853 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1550605976.854 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
1550605976.854 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.854 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.854 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.856 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.861 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.862 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.862 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.862 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.862 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.862 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.862 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.863 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.863 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.863 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.863 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.863 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.865 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.871 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.871 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.871 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.871 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.871 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.871 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.872 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.872 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.872 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.872 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.873 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.873 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.874 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.881 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.881 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.881 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.881 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.881 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.882 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.882 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.882 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.883 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.883 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.883 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.883 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.885 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.891 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.892 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.892 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.892 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.892 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.892 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.892 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.893 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.893 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.893 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.893 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.893 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.895 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.902 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.902 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.902 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.902 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.902 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.902 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.903 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.903 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.903 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.903 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.904 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.904 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.906 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.913 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.913 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.913 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.913 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.913 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.913 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.913 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.913 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.913 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.913 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.914 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.914 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.915 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.918 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.918 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.918 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.918 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.918 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.918 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.919 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.919 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.919 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.919 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.919 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.919 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.920 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.924 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.924 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.924 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.924 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.924 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.924 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.924 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.925 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.925 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.925 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.925 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605976.925 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605976.926 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605976.929 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.929 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605976.929 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605976.929 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605976.929 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605976.930 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605976.930 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605976.930 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605976.930 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.930 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.930 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550605976.930 * * [misc]simplify:  iters left: 3 (6 enodes)
1550605976.932 * * [misc]simplify:  iters left: 2 (24 enodes)
1550605976.936 * * [misc]simplify:  iters left: 1 (37 enodes)
1550605976.943 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.943 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605976.943 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550605976.943 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550605976.943 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550605976.943 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550605976.944 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550605976.944 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550605976.944 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550605976.944 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550605976.944 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.944 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.945 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550605976.945 * * [misc]simplify:  iters left: 3 (6 enodes)
1550605976.946 * * [misc]simplify:  iters left: 2 (24 enodes)
1550605976.950 * * [misc]simplify:  iters left: 1 (37 enodes)
1550605976.955 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.955 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605976.955 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550605976.955 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550605976.955 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550605976.955 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550605976.955 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550605976.956 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550605976.956 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550605976.956 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550605976.956 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.956 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550605976.956 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550605976.956 * * [misc]simplify:  iters left: 3 (6 enodes)
1550605976.958 * * [misc]simplify:  iters left: 2 (24 enodes)
1550605976.965 * * [misc]simplify:  iters left: 1 (37 enodes)
1550605976.974 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605976.974 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550605976.974 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550605976.974 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550605976.974 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550605976.974 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550605976.974 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550605976.975 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550605976.975 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550605976.976 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550605976.976 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1550605976.976 * * * [misc]progress:  adding candidates to table
1550605977.609 * * [misc]progress:  iteration 4 / 4
1550605977.609 * * * [misc]progress:  picking best candidate
1550605977.668 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.668 * * * [misc]progress:  localizing error
1550605977.679 * * * [misc]progress:  generating rewritten candidates
1550605977.679 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1550605977.679 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1550605977.680 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1550605977.680 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1550605977.680 * * * [misc]progress:  generating series expansions
1550605977.680 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1550605977.680 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.680 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605977.680 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.681 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.681 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.681 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.681 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.681 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605977.681 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.681 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.681 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.681 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.682 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.682 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605977.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.682 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605977.682 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.682 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.682 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.683 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.683 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605977.683 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.683 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605977.683 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.683 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.683 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.683 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.684 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.684 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.684 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605977.684 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.684 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.684 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.684 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.684 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.685 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605977.685 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.685 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605977.685 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.685 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.685 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.685 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.685 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.685 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.685 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.685 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.685 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.685 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.685 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605977.686 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.686 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605977.686 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.686 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.686 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.686 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.686 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.686 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.687 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605977.687 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.687 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.687 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.687 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.687 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605977.687 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.687 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605977.687 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.688 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.688 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.688 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.688 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605977.688 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.688 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550605977.688 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.688 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.688 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.689 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.689 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550605977.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550605977.689 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550605977.690 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.690 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550605977.690 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.690 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.690 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.690 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.690 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550605977.691 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]taylor:  Taking taylor expansion of 0 in a
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]backup-simplify:  Simplify 0 into 0
1550605977.691 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550605977.691 * * * [misc]progress:  simplifying candidates
1550605977.691 * * * * [misc]progress:  [ 1 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1550605977.691 * * * * [misc]progress:  [ 2 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1550605977.691 * * * * [misc]progress:  [ 3 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1550605977.691 * * * * [misc]progress:  [ 4 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1550605977.691 * * * * [misc]progress:  [ 5 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1550605977.691 * * * * [misc]progress:  [ 6 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1550605977.691 * * * * [misc]progress:  [ 7 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1550605977.691 * * * * [misc]progress:  [ 8 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))>
1550605977.691 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.691 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.691 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.691 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.691 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.691 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.691 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 20 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 23 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.692 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.692 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.693 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.697 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.697 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.697 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.697 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.697 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.698 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.698 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.698 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.699 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.699 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.699 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.699 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.701 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.709 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.709 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.709 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.709 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.709 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.709 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.710 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.710 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.710 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.710 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.711 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.711 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.713 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.720 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.720 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.720 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.720 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.720 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.720 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.721 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.722 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.722 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.722 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.722 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.722 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.725 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.731 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.731 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.731 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.731 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.731 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.732 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.732 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.732 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.733 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.733 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.733 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.733 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.738 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.745 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.745 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.745 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.745 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.745 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.746 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.746 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.747 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.747 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.747 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.747 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.747 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.749 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.756 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.756 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.756 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.756 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.756 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.756 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.757 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.757 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.757 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.757 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.758 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.758 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.760 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.767 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.767 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.767 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.767 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.767 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.768 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.768 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.769 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.769 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.769 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.769 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.769 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.771 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.775 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.775 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.775 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.775 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.775 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.775 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.775 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.776 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.776 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.776 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.776 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.776 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.777 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.780 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.780 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.780 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.780 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.780 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.781 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.781 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.781 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.781 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.781 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.781 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.781 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.782 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.785 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.785 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.785 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.786 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.786 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.786 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.786 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.786 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.786 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.786 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.786 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.786 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.787 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.791 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.791 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.791 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.791 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.791 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.791 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.791 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.791 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.791 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.791 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550605977.792 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550605977.792 * * [misc]simplify:  iters left: 2 (5 enodes)
1550605977.793 * * [misc]simplify:  iters left: 1 (21 enodes)
1550605977.800 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605977.800 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550605977.800 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550605977.800 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550605977.800 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550605977.800 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550605977.801 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550605977.801 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550605977.801 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1550605977.801 * * * [misc]progress:  adding candidates to table
1550605978.601 * [misc]progress:  [Phase 3 of 3] Extracting.
1550605978.602 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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) (* (* (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 (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1550605978.604 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1550605978.604 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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) (* (* (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 (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1550605978.687 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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) (* (* (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 (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1550605978.849 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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) (* (* (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 (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1550605978.937 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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) (* (* (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 (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1550605979.020 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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) (* (* (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 (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1550605979.164 * * * [misc]regime:  Found split indices: #<option (#s(si 4 255))>
1550605979.164 * [enter]simplify:  Simplifying (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1550605979.164 * * [misc]simplify:  iters left: 6 (10 enodes)
1550605979.165 * * [misc]simplify:  iters left: 5 (11 enodes)
1550605979.166 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550605979.166 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550605979.166 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1550605979.166 * * [misc]simplify:  Extracting #3: cost 5 inf + 0
1550605979.166 * * [misc]simplify:  Extracting #4: cost 6 inf + 0
1550605979.166 * * [misc]simplify:  Extracting #5: cost 8 inf + 0
1550605979.166 * * [misc]simplify:  Extracting #6: cost 10 inf + 0
1550605979.166 * * [misc]simplify:  Extracting #7: cost 7 inf + 93
1550605979.166 * * [misc]simplify:  Extracting #8: cost 0 inf + 2391
1550605979.167 * [exit]simplify:  Simplified to (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1550605998.480 * [misc]regime-testing:  Baseline error score: 33.93763460863169
1550605998.481 * [misc]regime-testing:  Oracle error score: 33.70958697611988
1550605998.483 * [misc]regime-testing:  End program error score: 33.93763460863169