0.085 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.543 * * * [progress]: [2/2] Setting up program.
0.552 * [progress]: [Phase 2 of 3] Improving.
0.553 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.555 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.556 * * [simplify]: iteration 0: 5 enodes
0.565 * * [simplify]: iteration 1: 11 enodes
0.575 * * [simplify]: iteration 2: 14 enodes
0.581 * * [simplify]: iteration 3: 16 enodes
0.587 * * [simplify]: iteration complete: 16 enodes
0.616 * * [simplify]: Extracting #0: cost 1 inf + 0
0.617 * * [simplify]: Extracting #1: cost 3 inf + 0
0.617 * * [simplify]: Extracting #2: cost 7 inf + 0
0.617 * * [simplify]: Extracting #3: cost 5 inf + 94
0.617 * * [simplify]: Extracting #4: cost 4 inf + 438
0.618 * * [simplify]: Extracting #5: cost 0 inf + 812
0.618 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.622 * * [progress]: iteration 1 / 4
0.622 * * * [progress]: picking best candidate
0.642 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.642 * * * [progress]: localizing error
0.672 * * * [progress]: generating rewritten candidates
0.672 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.678 * * * [progress]: generating series expansions
0.678 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.693 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.693 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.695 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.698 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.698 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.699 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.699 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.700 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.700 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.701 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.702 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.702 * [taylor]: Taking taylor expansion of 0 in a
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [taylor]: Taking taylor expansion of 0 in a
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [taylor]: Taking taylor expansion of 0 in a
0.703 * [backup-simplify]: Simplify 0 into 0
0.703 * [backup-simplify]: Simplify 0 into 0
0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.706 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.706 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.708 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.709 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.709 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.710 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.711 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.711 * [taylor]: Taking taylor expansion of 0 in a
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [taylor]: Taking taylor expansion of 0 in a
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [taylor]: Taking taylor expansion of 0 in a
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.714 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.715 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.716 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.717 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.717 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.718 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.719 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.719 * [taylor]: Taking taylor expansion of 0 in a
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [taylor]: Taking taylor expansion of 0 in a
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [taylor]: Taking taylor expansion of 0 in a
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.720 * * * [progress]: simplifying candidates
0.720 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.720 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.721 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.721 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.721 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
0.721 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
0.721 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.721 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.721 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.721 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.721 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.721 * [simplify]: Simplifying:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.722 * * [simplify]: iteration 0: 13 enodes
0.734 * * [simplify]: iteration 1: 20 enodes
0.752 * * [simplify]: iteration 2: 25 enodes
0.775 * * [simplify]: iteration 3: 31 enodes
0.802 * * [simplify]: iteration 4: 39 enodes
0.839 * * [simplify]: iteration 5: 51 enodes
0.867 * * [simplify]: iteration 6: 77 enodes
0.930 * * [simplify]: iteration 7: 132 enodes
1.041 * * [simplify]: iteration 8: 316 enodes
1.736 * * [simplify]: iteration 9: 1046 enodes
6.329 * * [simplify]: iteration complete: 5000 enodes
6.329 * * [simplify]: Extracting #0: cost 8 inf + 0
6.330 * * [simplify]: Extracting #1: cost 175 inf + 0
6.336 * * [simplify]: Extracting #2: cost 1053 inf + 3
6.345 * * [simplify]: Extracting #3: cost 1084 inf + 162
6.360 * * [simplify]: Extracting #4: cost 1043 inf + 33859
6.418 * * [simplify]: Extracting #5: cost 472 inf + 589439
6.585 * * [simplify]: Extracting #6: cost 5 inf + 1100052
6.744 * * [simplify]: Extracting #7: cost 0 inf + 1100906
6.910 * * [simplify]: Extracting #8: cost 0 inf + 1100502
7.103 * * [simplify]: Extracting #9: cost 0 inf + 1100400
7.258 * [simplify]: Simplified to:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
7.258 * * * [progress]: adding candidates to table
7.371 * * [progress]: iteration 2 / 4
7.371 * * * [progress]: picking best candidate
7.413 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.413 * * * [progress]: localizing error
7.469 * * * [progress]: generating rewritten candidates
7.469 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
7.470 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
7.477 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.490 * * * [progress]: generating series expansions
7.490 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
7.491 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.491 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.491 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.492 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.492 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.492 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.492 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.493 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.493 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.495 * [taylor]: Taking taylor expansion of 0 in a
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [taylor]: Taking taylor expansion of 0 in a
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [taylor]: Taking taylor expansion of 0 in a
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.496 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.497 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.497 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.497 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.498 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.498 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.498 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.498 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.499 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.499 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.500 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.501 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.501 * [taylor]: Taking taylor expansion of 0 in a
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [taylor]: Taking taylor expansion of 0 in a
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [taylor]: Taking taylor expansion of 0 in a
7.502 * [backup-simplify]: Simplify 0 into 0
7.502 * [backup-simplify]: Simplify 0 into 0
7.502 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.503 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.503 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.504 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.504 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.504 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.505 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.505 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.506 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.506 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.507 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.508 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.508 * [taylor]: Taking taylor expansion of 0 in a
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [taylor]: Taking taylor expansion of 0 in a
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [taylor]: Taking taylor expansion of 0 in a
7.508 * [backup-simplify]: Simplify 0 into 0
7.508 * [backup-simplify]: Simplify 0 into 0
7.509 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.509 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
7.510 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.511 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
7.511 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.511 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.511 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.512 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.512 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.513 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.514 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.514 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.514 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.515 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.516 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.516 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.516 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.516 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.517 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.518 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.522 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.522 * [taylor]: Taking taylor expansion of 0 in a
7.522 * [backup-simplify]: Simplify 0 into 0
7.522 * [backup-simplify]: Simplify 0 into 0
7.524 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.525 * [backup-simplify]: Simplify 0 into 0
7.529 * [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
7.529 * [taylor]: Taking taylor expansion of 0 in a
7.529 * [backup-simplify]: Simplify 0 into 0
7.529 * [backup-simplify]: Simplify 0 into 0
7.529 * [backup-simplify]: Simplify 0 into 0
7.531 * [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
7.531 * [backup-simplify]: Simplify 0 into 0
7.535 * [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
7.535 * [taylor]: Taking taylor expansion of 0 in a
7.535 * [backup-simplify]: Simplify 0 into 0
7.535 * [backup-simplify]: Simplify 0 into 0
7.536 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.536 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.536 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
7.536 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.537 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.537 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.538 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.538 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.539 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.539 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.540 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.540 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.541 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.546 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.546 * [taylor]: Taking taylor expansion of 0 in a
7.546 * [backup-simplify]: Simplify 0 into 0
7.547 * [backup-simplify]: Simplify 0 into 0
7.548 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.548 * [backup-simplify]: Simplify 0 into 0
7.551 * [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
7.551 * [taylor]: Taking taylor expansion of 0 in a
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 0 into 0
7.553 * [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
7.553 * [backup-simplify]: Simplify 0 into 0
7.558 * [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
7.558 * [taylor]: Taking taylor expansion of 0 in a
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
7.559 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.559 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
7.559 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.559 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.560 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.560 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.560 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.561 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.561 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.561 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.562 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.562 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.562 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.562 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.563 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.563 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.565 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.565 * [taylor]: Taking taylor expansion of 0 in a
7.565 * [backup-simplify]: Simplify 0 into 0
7.565 * [backup-simplify]: Simplify 0 into 0
7.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.566 * [backup-simplify]: Simplify 0 into 0
7.569 * [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
7.569 * [taylor]: Taking taylor expansion of 0 in a
7.569 * [backup-simplify]: Simplify 0 into 0
7.569 * [backup-simplify]: Simplify 0 into 0
7.569 * [backup-simplify]: Simplify 0 into 0
7.571 * [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
7.571 * [backup-simplify]: Simplify 0 into 0
7.576 * [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
7.576 * [taylor]: Taking taylor expansion of 0 in a
7.576 * [backup-simplify]: Simplify 0 into 0
7.576 * [backup-simplify]: Simplify 0 into 0
7.577 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
7.577 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.577 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
7.577 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.577 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.578 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.578 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.578 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.578 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.579 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.579 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.579 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.579 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.579 * [taylor]: Taking taylor expansion of 0 in a
7.579 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [taylor]: Taking taylor expansion of 0 in a
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [taylor]: Taking taylor expansion of 0 in a
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.581 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.581 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.581 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.581 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.581 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.582 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.582 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.582 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.582 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [taylor]: Taking taylor expansion of 0 in a
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [taylor]: Taking taylor expansion of 0 in a
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [taylor]: Taking taylor expansion of 0 in a
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.584 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.585 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.585 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.585 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.586 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.586 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.587 * [taylor]: Taking taylor expansion of 0 in a
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [taylor]: Taking taylor expansion of 0 in a
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [taylor]: Taking taylor expansion of 0 in a
7.587 * [backup-simplify]: Simplify 0 into 0
7.587 * [backup-simplify]: Simplify 0 into 0
7.588 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.588 * * * [progress]: simplifying candidates
7.588 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
7.588 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
7.588 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
7.588 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
7.588 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
7.588 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.588 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
7.588 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
7.588 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
7.588 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
7.588 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
7.588 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
7.589 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
7.589 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
7.589 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
7.589 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
7.589 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.589 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
7.589 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
7.589 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
7.589 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
7.589 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
7.589 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
7.589 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.589 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.589 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.589 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.589 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.589 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.589 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.589 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.589 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.590 * [simplify]: Simplifying:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
7.590 * * [simplify]: iteration 0: 41 enodes
7.611 * * [simplify]: iteration 1: 65 enodes
7.634 * * [simplify]: iteration 2: 89 enodes
7.675 * * [simplify]: iteration 3: 132 enodes
7.767 * * [simplify]: iteration 4: 196 enodes
7.885 * * [simplify]: iteration 5: 355 enodes
8.151 * * [simplify]: iteration 6: 708 enodes
8.970 * * [simplify]: iteration 7: 1727 enodes
11.489 * * [simplify]: iteration complete: 5000 enodes
11.489 * * [simplify]: Extracting #0: cost 22 inf + 0
11.490 * * [simplify]: Extracting #1: cost 360 inf + 3
11.497 * * [simplify]: Extracting #2: cost 946 inf + 1003
11.507 * * [simplify]: Extracting #3: cost 1060 inf + 8148
11.519 * * [simplify]: Extracting #4: cost 991 inf + 14704
11.535 * * [simplify]: Extracting #5: cost 885 inf + 39924
11.579 * * [simplify]: Extracting #6: cost 542 inf + 195423
11.637 * * [simplify]: Extracting #7: cost 230 inf + 382242
11.764 * * [simplify]: Extracting #8: cost 87 inf + 542860
11.871 * * [simplify]: Extracting #9: cost 0 inf + 663029
11.991 * * [simplify]: Extracting #10: cost 0 inf + 660760
12.145 * * [simplify]: Extracting #11: cost 0 inf + 660591
12.295 * [simplify]: Simplified to:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (fmod (cosh c) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
12.297 * * * [progress]: adding candidates to table
12.740 * * [progress]: iteration 3 / 4
12.740 * * * [progress]: picking best candidate
12.902 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
12.902 * * * [progress]: localizing error
12.992 * * * [progress]: generating rewritten candidates
12.992 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
12.994 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
12.995 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
12.997 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
13.002 * * * [progress]: generating series expansions
13.003 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
13.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.003 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
13.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.004 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.004 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.005 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.005 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.007 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.007 * [taylor]: Taking taylor expansion of 0 in a
13.007 * [backup-simplify]: Simplify 0 into 0
13.007 * [backup-simplify]: Simplify 0 into 0
13.007 * [backup-simplify]: Simplify 0 into 0
13.007 * [taylor]: Taking taylor expansion of 0 in a
13.007 * [backup-simplify]: Simplify 0 into 0
13.007 * [backup-simplify]: Simplify 0 into 0
13.007 * [backup-simplify]: Simplify 0 into 0
13.007 * [backup-simplify]: Simplify 0 into 0
13.007 * [taylor]: Taking taylor expansion of 0 in a
13.008 * [backup-simplify]: Simplify 0 into 0
13.008 * [backup-simplify]: Simplify 0 into 0
13.008 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.009 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.009 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
13.009 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.010 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.010 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.011 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.011 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.011 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.011 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.012 * [taylor]: Taking taylor expansion of 0 in a
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [taylor]: Taking taylor expansion of 0 in a
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [taylor]: Taking taylor expansion of 0 in a
13.012 * [backup-simplify]: Simplify 0 into 0
13.012 * [backup-simplify]: Simplify 0 into 0
13.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
13.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.013 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
13.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.014 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.014 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.014 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.014 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.015 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.015 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.016 * [taylor]: Taking taylor expansion of 0 in a
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [taylor]: Taking taylor expansion of 0 in a
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [taylor]: Taking taylor expansion of 0 in a
13.016 * [backup-simplify]: Simplify 0 into 0
13.016 * [backup-simplify]: Simplify 0 into 0
13.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
13.017 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
13.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.017 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
13.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.018 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.018 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.018 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.018 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.018 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.019 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.019 * [taylor]: Taking taylor expansion of 0 in a
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [taylor]: Taking taylor expansion of 0 in a
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [taylor]: Taking taylor expansion of 0 in a
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.020 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.020 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
13.020 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.020 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.020 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.021 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.021 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.022 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.022 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.022 * [taylor]: Taking taylor expansion of 0 in a
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [taylor]: Taking taylor expansion of 0 in a
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [taylor]: Taking taylor expansion of 0 in a
13.022 * [backup-simplify]: Simplify 0 into 0
13.022 * [backup-simplify]: Simplify 0 into 0
13.023 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
13.023 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.023 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
13.023 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.024 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.024 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.024 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.024 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.025 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.025 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.026 * [taylor]: Taking taylor expansion of 0 in a
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [taylor]: Taking taylor expansion of 0 in a
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [taylor]: Taking taylor expansion of 0 in a
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
13.026 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
13.027 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.027 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
13.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.027 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.028 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.028 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.028 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.028 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.028 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.029 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.029 * [taylor]: Taking taylor expansion of 0 in a
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [taylor]: Taking taylor expansion of 0 in a
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [taylor]: Taking taylor expansion of 0 in a
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.030 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
13.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.032 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.032 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.032 * [taylor]: Taking taylor expansion of 0 in a
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [taylor]: Taking taylor expansion of 0 in a
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [taylor]: Taking taylor expansion of 0 in a
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
13.033 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.033 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
13.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.034 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.034 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.034 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.034 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.034 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.035 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.035 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.035 * [taylor]: Taking taylor expansion of 0 in a
13.035 * [backup-simplify]: Simplify 0 into 0
13.035 * [backup-simplify]: Simplify 0 into 0
13.035 * [backup-simplify]: Simplify 0 into 0
13.036 * [taylor]: Taking taylor expansion of 0 in a
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [taylor]: Taking taylor expansion of 0 in a
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
13.036 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
13.037 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
13.037 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
13.037 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
13.037 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.037 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.038 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
13.038 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
13.038 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.038 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
13.038 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
13.038 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.039 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.040 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
13.040 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
13.040 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.041 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.041 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
13.042 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
13.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
13.045 * [taylor]: Taking taylor expansion of 0 in a
13.045 * [backup-simplify]: Simplify 0 into 0
13.045 * [backup-simplify]: Simplify 0 into 0
13.047 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
13.047 * [backup-simplify]: Simplify 0 into 0
13.051 * [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
13.051 * [taylor]: Taking taylor expansion of 0 in a
13.051 * [backup-simplify]: Simplify 0 into 0
13.051 * [backup-simplify]: Simplify 0 into 0
13.051 * [backup-simplify]: Simplify 0 into 0
13.056 * [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
13.056 * [backup-simplify]: Simplify 0 into 0
13.063 * [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
13.063 * [taylor]: Taking taylor expansion of 0 in a
13.063 * [backup-simplify]: Simplify 0 into 0
13.063 * [backup-simplify]: Simplify 0 into 0
13.064 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
13.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.065 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
13.065 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
13.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.066 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.067 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.067 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
13.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.069 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.069 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
13.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.070 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.071 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.071 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
13.071 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.072 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.073 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.074 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.077 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
13.077 * [taylor]: Taking taylor expansion of 0 in a
13.077 * [backup-simplify]: Simplify 0 into 0
13.077 * [backup-simplify]: Simplify 0 into 0
13.079 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
13.080 * [backup-simplify]: Simplify 0 into 0
13.084 * [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
13.085 * [taylor]: Taking taylor expansion of 0 in a
13.085 * [backup-simplify]: Simplify 0 into 0
13.085 * [backup-simplify]: Simplify 0 into 0
13.085 * [backup-simplify]: Simplify 0 into 0
13.090 * [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
13.090 * [backup-simplify]: Simplify 0 into 0
13.098 * [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
13.098 * [taylor]: Taking taylor expansion of 0 in a
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
13.103 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.103 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
13.103 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
13.103 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.104 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.105 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.105 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
13.105 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.107 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.107 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
13.107 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.107 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.108 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.108 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
13.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.108 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.109 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.109 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.111 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
13.111 * [taylor]: Taking taylor expansion of 0 in a
13.111 * [backup-simplify]: Simplify 0 into 0
13.111 * [backup-simplify]: Simplify 0 into 0
13.112 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
13.112 * [backup-simplify]: Simplify 0 into 0
13.115 * [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
13.115 * [taylor]: Taking taylor expansion of 0 in a
13.115 * [backup-simplify]: Simplify 0 into 0
13.115 * [backup-simplify]: Simplify 0 into 0
13.115 * [backup-simplify]: Simplify 0 into 0
13.117 * [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
13.118 * [backup-simplify]: Simplify 0 into 0
13.122 * [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
13.122 * [taylor]: Taking taylor expansion of 0 in a
13.122 * [backup-simplify]: Simplify 0 into 0
13.122 * [backup-simplify]: Simplify 0 into 0
13.122 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
13.122 * * * [progress]: simplifying candidates
13.122 * * * * [progress]: [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
13.123 * * * * [progress]: [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
13.123 * * * * [progress]: [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.123 * * * * [progress]: [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
13.123 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
13.124 * * * * [progress]: [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
13.124 * * * * [progress]: [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
13.124 * * * * [progress]: [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
13.124 * * * * [progress]: [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
13.124 * * * * [progress]: [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
13.124 * * * * [progress]: [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
13.124 * * * * [progress]: [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
13.124 * * * * [progress]: [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
13.124 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
13.124 * * * * [progress]: [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.124 * * * * [progress]: [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
13.125 * [simplify]: Simplifying:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
13.125 * * [simplify]: iteration 0: 26 enodes
13.146 * * [simplify]: iteration 1: 40 enodes
13.181 * * [simplify]: iteration 2: 50 enodes
13.205 * * [simplify]: iteration 3: 62 enodes
13.238 * * [simplify]: iteration 4: 82 enodes
13.280 * * [simplify]: iteration 5: 126 enodes
13.370 * * [simplify]: iteration 6: 209 enodes
13.515 * * [simplify]: iteration 7: 406 enodes
13.855 * * [simplify]: iteration 8: 999 enodes
15.862 * * [simplify]: iteration 9: 3280 enodes
19.290 * * [simplify]: iteration complete: 5002 enodes
19.291 * * [simplify]: Extracting #0: cost 18 inf + 0
19.291 * * [simplify]: Extracting #1: cost 305 inf + 1
19.295 * * [simplify]: Extracting #2: cost 1023 inf + 518
19.299 * * [simplify]: Extracting #3: cost 1121 inf + 5297
19.313 * * [simplify]: Extracting #4: cost 885 inf + 115088
19.368 * * [simplify]: Extracting #5: cost 393 inf + 569373
19.506 * * [simplify]: Extracting #6: cost 29 inf + 983652
19.680 * * [simplify]: Extracting #7: cost 0 inf + 1018762
19.834 * * [simplify]: Extracting #8: cost 0 inf + 1018682
20.002 * [simplify]: Simplified to:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
20.005 * * * [progress]: adding candidates to table
20.470 * * [progress]: iteration 4 / 4
20.470 * * * [progress]: picking best candidate
20.681 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.681 * * * [progress]: localizing error
20.830 * * * [progress]: generating rewritten candidates
20.830 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
20.831 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
20.832 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
20.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
20.834 * * * [progress]: generating series expansions
20.834 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
20.835 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.835 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.835 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.835 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.835 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.835 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.835 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.836 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.836 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.836 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.836 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.837 * [taylor]: Taking taylor expansion of 0 in a
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [taylor]: Taking taylor expansion of 0 in a
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [taylor]: Taking taylor expansion of 0 in a
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.838 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.838 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.838 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.838 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.838 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.838 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.838 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.839 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.839 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.840 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.841 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.841 * [taylor]: Taking taylor expansion of 0 in a
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [taylor]: Taking taylor expansion of 0 in a
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [taylor]: Taking taylor expansion of 0 in a
20.841 * [backup-simplify]: Simplify 0 into 0
20.841 * [backup-simplify]: Simplify 0 into 0
20.842 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.843 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.843 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.844 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.845 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.845 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.846 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.846 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.847 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.848 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.848 * [taylor]: Taking taylor expansion of 0 in a
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [taylor]: Taking taylor expansion of 0 in a
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [taylor]: Taking taylor expansion of 0 in a
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.849 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.849 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
20.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.850 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.850 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.851 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.851 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.852 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.852 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.852 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.853 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.853 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.854 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.854 * [taylor]: Taking taylor expansion of 0 in a
20.854 * [backup-simplify]: Simplify 0 into 0
20.854 * [backup-simplify]: Simplify 0 into 0
20.854 * [backup-simplify]: Simplify 0 into 0
20.854 * [taylor]: Taking taylor expansion of 0 in a
20.854 * [backup-simplify]: Simplify 0 into 0
20.854 * [backup-simplify]: Simplify 0 into 0
20.854 * [backup-simplify]: Simplify 0 into 0
20.854 * [backup-simplify]: Simplify 0 into 0
20.854 * [taylor]: Taking taylor expansion of 0 in a
20.855 * [backup-simplify]: Simplify 0 into 0
20.855 * [backup-simplify]: Simplify 0 into 0
20.855 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.856 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.856 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.856 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.857 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.857 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.859 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.861 * [taylor]: Taking taylor expansion of 0 in a
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [taylor]: Taking taylor expansion of 0 in a
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [taylor]: Taking taylor expansion of 0 in a
20.861 * [backup-simplify]: Simplify 0 into 0
20.861 * [backup-simplify]: Simplify 0 into 0
20.862 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.863 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.864 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.867 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.867 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.867 * [taylor]: Taking taylor expansion of 0 in a
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [taylor]: Taking taylor expansion of 0 in a
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [taylor]: Taking taylor expansion of 0 in a
20.868 * [backup-simplify]: Simplify 0 into 0
20.868 * [backup-simplify]: Simplify 0 into 0
20.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.869 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
20.870 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.870 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.870 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.871 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.874 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.874 * [taylor]: Taking taylor expansion of 0 in a
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [taylor]: Taking taylor expansion of 0 in a
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [taylor]: Taking taylor expansion of 0 in a
20.874 * [backup-simplify]: Simplify 0 into 0
20.874 * [backup-simplify]: Simplify 0 into 0
20.875 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.876 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.876 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.877 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.877 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.878 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.878 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.879 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.879 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.880 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.880 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.881 * [taylor]: Taking taylor expansion of 0 in a
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [taylor]: Taking taylor expansion of 0 in a
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [taylor]: Taking taylor expansion of 0 in a
20.881 * [backup-simplify]: Simplify 0 into 0
20.881 * [backup-simplify]: Simplify 0 into 0
20.882 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.883 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.885 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.885 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.886 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.886 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.887 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.888 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.888 * [taylor]: Taking taylor expansion of 0 in a
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [taylor]: Taking taylor expansion of 0 in a
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [taylor]: Taking taylor expansion of 0 in a
20.888 * [backup-simplify]: Simplify 0 into 0
20.888 * [backup-simplify]: Simplify 0 into 0
20.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.889 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
20.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.890 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.891 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.891 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.892 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.892 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.892 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.892 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.894 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.894 * [taylor]: Taking taylor expansion of 0 in a
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [taylor]: Taking taylor expansion of 0 in a
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [taylor]: Taking taylor expansion of 0 in a
20.894 * [backup-simplify]: Simplify 0 into 0
20.894 * [backup-simplify]: Simplify 0 into 0
20.895 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.896 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.896 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.898 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.899 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.901 * [taylor]: Taking taylor expansion of 0 in a
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [taylor]: Taking taylor expansion of 0 in a
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [taylor]: Taking taylor expansion of 0 in a
20.901 * [backup-simplify]: Simplify 0 into 0
20.901 * [backup-simplify]: Simplify 0 into 0
20.902 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.903 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.903 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.904 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.904 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.905 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.906 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.907 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.908 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.908 * [taylor]: Taking taylor expansion of 0 in a
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [taylor]: Taking taylor expansion of 0 in a
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [taylor]: Taking taylor expansion of 0 in a
20.908 * [backup-simplify]: Simplify 0 into 0
20.908 * [backup-simplify]: Simplify 0 into 0
20.910 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.910 * * * [progress]: simplifying candidates
20.910 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))>
20.910 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
20.910 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
20.910 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
20.910 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
20.910 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
20.910 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
20.911 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))))>
20.911 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.911 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.912 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.913 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.914 * [simplify]: Simplifying:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
20.915 * * [simplify]: iteration 0: 13 enodes
20.928 * * [simplify]: iteration 1: 20 enodes
20.947 * * [simplify]: iteration 2: 25 enodes
20.970 * * [simplify]: iteration 3: 31 enodes
20.985 * * [simplify]: iteration 4: 39 enodes
21.001 * * [simplify]: iteration 5: 51 enodes
21.039 * * [simplify]: iteration 6: 77 enodes
21.076 * * [simplify]: iteration 7: 132 enodes
21.255 * * [simplify]: iteration 8: 316 enodes
21.890 * * [simplify]: iteration 9: 1046 enodes
26.769 * * [simplify]: iteration complete: 5000 enodes
26.769 * * [simplify]: Extracting #0: cost 8 inf + 0
26.769 * * [simplify]: Extracting #1: cost 175 inf + 0
26.775 * * [simplify]: Extracting #2: cost 1053 inf + 3
26.780 * * [simplify]: Extracting #3: cost 1084 inf + 162
26.787 * * [simplify]: Extracting #4: cost 1043 inf + 33859
26.851 * * [simplify]: Extracting #5: cost 472 inf + 589439
27.007 * * [simplify]: Extracting #6: cost 5 inf + 1100052
27.169 * * [simplify]: Extracting #7: cost 0 inf + 1100906
27.327 * * [simplify]: Extracting #8: cost 0 inf + 1100502
27.479 * * [simplify]: Extracting #9: cost 0 inf + 1100400
27.616 * [simplify]: Simplified to:
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
27.620 * * * [progress]: adding candidates to table
28.122 * [progress]: [Phase 3 of 3] Extracting.
28.122 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (pow E (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)))))))>)
28.132 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
28.133 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (pow E (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)))))))>)
28.413 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (pow E (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)))))))>)
28.698 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (pow E (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)))))))>)
28.993 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (pow E (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)))))))>)
29.296 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (pow E (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)))))))>)
29.560 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
29.560 * [simplify]: Simplifying:
  (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
29.561 * * [simplify]: iteration 0: 12 enodes
29.562 * * [simplify]: iteration 1: 14 enodes
29.564 * * [simplify]: iteration complete: 14 enodes
29.564 * * [simplify]: Extracting #0: cost 1 inf + 0
29.564 * * [simplify]: Extracting #1: cost 2 inf + 0
29.564 * * [simplify]: Extracting #2: cost 3 inf + 0
29.564 * * [simplify]: Extracting #3: cost 5 inf + 0
29.564 * * [simplify]: Extracting #4: cost 7 inf + 0
29.564 * * [simplify]: Extracting #5: cost 8 inf + 0
29.564 * * [simplify]: Extracting #6: cost 10 inf + 0
29.564 * * [simplify]: Extracting #7: cost 12 inf + 0
29.564 * * [simplify]: Extracting #8: cost 9 inf + 93
29.564 * * [simplify]: Extracting #9: cost 0 inf + 3485
29.565 * [simplify]: Simplified to:
  (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))
54.384 * [regime-testing]: Baseline error score: 33.62865739796626
54.413 * [regime-testing]: Oracle error score: 33.43229270254064
54.473 * [regime-testing]: End program error score: 33.62865739796626