1550624531.874 * [misc]progress:  [Phase 1 of 3] Setting up.
1550624531.874 * * * [misc]progress:  [1/2] Preparing points
1550624533.441 * * * [misc]progress:  [2/2] Setting up program.
1550624533.448 * [misc]progress:  [Phase 2 of 3] Improving.
1550624533.449 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624533.450 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624533.451 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624533.455 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624533.462 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.462 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624533.462 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624533.462 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624533.462 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624533.462 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624533.463 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624533.463 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624533.463 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624533.468 * * [misc]progress:  iteration 1 / 4
1550624533.468 * * * [misc]progress:  picking best candidate
1550624533.470 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624533.470 * * * [misc]progress:  localizing error
1550624533.513 * * * [misc]progress:  generating rewritten candidates
1550624533.513 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1550624533.516 * * * [misc]progress:  generating series expansions
1550624533.517 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1550624533.519 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.519 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624533.520 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.522 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.522 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.522 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.522 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.522 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.523 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.523 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.525 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.525 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624533.525 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.525 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.525 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.525 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.525 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.525 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.525 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.525 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.525 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.525 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.525 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.525 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.526 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.526 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.526 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624533.526 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.526 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624533.526 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.527 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.527 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.527 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.527 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624533.527 * * * [misc]progress:  simplifying candidates
1550624533.527 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1550624533.527 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1550624533.528 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1550624533.528 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624533.528 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1550624533.528 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1550624533.528 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1550624533.528 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1550624533.528 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1550624533.528 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1550624533.528 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624533.528 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624533.528 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624533.529 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624533.535 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.535 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624533.535 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624533.535 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624533.535 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624533.535 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624533.536 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624533.536 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624533.536 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624533.536 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624533.536 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624533.536 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624533.537 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624533.541 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.541 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624533.541 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624533.541 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624533.541 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624533.541 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624533.541 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624533.542 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624533.542 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624533.542 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624533.542 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624533.542 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624533.543 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624533.546 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.546 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624533.546 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624533.546 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624533.546 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624533.546 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624533.547 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624533.547 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624533.547 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624533.547 * * * [misc]progress:  adding candidates to table
1550624533.686 * * [misc]progress:  iteration 2 / 4
1550624533.686 * * * [misc]progress:  picking best candidate
1550624533.729 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624533.729 * * * [misc]progress:  localizing error
1550624533.734 * * * [misc]progress:  generating rewritten candidates
1550624533.734 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1550624533.735 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550624533.737 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1550624533.739 * * * [misc]progress:  generating series expansions
1550624533.739 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.740 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624533.740 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.740 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.740 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.740 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.740 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.740 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.740 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624533.740 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.741 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.741 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.741 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.741 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.741 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624533.741 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.741 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.741 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.742 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.742 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.742 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.742 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.742 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.742 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.742 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.742 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624533.742 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550624533.742 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624533.742 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1550624533.742 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550624533.742 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.742 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.743 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624533.743 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550624533.743 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.743 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.743 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624533.743 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550624533.743 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.743 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.743 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624533.743 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550624533.743 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.743 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.743 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624533.743 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624533.745 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550624533.745 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.745 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.745 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.745 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550624533.745 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.747 * [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
1550624533.747 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.747 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.747 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.747 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.748 * [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
1550624533.748 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.750 * [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
1550624533.750 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.750 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.750 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.750 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624533.750 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624533.750 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1550624533.750 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550624533.751 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.751 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624533.751 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550624533.751 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.751 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624533.751 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550624533.751 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.751 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624533.751 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550624533.751 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.751 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624533.751 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624533.752 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550624533.752 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.752 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.752 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.753 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550624533.753 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.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
1550624533.755 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.755 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.755 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.755 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.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
1550624533.757 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.760 * [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
1550624533.760 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.760 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.760 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.760 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1550624533.760 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624533.760 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1550624533.760 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550624533.760 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.760 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.761 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624533.761 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550624533.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.761 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624533.761 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550624533.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.761 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.761 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624533.761 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550624533.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.762 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.762 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624533.762 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624533.763 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550624533.763 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.763 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.763 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.764 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550624533.764 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.766 * [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
1550624533.766 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.766 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.766 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.766 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.768 * [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
1550624533.768 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.770 * [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
1550624533.771 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.771 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.771 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.771 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1550624533.771 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1550624533.771 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1550624533.771 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624533.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.771 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.771 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.771 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624533.772 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.772 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624533.772 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.772 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.772 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.772 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624533.773 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.773 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624533.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624533.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.773 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624533.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.773 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624533.773 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.774 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624533.774 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.774 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624533.774 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.774 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.775 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.775 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.775 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624533.775 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.775 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624533.775 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.775 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624533.775 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.775 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.775 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.775 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.775 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.775 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.775 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.776 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.776 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.776 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624533.776 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.776 * [misc]backup-simplify:  Simplify 0 into 0
1550624533.776 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624533.776 * * * [misc]progress:  simplifying candidates
1550624533.776 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1550624533.776 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1550624533.776 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1550624533.776 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1550624533.776 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1550624533.776 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1550624533.776 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1550624533.776 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1550624533.776 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1550624533.777 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1550624533.777 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1550624533.777 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1550624533.777 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1550624533.777 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1550624533.777 * * [misc]simplify:  iters left: 6 (8 enodes)
1550624533.780 * * [misc]simplify:  iters left: 5 (32 enodes)
1550624533.790 * * [misc]simplify:  iters left: 4 (47 enodes)
1550624533.804 * * [misc]simplify:  iters left: 3 (51 enodes)
1550624533.818 * * [misc]simplify:  iters left: 2 (53 enodes)
1550624533.833 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.833 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624533.833 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550624533.833 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550624533.833 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1550624533.833 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1550624533.833 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1550624533.833 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1550624533.834 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1550624533.834 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1550624533.835 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1550624533.836 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1550624533.836 * [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)))))))
1550624533.837 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1550624533.837 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1550624533.837 * * [misc]simplify:  iters left: 4 (7 enodes)
1550624533.840 * * [misc]simplify:  iters left: 3 (27 enodes)
1550624533.848 * * [misc]simplify:  iters left: 2 (40 enodes)
1550624533.864 * * [misc]simplify:  iters left: 1 (44 enodes)
1550624533.870 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.870 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624533.870 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624533.870 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1550624533.870 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1550624533.871 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1550624533.871 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1550624533.871 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1550624533.871 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1550624533.871 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1550624533.871 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1550624533.871 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1550624533.872 * [enter]simplify:  Simplifying (log 1)
1550624533.872 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624533.874 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.874 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624533.874 * [exit]simplify:  Simplified to 0
1550624533.874 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1550624533.874 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1550624533.874 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1550624533.874 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624533.874 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624533.874 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624533.875 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624533.878 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.878 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624533.878 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624533.878 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624533.878 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624533.879 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624533.879 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624533.879 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624533.879 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550624533.879 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1550624533.879 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1550624533.879 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1550624533.880 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1550624533.880 * [enter]simplify:  Simplifying (exp 1)
1550624533.880 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624533.881 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.881 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624533.881 * [exit]simplify:  Simplified to E
1550624533.881 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1550624533.881 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1550624533.881 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1550624533.881 * * [misc]simplify:  iters left: 6 (9 enodes)
1550624533.883 * * [misc]simplify:  iters left: 5 (35 enodes)
1550624533.888 * * [misc]simplify:  iters left: 4 (50 enodes)
1550624533.895 * * [misc]simplify:  iters left: 3 (54 enodes)
1550624533.902 * * [misc]simplify:  iters left: 2 (56 enodes)
1550624533.915 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.915 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550624533.915 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550624533.915 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550624533.915 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1550624533.915 * * [misc]simplify:  Extracting #5: cost 20 inf + 0
1550624533.916 * * [misc]simplify:  Extracting #6: cost 19 inf + 94
1550624533.916 * * [misc]simplify:  Extracting #7: cost 20 inf + 312
1550624533.916 * * [misc]simplify:  Extracting #8: cost 11 inf + 1649
1550624533.917 * * [misc]simplify:  Extracting #9: cost 2 inf + 4656
1550624533.918 * * [misc]simplify:  Extracting #10: cost 0 inf + 5570
1550624533.919 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1550624533.919 * [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))))))
1550624533.919 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1550624533.919 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1550624533.920 * * [misc]simplify:  iters left: 5 (8 enodes)
1550624533.923 * * [misc]simplify:  iters left: 4 (30 enodes)
1550624533.933 * * [misc]simplify:  iters left: 3 (43 enodes)
1550624533.943 * * [misc]simplify:  iters left: 2 (47 enodes)
1550624533.949 * * [misc]simplify:  iters left: 1 (49 enodes)
1550624533.956 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.956 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624533.956 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624533.956 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1550624533.956 * * [misc]simplify:  Extracting #4: cost 10 inf + 0
1550624533.956 * * [misc]simplify:  Extracting #5: cost 16 inf + 0
1550624533.956 * * [misc]simplify:  Extracting #6: cost 15 inf + 94
1550624533.956 * * [misc]simplify:  Extracting #7: cost 16 inf + 312
1550624533.957 * * [misc]simplify:  Extracting #8: cost 9 inf + 1489
1550624533.957 * * [misc]simplify:  Extracting #9: cost 0 inf + 3642
1550624533.957 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1550624533.957 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1550624533.957 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1550624533.959 * [enter]simplify:  Simplifying (exp 1)
1550624533.959 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624533.960 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624533.960 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624533.960 * [exit]simplify:  Simplified to E
1550624533.960 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1550624533.960 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1550624533.960 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1550624533.960 * * [misc]simplify:  iters left: 6 (9 enodes)
1550624533.962 * * [misc]simplify:  iters left: 5 (33 enodes)
1550624533.968 * * [misc]simplify:  iters left: 4 (50 enodes)
1550624533.977 * * [misc]simplify:  iters left: 3 (54 enodes)
1550624533.992 * * [misc]simplify:  iters left: 2 (56 enodes)
1550624534.008 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.008 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.008 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550624534.008 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550624534.008 * * [misc]simplify:  Extracting #4: cost 18 inf + 0
1550624534.008 * * [misc]simplify:  Extracting #5: cost 17 inf + 94
1550624534.009 * * [misc]simplify:  Extracting #6: cost 18 inf + 312
1550624534.009 * * [misc]simplify:  Extracting #7: cost 9 inf + 1659
1550624534.010 * * [misc]simplify:  Extracting #8: cost 3 inf + 3255
1550624534.011 * * [misc]simplify:  Extracting #9: cost 1 inf + 4029
1550624534.012 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1550624534.013 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1550624534.013 * [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)))))))
1550624534.013 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1550624534.014 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1550624534.014 * * [misc]simplify:  iters left: 5 (8 enodes)
1550624534.017 * * [misc]simplify:  iters left: 4 (28 enodes)
1550624534.026 * * [misc]simplify:  iters left: 3 (41 enodes)
1550624534.038 * * [misc]simplify:  iters left: 2 (45 enodes)
1550624534.050 * * [misc]simplify:  iters left: 1 (47 enodes)
1550624534.063 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.063 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.063 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550624534.063 * * [misc]simplify:  Extracting #3: cost 14 inf + 0
1550624534.063 * * [misc]simplify:  Extracting #4: cost 13 inf + 94
1550624534.064 * * [misc]simplify:  Extracting #5: cost 14 inf + 312
1550624534.064 * * [misc]simplify:  Extracting #6: cost 7 inf + 1429
1550624534.064 * * [misc]simplify:  Extracting #7: cost 1 inf + 2567
1550624534.065 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1550624534.066 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1550624534.066 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1550624534.066 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1550624534.066 * [enter]simplify:  Simplifying (exp (log 1))
1550624534.066 * * [misc]simplify:  iters left: 2 (3 enodes)
1550624534.069 * * [misc]simplify:  iters left: 1 (9 enodes)
1550624534.070 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.070 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624534.070 * [exit]simplify:  Simplified to 1
1550624534.070 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1550624534.070 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624534.070 * [enter]simplify:  Simplifying (cosh c)
1550624534.070 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624534.071 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.071 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550624534.071 * * [misc]simplify:  Extracting #2: cost 5 inf + 2
1550624534.071 * * [misc]simplify:  Extracting #3: cost 3 inf + 185
1550624534.071 * * [misc]simplify:  Extracting #4: cost 0 inf + 558
1550624534.071 * [exit]simplify:  Simplified to (cosh c)
1550624534.071 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624534.071 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1550624534.071 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1550624534.071 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1550624534.071 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1550624534.071 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1550624534.071 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1550624534.071 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1550624534.071 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624534.071 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624534.071 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624534.072 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624534.076 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.076 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.076 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624534.076 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624534.076 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624534.076 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624534.076 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624534.076 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624534.076 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550624534.076 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624534.077 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624534.077 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624534.078 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624534.081 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.081 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.081 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624534.081 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624534.081 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624534.081 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624534.081 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624534.081 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624534.082 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550624534.082 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624534.082 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624534.082 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624534.083 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624534.087 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.087 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.088 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624534.088 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624534.088 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624534.088 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624534.088 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624534.088 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624534.088 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550624534.088 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624534.089 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550624534.089 * * [misc]simplify:  iters left: 3 (6 enodes)
1550624534.090 * * [misc]simplify:  iters left: 2 (24 enodes)
1550624534.093 * * [misc]simplify:  iters left: 1 (37 enodes)
1550624534.099 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.099 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624534.099 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550624534.099 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550624534.099 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550624534.099 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550624534.099 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550624534.100 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550624534.100 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550624534.100 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550624534.100 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550624534.100 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624534.100 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550624534.100 * * [misc]simplify:  iters left: 3 (6 enodes)
1550624534.102 * * [misc]simplify:  iters left: 2 (24 enodes)
1550624534.105 * * [misc]simplify:  iters left: 1 (37 enodes)
1550624534.111 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.112 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624534.112 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550624534.112 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550624534.112 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550624534.112 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550624534.112 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550624534.112 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550624534.112 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550624534.113 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550624534.113 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550624534.113 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1550624534.113 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550624534.113 * * [misc]simplify:  iters left: 3 (6 enodes)
1550624534.114 * * [misc]simplify:  iters left: 2 (24 enodes)
1550624534.118 * * [misc]simplify:  iters left: 1 (37 enodes)
1550624534.126 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.126 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624534.126 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550624534.126 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550624534.126 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550624534.126 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550624534.127 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550624534.127 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550624534.128 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550624534.128 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550624534.128 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1550624534.128 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624534.129 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624534.129 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624534.131 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624534.137 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.137 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.138 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624534.138 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624534.138 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624534.138 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624534.139 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624534.139 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624534.139 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624534.139 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624534.139 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624534.140 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624534.142 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624534.149 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.149 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.149 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624534.149 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624534.149 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624534.149 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624534.149 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624534.149 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624534.149 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624534.149 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1550624534.150 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624534.150 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624534.151 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624534.154 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624534.154 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624534.154 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624534.154 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624534.154 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624534.155 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624534.155 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624534.155 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624534.155 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1550624534.155 * * * [misc]progress:  adding candidates to table
1550624534.830 * * [misc]progress:  iteration 3 / 4
1550624534.830 * * * [misc]progress:  picking best candidate
1550624534.917 * * * * [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)))))))>
1550624534.917 * * * [misc]progress:  localizing error
1550624534.940 * * * [misc]progress:  generating rewritten candidates
1550624534.940 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1550624534.941 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1550624534.941 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1550624534.941 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1550624534.945 * * * [misc]progress:  generating series expansions
1550624534.945 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1550624534.945 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.945 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624534.945 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.945 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.945 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.945 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.945 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.945 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.946 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.946 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.946 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.946 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.946 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.947 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.947 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624534.947 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.947 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.947 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.947 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.947 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.947 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.947 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.947 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.947 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.948 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.948 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624534.948 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.948 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624534.948 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.949 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.949 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.949 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.949 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.949 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.949 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.949 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.949 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.949 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.949 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.949 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.949 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.949 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.949 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.949 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.949 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.950 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.950 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.950 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.950 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.950 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624534.950 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1550624534.950 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.950 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624534.950 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.950 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.950 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.950 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.950 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.950 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.950 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.951 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.951 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.951 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.951 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.951 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.951 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624534.951 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.951 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.952 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.952 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.952 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.952 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.952 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.952 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.952 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.952 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.952 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.952 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.952 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.953 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.953 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.953 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.953 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.953 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.953 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.953 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.953 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.953 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624534.953 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.953 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624534.953 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.953 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.953 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.953 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.954 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.954 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.954 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.954 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.954 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.954 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.954 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.955 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624534.955 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1550624534.955 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.955 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624534.955 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.955 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.955 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.955 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.955 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.955 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.955 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.955 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.955 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.956 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.956 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.956 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.956 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624534.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.956 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.957 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.957 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.957 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.957 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.957 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.957 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.957 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.957 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.957 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.957 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.957 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.958 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.958 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.958 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.958 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624534.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.958 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624534.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.959 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.959 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624534.960 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1550624534.960 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624534.960 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1550624534.960 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550624534.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.960 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.960 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624534.960 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550624534.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.960 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.960 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624534.960 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1550624534.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624534.960 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.961 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624534.961 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1550624534.961 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624534.961 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624534.961 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624534.961 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624534.962 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550624534.962 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.962 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.962 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.963 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1550624534.963 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.965 * [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
1550624534.965 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.965 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.965 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.965 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.967 * [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
1550624534.967 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.973 * [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
1550624534.973 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.973 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.974 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.974 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1550624534.974 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624534.974 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1550624534.974 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550624534.974 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.974 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.974 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624534.974 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550624534.974 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.974 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.975 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624534.975 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1550624534.975 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624534.975 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.975 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624534.975 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1550624534.975 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624534.975 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624534.975 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624534.976 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1550624534.977 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550624534.977 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.977 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.977 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.977 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1550624534.978 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.979 * [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
1550624534.979 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.979 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.979 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.979 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.981 * [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
1550624534.981 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.984 * [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
1550624534.984 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.984 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.984 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.984 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1550624534.984 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624534.984 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1550624534.984 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550624534.984 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.985 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.985 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624534.985 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550624534.985 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.985 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.985 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624534.985 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1550624534.985 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624534.985 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.985 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624534.986 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1550624534.986 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624534.986 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624534.986 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624534.986 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1550624534.987 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550624534.987 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.987 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.987 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.988 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1550624534.988 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.990 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1550624534.990 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.990 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.990 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.990 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.992 * [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
1550624534.992 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.994 * [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
1550624534.995 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624534.995 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.995 * [misc]backup-simplify:  Simplify 0 into 0
1550624534.995 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1550624534.995 * * * [misc]progress:  simplifying candidates
1550624534.995 * * * * [misc]progress:  [ 1 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1550624534.995 * * * * [misc]progress:  [ 2 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1550624534.995 * * * * [misc]progress:  [ 3 / 57 ] 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))))))>
1550624534.995 * * * * [misc]progress:  [ 4 / 57 ] 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)))))))))>
1550624534.995 * * * * [misc]progress:  [ 5 / 57 ] 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)))))))))>
1550624534.995 * * * * [misc]progress:  [ 6 / 57 ] 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)))))))))>
1550624534.995 * * * * [misc]progress:  [ 7 / 57 ] 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)))))))))>
1550624534.996 * * * * [misc]progress:  [ 8 / 57 ] 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)))))))))>
1550624534.996 * * * * [misc]progress:  [ 9 / 57 ] 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))))))))>
1550624534.996 * * * * [misc]progress:  [ 10 / 57 ] 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)))))))))>
1550624534.996 * * * * [misc]progress:  [ 11 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550624534.996 * * * * [misc]progress:  [ 12 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550624534.996 * * * * [misc]progress:  [ 13 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 14 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 15 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 16 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 17 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 18 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 19 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 20 / 57 ] 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)))))))>
1550624534.996 * * * * [misc]progress:  [ 21 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550624534.997 * * * * [misc]progress:  [ 22 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550624534.997 * * * * [misc]progress:  [ 23 / 57 ] 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)))))))>
1550624534.997 * * * * [misc]progress:  [ 24 / 57 ] 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)))))))>
1550624534.997 * * * * [misc]progress:  [ 25 / 57 ] 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)))))))>
1550624534.997 * * * * [misc]progress:  [ 26 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550624534.997 * * * * [misc]progress:  [ 27 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1550624534.997 * * * * [misc]progress:  [ 28 / 57 ] 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)))))))>
1550624534.997 * * * * [misc]progress:  [ 29 / 57 ] 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)))))))>
1550624534.997 * * * * [misc]progress:  [ 30 / 57 ] 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)))))))>
1550624534.997 * * * * [misc]progress:  [ 31 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1550624534.997 * * * * [misc]progress:  [ 32 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1550624534.997 * * * * [misc]progress:  [ 33 / 57 ] 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)))))))))>
1550624534.998 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1550624534.998 * * [misc]simplify:  iters left: 6 (8 enodes)
1550624535.001 * * [misc]simplify:  iters left: 5 (32 enodes)
1550624535.011 * * [misc]simplify:  iters left: 4 (47 enodes)
1550624535.020 * * [misc]simplify:  iters left: 3 (51 enodes)
1550624535.027 * * [misc]simplify:  iters left: 2 (53 enodes)
1550624535.034 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.034 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.034 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550624535.034 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550624535.034 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1550624535.034 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1550624535.035 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1550624535.035 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1550624535.035 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1550624535.035 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1550624535.035 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1550624535.036 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1550624535.036 * [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)))))))))
1550624535.036 * * * * [misc]progress:  [ 34 / 57 ] 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)))))))))>
1550624535.036 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1550624535.036 * * [misc]simplify:  iters left: 4 (7 enodes)
1550624535.038 * * [misc]simplify:  iters left: 3 (27 enodes)
1550624535.042 * * [misc]simplify:  iters left: 2 (40 enodes)
1550624535.051 * * [misc]simplify:  iters left: 1 (44 enodes)
1550624535.062 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.062 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624535.062 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550624535.062 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1550624535.062 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1550624535.063 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1550624535.063 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1550624535.063 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1550624535.063 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1550624535.063 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1550624535.064 * [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)))))))))
1550624535.064 * * * * [misc]progress:  [ 35 / 57 ] 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))))))))>
1550624535.064 * [enter]simplify:  Simplifying (log 1)
1550624535.064 * * [misc]simplify:  iters left: 1 (2 enodes)
1550624535.065 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.065 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550624535.065 * [exit]simplify:  Simplified to 0
1550624535.065 * [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))))))))
1550624535.065 * * * * [misc]progress:  [ 36 / 57 ] 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))))))))>
1550624535.065 * * * * [misc]progress:  [ 37 / 57 ] 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)))))>
1550624535.065 * * * * [misc]progress:  [ 38 / 57 ] 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)))))))>
1550624535.066 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.066 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.067 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.070 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.070 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.070 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.070 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.070 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.070 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.070 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.071 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.071 * [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)))))))
1550624535.071 * * * * [misc]progress:  [ 39 / 57 ] 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)))))))))>
1550624535.071 * * * * [misc]progress:  [ 40 / 57 ] 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)))))))))>
1550624535.071 * * * * [misc]progress:  [ 41 / 57 ] 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)))))))))>
1550624535.071 * * * * [misc]progress:  [ 42 / 57 ] 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)))))))))>
1550624535.071 * * * * [misc]progress:  [ 43 / 57 ] 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)))))))))>
1550624535.071 * * * * [misc]progress:  [ 44 / 57 ] 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))))))))>
1550624535.071 * * * * [misc]progress:  [ 45 / 57 ] 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)))))))))>
1550624535.071 * * * * [misc]progress:  [ 46 / 57 ] 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)))))))>
1550624535.071 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.071 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.072 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.076 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.076 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.076 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.076 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.076 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.076 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.076 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.076 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.076 * [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)))))))
1550624535.076 * * * * [misc]progress:  [ 47 / 57 ] 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)))))))>
1550624535.077 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.077 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.078 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.081 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.081 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.081 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.082 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.084 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.084 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.084 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.085 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.085 * [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)))))))
1550624535.085 * * * * [misc]progress:  [ 48 / 57 ] 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)))))))>
1550624535.085 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.085 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.087 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.094 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.094 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.094 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.095 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.095 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.095 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.095 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.096 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.096 * [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)))))))
1550624535.096 * * * * [misc]progress:  [ 49 / 57 ] 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)))))))>
1550624535.096 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.096 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.099 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.106 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.106 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.106 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.106 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.106 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.106 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.107 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.107 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.107 * [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)))))))
1550624535.107 * * * * [misc]progress:  [ 50 / 57 ] 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)))))))>
1550624535.108 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.108 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.110 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.117 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.117 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.117 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.117 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.117 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.117 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.118 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.118 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.118 * [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)))))))
1550624535.118 * * * * [misc]progress:  [ 51 / 57 ] 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)))))))>
1550624535.119 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.119 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.121 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.127 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.127 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.128 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.128 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.128 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.128 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.128 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.129 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.129 * [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)))))))
1550624535.129 * * * * [misc]progress:  [ 52 / 57 ] 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)))))))>
1550624535.129 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.129 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.131 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.138 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.138 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.138 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.138 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.138 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.139 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.139 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.139 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.140 * [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)))))))
1550624535.140 * * * * [misc]progress:  [ 53 / 57 ] 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)))))))>
1550624535.140 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.140 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.142 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.148 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.149 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.149 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.149 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.149 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.149 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.149 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.149 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.149 * [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)))))))
1550624535.149 * * * * [misc]progress:  [ 54 / 57 ] 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)))))))>
1550624535.149 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624535.150 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624535.150 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624535.154 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.154 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624535.154 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624535.154 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624535.154 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624535.154 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624535.154 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624535.154 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624535.154 * [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)))))))
1550624535.155 * * * * [misc]progress:  [ 55 / 57 ] 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)))))))>
1550624535.155 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550624535.155 * * [misc]simplify:  iters left: 3 (6 enodes)
1550624535.156 * * [misc]simplify:  iters left: 2 (24 enodes)
1550624535.159 * * [misc]simplify:  iters left: 1 (37 enodes)
1550624535.165 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.165 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624535.165 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550624535.165 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550624535.165 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550624535.165 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550624535.165 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550624535.165 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550624535.165 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550624535.166 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550624535.166 * [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)))))))
1550624535.166 * * * * [misc]progress:  [ 56 / 57 ] 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)))))))>
1550624535.166 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550624535.166 * * [misc]simplify:  iters left: 3 (6 enodes)
1550624535.167 * * [misc]simplify:  iters left: 2 (24 enodes)
1550624535.171 * * [misc]simplify:  iters left: 1 (37 enodes)
1550624535.176 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.176 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624535.176 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550624535.176 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550624535.176 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550624535.176 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550624535.176 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550624535.177 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550624535.177 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550624535.178 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550624535.178 * [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)))))))
1550624535.178 * * * * [misc]progress:  [ 57 / 57 ] 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)))))))>
1550624535.178 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1550624535.178 * * [misc]simplify:  iters left: 3 (6 enodes)
1550624535.181 * * [misc]simplify:  iters left: 2 (24 enodes)
1550624535.188 * * [misc]simplify:  iters left: 1 (37 enodes)
1550624535.198 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624535.198 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550624535.199 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550624535.199 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1550624535.199 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1550624535.199 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1550624535.199 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1550624535.199 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1550624535.200 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1550624535.200 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1550624535.200 * [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)))))))
1550624535.201 * * * [misc]progress:  adding candidates to table
1550624535.997 * * [misc]progress:  iteration 4 / 4
1550624535.997 * * * [misc]progress:  picking best candidate
1550624536.067 * * * * [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)))))))))>
1550624536.067 * * * [misc]progress:  localizing error
1550624536.085 * * * [misc]progress:  generating rewritten candidates
1550624536.085 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1550624536.085 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1550624536.086 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1550624536.086 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1550624536.087 * * * [misc]progress:  generating series expansions
1550624536.087 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1550624536.087 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.087 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624536.087 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.087 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.087 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.087 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.087 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.088 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.088 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.089 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.089 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.089 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.089 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.089 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.089 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624536.090 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.090 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.090 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.090 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.090 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.091 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624536.091 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.091 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624536.091 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.091 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.091 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.092 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.092 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.092 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.092 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.092 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.092 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.092 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.092 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.092 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.092 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.092 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.092 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.092 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.092 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.092 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.092 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.093 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.093 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.093 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624536.093 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1550624536.093 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.093 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624536.093 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.093 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.093 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.093 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.093 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.093 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.093 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.093 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.093 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.094 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.094 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.094 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.094 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624536.094 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.094 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.094 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.095 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.095 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.095 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.095 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.095 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.095 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.095 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.095 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.096 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624536.096 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.096 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624536.096 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.096 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.096 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.096 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.096 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.096 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.096 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.096 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.097 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.097 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.097 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624536.097 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1550624536.097 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.097 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624536.097 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.098 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.098 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.098 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.098 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.098 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.098 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.098 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.098 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.098 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.098 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.099 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.099 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.099 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624536.099 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.099 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.099 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.099 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.099 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.099 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.099 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.099 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.100 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.100 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.100 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624536.101 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.101 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624536.101 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.101 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.101 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.101 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.101 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.101 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.101 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.101 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.102 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.102 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.102 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624536.102 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1550624536.102 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.102 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1550624536.103 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.103 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.103 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.103 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.103 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1550624536.103 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.103 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1550624536.103 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.103 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.103 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.103 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.103 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.103 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.103 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.104 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.104 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.104 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.104 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.104 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.104 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.104 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.104 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1550624536.104 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.104 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1550624536.104 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.104 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.104 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.104 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.105 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1550624536.105 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.105 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1550624536.105 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.105 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1550624536.105 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.105 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.105 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.105 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.105 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.105 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.105 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.105 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.105 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.106 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.106 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.106 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1550624536.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.106 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1550624536.106 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.106 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.106 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.106 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1550624536.107 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.107 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1550624536.107 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.107 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1550624536.107 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]taylor:  Taking taylor expansion of 0 in a
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.107 * [misc]backup-simplify:  Simplify 0 into 0
1550624536.108 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1550624536.108 * * * [misc]progress:  simplifying candidates
1550624536.108 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1550624536.108 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1550624536.108 * * * * [misc]progress:  [ 3 / 52 ] 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))))))))>
1550624536.108 * * * * [misc]progress:  [ 4 / 52 ] 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)))))))))))>
1550624536.108 * * * * [misc]progress:  [ 5 / 52 ] 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)))))))))))>
1550624536.108 * * * * [misc]progress:  [ 6 / 52 ] 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)))))))))))>
1550624536.108 * * * * [misc]progress:  [ 7 / 52 ] 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)))))))))))>
1550624536.108 * * * * [misc]progress:  [ 8 / 52 ] 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)))))))))))>
1550624536.108 * * * * [misc]progress:  [ 9 / 52 ] 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))))))))))>
1550624536.108 * * * * [misc]progress:  [ 10 / 52 ] 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)))))))))))>
1550624536.109 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550624536.109 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550624536.109 * * * * [misc]progress:  [ 13 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 14 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 15 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 16 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 17 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 18 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 19 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 20 / 52 ] 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)))))))))>
1550624536.109 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550624536.109 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550624536.109 * * * * [misc]progress:  [ 23 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 24 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 25 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 26 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 27 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 28 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 29 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 30 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550624536.110 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1550624536.110 * * * * [misc]progress:  [ 33 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 34 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 35 / 52 ] 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)))))))))>
1550624536.110 * * * * [misc]progress:  [ 36 / 52 ] 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)))))))))>
1550624536.111 * * * * [misc]progress:  [ 37 / 52 ] 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)))))))))>
1550624536.111 * * * * [misc]progress:  [ 38 / 52 ] 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)))))))))>
1550624536.111 * * * * [misc]progress:  [ 39 / 52 ] 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)))))))))>
1550624536.111 * * * * [misc]progress:  [ 40 / 52 ] 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)))))))))>
1550624536.111 * * * * [misc]progress:  [ 41 / 52 ] 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)))))))))>
1550624536.111 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.111 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.113 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.121 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.121 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.121 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.121 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.121 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.122 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.122 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.123 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.123 * [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)))))))))
1550624536.123 * * * * [misc]progress:  [ 42 / 52 ] 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)))))))))>
1550624536.123 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.123 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.125 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.132 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.132 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.132 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.132 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.132 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.133 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.133 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.133 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.133 * [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)))))))))
1550624536.133 * * * * [misc]progress:  [ 43 / 52 ] 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)))))))))>
1550624536.134 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.134 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.136 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.142 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.142 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.143 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.143 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.143 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.143 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.143 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.144 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.144 * [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)))))))))
1550624536.144 * * * * [misc]progress:  [ 44 / 52 ] 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)))))))))>
1550624536.144 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.144 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.146 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.153 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.153 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.153 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.154 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.154 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.154 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.154 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.155 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.155 * [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)))))))))
1550624536.155 * * * * [misc]progress:  [ 45 / 52 ] 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)))))))))>
1550624536.155 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.155 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.157 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.164 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.164 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.164 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.164 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.164 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.165 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.165 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.165 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.165 * [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)))))))))
1550624536.166 * * * * [misc]progress:  [ 46 / 52 ] 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)))))))))>
1550624536.166 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.166 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.171 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.178 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.178 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.178 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.178 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.178 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.178 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.179 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.179 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.179 * [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)))))))))
1550624536.179 * * * * [misc]progress:  [ 47 / 52 ] 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)))))))))>
1550624536.180 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.180 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.182 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.189 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.189 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.189 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.189 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.189 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.189 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.190 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.190 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.190 * [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)))))))))
1550624536.190 * * * * [misc]progress:  [ 48 / 52 ] 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)))))))))>
1550624536.191 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.191 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.193 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.200 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.200 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.200 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.200 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.201 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.201 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.201 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.202 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.202 * [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)))))))))
1550624536.202 * * * * [misc]progress:  [ 49 / 52 ] 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)))))))))>
1550624536.202 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.202 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.204 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.212 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.212 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.212 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.212 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.213 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.213 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.213 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.214 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.214 * [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)))))))))
1550624536.214 * * * * [misc]progress:  [ 50 / 52 ] 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)))))))))>
1550624536.214 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.215 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.217 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.224 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.224 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.224 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.224 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.224 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.224 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.225 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.225 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.225 * [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)))))))))
1550624536.225 * * * * [misc]progress:  [ 51 / 52 ] 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)))))))))>
1550624536.226 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.226 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.228 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.235 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.235 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.235 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.235 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.235 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.235 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.236 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.236 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.236 * [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)))))))))
1550624536.236 * * * * [misc]progress:  [ 52 / 52 ] 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)))))))))>
1550624536.237 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1550624536.237 * * [misc]simplify:  iters left: 2 (5 enodes)
1550624536.239 * * [misc]simplify:  iters left: 1 (21 enodes)
1550624536.246 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624536.246 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550624536.246 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550624536.246 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1550624536.246 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1550624536.246 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1550624536.247 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1550624536.247 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1550624536.247 * [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)))))))))
1550624536.247 * * * [misc]progress:  adding candidates to table
1550624537.159 * [misc]progress:  [Phase 3 of 3] Extracting.
1550624537.160 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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 (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1550624537.162 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1550624537.163 * * * * [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 (* (* (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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 (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1550624537.316 * * * * [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 (* (* (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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 (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1550624537.459 * * * * [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 (* (* (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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 (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1550624537.552 * * * * [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 (* (* (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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 (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1550624537.646 * * * * [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 (* (* (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (posit16->real (real->posit16 (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 (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1550624537.791 * * * [misc]regime:  Found split indices: #<option (#s(si 6 255))>
1550624537.791 * [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))))))
1550624537.791 * * [misc]simplify:  iters left: 6 (10 enodes)
1550624537.792 * * [misc]simplify:  iters left: 5 (11 enodes)
1550624537.792 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550624537.792 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550624537.792 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1550624537.792 * * [misc]simplify:  Extracting #3: cost 5 inf + 0
1550624537.792 * * [misc]simplify:  Extracting #4: cost 6 inf + 0
1550624537.792 * * [misc]simplify:  Extracting #5: cost 8 inf + 0
1550624537.792 * * [misc]simplify:  Extracting #6: cost 10 inf + 0
1550624537.792 * * [misc]simplify:  Extracting #7: cost 7 inf + 93
1550624537.792 * * [misc]simplify:  Extracting #8: cost 0 inf + 2391
1550624537.792 * [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))))))
1550624556.606 * [misc]regime-testing:  Baseline error score: 33.93763460863169
1550624556.607 * [misc]regime-testing:  Oracle error score: 33.70381935849969
1550624556.609 * [misc]regime-testing:  End program error score: 33.93763460863169