0.096 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.623 * * * [progress]: [2/2] Setting up program.
0.630 * [progress]: [Phase 2 of 3] Improving.
0.631 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.632 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.633 * * [simplify]: iteration 0: 5 enodes
0.640 * * [simplify]: iteration 1: 11 enodes
0.643 * * [simplify]: iteration 2: 14 enodes
0.648 * * [simplify]: iteration 3: 16 enodes
0.652 * * [simplify]: iteration complete: 16 enodes
0.652 * * [simplify]: Extracting #0: cost 1 inf + 0
0.652 * * [simplify]: Extracting #1: cost 3 inf + 0
0.653 * * [simplify]: Extracting #2: cost 7 inf + 0
0.653 * * [simplify]: Extracting #3: cost 5 inf + 94
0.653 * * [simplify]: Extracting #4: cost 4 inf + 438
0.653 * * [simplify]: Extracting #5: cost 0 inf + 812
0.653 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.656 * * [progress]: iteration 1 / 4
0.656 * * * [progress]: picking best candidate
0.662 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.662 * * * [progress]: localizing error
0.684 * * * [progress]: generating rewritten candidates
0.685 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.689 * * * [progress]: generating series expansions
0.689 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.692 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.694 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.695 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.695 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.695 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.695 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.695 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.696 * [taylor]: Taking taylor expansion of 0 in a
0.696 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [taylor]: Taking taylor expansion of 0 in a
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [taylor]: Taking taylor expansion of 0 in a
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.699 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.700 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.700 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.700 * [taylor]: Taking taylor expansion of 0 in a
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [taylor]: Taking taylor expansion of 0 in a
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [taylor]: Taking taylor expansion of 0 in a
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.701 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.701 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 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.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.702 * * * [progress]: simplifying candidates
0.702 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.703 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.703 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.703 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.703 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.703 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.704 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.704 * * [simplify]: iteration 0: 15 enodes
0.708 * * [simplify]: iteration 1: 22 enodes
0.715 * * [simplify]: iteration 2: 27 enodes
0.723 * * [simplify]: iteration 3: 33 enodes
0.752 * * [simplify]: iteration 4: 41 enodes
0.765 * * [simplify]: iteration 5: 53 enodes
0.778 * * [simplify]: iteration 6: 88 enodes
0.817 * * [simplify]: iteration 7: 383 enodes
0.977 * * [simplify]: iteration 8: 719 enodes
1.118 * * [simplify]: iteration 9: 1202 enodes
1.416 * * [simplify]: iteration 10: 2015 enodes
1.751 * * [simplify]: iteration complete: 2015 enodes
1.751 * * [simplify]: Extracting #0: cost 10 inf + 0
1.751 * * [simplify]: Extracting #1: cost 86 inf + 0
1.753 * * [simplify]: Extracting #2: cost 363 inf + 2
1.757 * * [simplify]: Extracting #3: cost 447 inf + 7284
1.768 * * [simplify]: Extracting #4: cost 371 inf + 69192
1.812 * * [simplify]: Extracting #5: cost 201 inf + 235048
1.867 * * [simplify]: Extracting #6: cost 51 inf + 393137
1.930 * * [simplify]: Extracting #7: cost 0 inf + 448097
1.997 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.998 * * * [progress]: adding candidates to table
2.083 * * [progress]: iteration 2 / 4
2.083 * * * [progress]: picking best candidate
2.127 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.127 * * * [progress]: localizing error
2.143 * * * [progress]: generating rewritten candidates
2.143 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
2.143 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.145 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.148 * * * [progress]: generating series expansions
2.148 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
2.148 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.148 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.148 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.148 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.148 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.148 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.148 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.148 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.148 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.148 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.148 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.148 * [taylor]: Taking taylor expansion of 0 in a
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [taylor]: Taking taylor expansion of 0 in a
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [taylor]: Taking taylor expansion of 0 in a
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.149 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.149 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.149 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.149 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.149 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.149 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.149 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.149 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.149 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.149 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.149 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.149 * [taylor]: Taking taylor expansion of 0 in a
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [taylor]: Taking taylor expansion of 0 in a
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [taylor]: Taking taylor expansion of 0 in a
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.150 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.150 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.150 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.150 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.150 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.150 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.150 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.150 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.150 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.150 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.150 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.150 * [taylor]: Taking taylor expansion of 0 in a
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [taylor]: Taking taylor expansion of 0 in a
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [taylor]: Taking taylor expansion of 0 in a
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.151 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.151 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.151 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.151 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.151 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.151 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.151 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.151 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.151 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.151 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.151 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.151 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.151 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.151 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.151 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.151 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.151 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.151 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.151 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.151 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.152 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.152 * [taylor]: Taking taylor expansion of 0 in a
2.152 * [backup-simplify]: Simplify 0 into 0
2.152 * [backup-simplify]: Simplify 0 into 0
2.153 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.153 * [backup-simplify]: Simplify 0 into 0
2.155 * [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
2.155 * [taylor]: Taking taylor expansion of 0 in a
2.155 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify 0 into 0
2.156 * [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
2.156 * [backup-simplify]: Simplify 0 into 0
2.157 * [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
2.158 * [taylor]: Taking taylor expansion of 0 in a
2.158 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.158 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.158 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.158 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.158 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.158 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.158 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.158 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.158 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.158 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.159 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.159 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.159 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.159 * [taylor]: Taking taylor expansion of 0 in a
2.159 * [backup-simplify]: Simplify 0 into 0
2.159 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.160 * [backup-simplify]: Simplify 0 into 0
2.161 * [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
2.161 * [taylor]: Taking taylor expansion of 0 in a
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 0 into 0
2.162 * [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
2.162 * [backup-simplify]: Simplify 0 into 0
2.164 * [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
2.164 * [taylor]: Taking taylor expansion of 0 in a
2.164 * [backup-simplify]: Simplify 0 into 0
2.164 * [backup-simplify]: Simplify 0 into 0
2.164 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
2.164 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.164 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.164 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.164 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.164 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.164 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.164 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.164 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.164 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.164 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.165 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.165 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.165 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.165 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.165 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.165 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.165 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.165 * [taylor]: Taking taylor expansion of 0 in a
2.165 * [backup-simplify]: Simplify 0 into 0
2.165 * [backup-simplify]: Simplify 0 into 0
2.166 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.166 * [backup-simplify]: Simplify 0 into 0
2.167 * [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
2.167 * [taylor]: Taking taylor expansion of 0 in a
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 0 into 0
2.168 * [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
2.168 * [backup-simplify]: Simplify 0 into 0
2.171 * [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
2.171 * [taylor]: Taking taylor expansion of 0 in a
2.171 * [backup-simplify]: Simplify 0 into 0
2.171 * [backup-simplify]: Simplify 0 into 0
2.171 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
2.171 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.172 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.172 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.172 * [taylor]: Taking taylor expansion of 0 in a
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [taylor]: Taking taylor expansion of 0 in a
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 0 into 0
2.173 * [taylor]: Taking taylor expansion of 0 in a
2.173 * [backup-simplify]: Simplify 0 into 0
2.173 * [backup-simplify]: Simplify 0 into 0
2.173 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.173 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.173 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.174 * [taylor]: Taking taylor expansion of 0 in a
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [taylor]: Taking taylor expansion of 0 in a
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [taylor]: Taking taylor expansion of 0 in a
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.174 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.174 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.174 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.175 * [taylor]: Taking taylor expansion of 0 in a
2.175 * [backup-simplify]: Simplify 0 into 0
2.175 * [backup-simplify]: Simplify 0 into 0
2.175 * [backup-simplify]: Simplify 0 into 0
2.175 * [taylor]: Taking taylor expansion of 0 in a
2.175 * [backup-simplify]: Simplify 0 into 0
2.175 * [backup-simplify]: Simplify 0 into 0
2.176 * [backup-simplify]: Simplify 0 into 0
2.176 * [backup-simplify]: Simplify 0 into 0
2.176 * [taylor]: Taking taylor expansion of 0 in a
2.176 * [backup-simplify]: Simplify 0 into 0
2.176 * [backup-simplify]: Simplify 0 into 0
2.176 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.176 * * * [progress]: simplifying candidates
2.176 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
2.176 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
2.176 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
2.176 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.176 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
2.176 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
2.176 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
2.176 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
2.176 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
2.176 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
2.177 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
2.177 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
2.177 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.177 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
2.177 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
2.177 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
2.178 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
2.178 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
2.178 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
2.178 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
2.178 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
2.178 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.178 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
2.178 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
2.178 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.178 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.178 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.179 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.179 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.179 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.179 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.179 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.179 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.180 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (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 (log (fmod (cosh c) (log1p a))))
  (expm1 (exp (log (fmod (cosh c) (log1p a)))))
  (log1p (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)))))
  (real->posit16 (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))
2.181 * * [simplify]: iteration 0: 47 enodes
2.193 * * [simplify]: iteration 1: 71 enodes
2.201 * * [simplify]: iteration 2: 95 enodes
2.218 * * [simplify]: iteration 3: 139 enodes
2.237 * * [simplify]: iteration 4: 208 enodes
2.269 * * [simplify]: iteration 5: 368 enodes
2.355 * * [simplify]: iteration 6: 671 enodes
2.580 * * [simplify]: iteration 7: 1509 enodes
2.810 * * [simplify]: iteration 8: 2006 enodes
3.129 * * [simplify]: iteration complete: 2006 enodes
3.129 * * [simplify]: Extracting #0: cost 26 inf + 0
3.129 * * [simplify]: Extracting #1: cost 164 inf + 3
3.132 * * [simplify]: Extracting #2: cost 317 inf + 286
3.135 * * [simplify]: Extracting #3: cost 314 inf + 1897
3.143 * * [simplify]: Extracting #4: cost 251 inf + 28501
3.167 * * [simplify]: Extracting #5: cost 103 inf + 107763
3.210 * * [simplify]: Extracting #6: cost 30 inf + 172503
3.243 * * [simplify]: Extracting #7: cost 1 inf + 200464
3.302 * * [simplify]: Extracting #8: cost 0 inf + 200748
3.335 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (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 (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (real->posit16 (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))
3.337 * * * [progress]: adding candidates to table
3.609 * * [progress]: iteration 3 / 4
3.609 * * * [progress]: picking best candidate
3.666 * * * * [pick]: Picked  #<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))))))>
3.666 * * * [progress]: localizing error
3.696 * * * [progress]: generating rewritten candidates
3.696 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
3.697 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
3.697 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
3.698 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.700 * * * [progress]: generating series expansions
3.700 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
3.700 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.700 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.701 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.701 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.701 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.701 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.701 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.701 * [taylor]: Taking taylor expansion of 0 in a
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [taylor]: Taking taylor expansion of 0 in a
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [taylor]: Taking taylor expansion of 0 in a
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.702 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.703 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.703 * [taylor]: Taking taylor expansion of 0 in a
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [taylor]: Taking taylor expansion of 0 in a
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [taylor]: Taking taylor expansion of 0 in a
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.703 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.703 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.704 * [taylor]: Taking taylor expansion of 0 in a
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [taylor]: Taking taylor expansion of 0 in a
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [taylor]: Taking taylor expansion of 0 in a
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.705 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
3.705 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.705 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.705 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.705 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.705 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.705 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.705 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.705 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.705 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.706 * [taylor]: Taking taylor expansion of 0 in a
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [taylor]: Taking taylor expansion of 0 in a
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [taylor]: Taking taylor expansion of 0 in a
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.706 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.706 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.707 * [taylor]: Taking taylor expansion of 0 in a
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [taylor]: Taking taylor expansion of 0 in a
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [taylor]: Taking taylor expansion of 0 in a
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.708 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.708 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.709 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.709 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.709 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.709 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.709 * [taylor]: Taking taylor expansion of 0 in a
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [taylor]: Taking taylor expansion of 0 in a
3.710 * [backup-simplify]: Simplify 0 into 0
3.710 * [backup-simplify]: Simplify 0 into 0
3.710 * [backup-simplify]: Simplify 0 into 0
3.710 * [backup-simplify]: Simplify 0 into 0
3.710 * [taylor]: Taking taylor expansion of 0 in a
3.710 * [backup-simplify]: Simplify 0 into 0
3.710 * [backup-simplify]: Simplify 0 into 0
3.710 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.710 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
3.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.710 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.710 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.710 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.710 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.711 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.711 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.711 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.711 * [taylor]: Taking taylor expansion of 0 in a
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [taylor]: Taking taylor expansion of 0 in a
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [taylor]: Taking taylor expansion of 0 in a
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.711 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.711 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.711 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.712 * [taylor]: Taking taylor expansion of 0 in a
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [taylor]: Taking taylor expansion of 0 in a
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [taylor]: Taking taylor expansion of 0 in a
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.713 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.714 * [taylor]: Taking taylor expansion of 0 in a
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [taylor]: Taking taylor expansion of 0 in a
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [taylor]: Taking taylor expansion of 0 in a
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.714 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.714 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.715 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
3.715 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
3.715 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.715 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.715 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.715 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
3.715 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.715 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.715 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.715 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
3.715 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.715 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.715 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.715 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
3.715 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.715 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.716 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.716 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.717 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
3.717 * [taylor]: Taking taylor expansion of 0 in a
3.717 * [backup-simplify]: Simplify 0 into 0
3.717 * [backup-simplify]: Simplify 0 into 0
3.718 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
3.718 * [backup-simplify]: Simplify 0 into 0
3.719 * [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
3.719 * [taylor]: Taking taylor expansion of 0 in a
3.719 * [backup-simplify]: Simplify 0 into 0
3.720 * [backup-simplify]: Simplify 0 into 0
3.720 * [backup-simplify]: Simplify 0 into 0
3.721 * [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
3.721 * [backup-simplify]: Simplify 0 into 0
3.724 * [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
3.724 * [taylor]: Taking taylor expansion of 0 in a
3.724 * [backup-simplify]: Simplify 0 into 0
3.724 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.725 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.725 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
3.725 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.725 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.725 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.725 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.725 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.725 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.725 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.726 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.726 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.726 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.726 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.726 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.726 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.726 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.727 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
3.727 * [taylor]: Taking taylor expansion of 0 in a
3.727 * [backup-simplify]: Simplify 0 into 0
3.727 * [backup-simplify]: Simplify 0 into 0
3.728 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
3.728 * [backup-simplify]: Simplify 0 into 0
3.730 * [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
3.730 * [taylor]: Taking taylor expansion of 0 in a
3.730 * [backup-simplify]: Simplify 0 into 0
3.730 * [backup-simplify]: Simplify 0 into 0
3.730 * [backup-simplify]: Simplify 0 into 0
3.732 * [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
3.732 * [backup-simplify]: Simplify 0 into 0
3.735 * [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
3.735 * [taylor]: Taking taylor expansion of 0 in a
3.735 * [backup-simplify]: Simplify 0 into 0
3.735 * [backup-simplify]: Simplify 0 into 0
3.736 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
3.736 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.736 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
3.736 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.736 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.736 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.736 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.736 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.736 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.736 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.737 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.737 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.737 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.737 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.737 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.737 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.737 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.737 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.738 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
3.738 * [taylor]: Taking taylor expansion of 0 in a
3.738 * [backup-simplify]: Simplify 0 into 0
3.738 * [backup-simplify]: Simplify 0 into 0
3.739 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
3.739 * [backup-simplify]: Simplify 0 into 0
3.741 * [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
3.741 * [taylor]: Taking taylor expansion of 0 in a
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 0 into 0
3.743 * [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
3.743 * [backup-simplify]: Simplify 0 into 0
3.746 * [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
3.746 * [taylor]: Taking taylor expansion of 0 in a
3.746 * [backup-simplify]: Simplify 0 into 0
3.746 * [backup-simplify]: Simplify 0 into 0
3.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
3.746 * * * [progress]: simplifying candidates
3.746 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))))>
3.746 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))))>
3.746 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))))>
3.746 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.746 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.746 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
3.747 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))>
3.747 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a))))))))>
3.747 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))>
3.747 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))))>
3.747 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a)))))))>
3.747 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a)))))))>
3.747 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1))))>
3.747 * * * * [progress]: [ 38 / 57 ] 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))))))>
3.747 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a))))))))>
3.747 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))>
3.747 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
3.748 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
3.748 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a))))))))>
3.748 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a)))))))>
3.748 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))>
3.748 * * * * [progress]: [ 46 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 47 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 48 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 49 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 50 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 51 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 52 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 53 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 54 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 55 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 56 / 57 ] 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))))))>
3.748 * * * * [progress]: [ 57 / 57 ] 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))))))>
3.748 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (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 (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)))
3.749 * * [simplify]: iteration 0: 30 enodes
3.765 * * [simplify]: iteration 1: 44 enodes
3.779 * * [simplify]: iteration 2: 54 enodes
3.795 * * [simplify]: iteration 3: 66 enodes
3.816 * * [simplify]: iteration 4: 87 enodes
3.843 * * [simplify]: iteration 5: 123 enodes
3.885 * * [simplify]: iteration 6: 233 enodes
3.951 * * [simplify]: iteration 7: 442 enodes
4.111 * * [simplify]: iteration 8: 1024 enodes
4.421 * * [simplify]: iteration 9: 2008 enodes
4.875 * * [simplify]: iteration complete: 2008 enodes
4.875 * * [simplify]: Extracting #0: cost 22 inf + 0
4.875 * * [simplify]: Extracting #1: cost 103 inf + 1
4.877 * * [simplify]: Extracting #2: cost 364 inf + 149
4.881 * * [simplify]: Extracting #3: cost 468 inf + 2720
4.891 * * [simplify]: Extracting #4: cost 414 inf + 54958
4.912 * * [simplify]: Extracting #5: cost 248 inf + 227593
4.963 * * [simplify]: Extracting #6: cost 31 inf + 359786
5.031 * * [simplify]: Extracting #7: cost 0 inf + 375781
5.097 * * [simplify]: Extracting #8: cost 0 inf + 375650
5.149 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (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))))
  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 (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)))
5.152 * * * [progress]: adding candidates to table
5.559 * * [progress]: iteration 4 / 4
5.560 * * * [progress]: picking best candidate
5.708 * * * * [pick]: Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.708 * * * [progress]: localizing error
5.771 * * * [progress]: generating rewritten candidates
5.771 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
5.771 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1)
5.772 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
5.772 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
5.772 * * * [progress]: generating series expansions
5.772 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
5.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.773 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.773 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.773 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.773 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.773 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.773 * [taylor]: Taking taylor expansion of 0 in a
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [taylor]: Taking taylor expansion of 0 in a
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [taylor]: Taking taylor expansion of 0 in a
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.773 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.774 * [taylor]: Taking taylor expansion of 0 in a
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [taylor]: Taking taylor expansion of 0 in a
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [taylor]: Taking taylor expansion of 0 in a
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.774 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.775 * [taylor]: Taking taylor expansion of 0 in a
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [taylor]: Taking taylor expansion of 0 in a
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [taylor]: Taking taylor expansion of 0 in a
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.775 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1)
5.775 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.775 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.775 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.775 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.775 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.775 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.775 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.775 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.775 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.775 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.775 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.775 * [taylor]: Taking taylor expansion of 0 in a
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [taylor]: Taking taylor expansion of 0 in a
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [taylor]: Taking taylor expansion of 0 in a
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.776 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.776 * [taylor]: Taking taylor expansion of 0 in a
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [taylor]: Taking taylor expansion of 0 in a
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [taylor]: Taking taylor expansion of 0 in a
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.777 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.777 * [taylor]: Taking taylor expansion of 0 in a
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [taylor]: Taking taylor expansion of 0 in a
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [taylor]: Taking taylor expansion of 0 in a
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.778 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
5.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.778 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.778 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.778 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.778 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.778 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.778 * [taylor]: Taking taylor expansion of 0 in a
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [taylor]: Taking taylor expansion of 0 in a
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [taylor]: Taking taylor expansion of 0 in a
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.778 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.779 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.779 * [taylor]: Taking taylor expansion of 0 in a
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [taylor]: Taking taylor expansion of 0 in a
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [taylor]: Taking taylor expansion of 0 in a
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.779 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.779 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.779 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.779 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.779 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.779 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.780 * [taylor]: Taking taylor expansion of 0 in a
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [taylor]: Taking taylor expansion of 0 in a
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [taylor]: Taking taylor expansion of 0 in a
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.780 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
5.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.780 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.780 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.780 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.780 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.780 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.780 * [taylor]: Taking taylor expansion of 0 in a
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [taylor]: Taking taylor expansion of 0 in a
5.780 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [taylor]: Taking taylor expansion of 0 in a
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.781 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.781 * [taylor]: Taking taylor expansion of 0 in a
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [taylor]: Taking taylor expansion of 0 in a
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [taylor]: Taking taylor expansion of 0 in a
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.782 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.782 * [taylor]: Taking taylor expansion of 0 in a
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [taylor]: Taking taylor expansion of 0 in a
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [taylor]: Taking taylor expansion of 0 in a
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.782 * * * [progress]: simplifying candidates
5.782 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))))))>
5.782 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))))>
5.783 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))))))>
5.783 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))))>
5.783 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))))))>
5.783 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))>
5.783 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))))>
5.783 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))))>
5.783 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))))))>
5.783 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))))))>
5.783 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.783 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.784 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.785 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (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))
5.785 * * [simplify]: iteration 0: 15 enodes
5.787 * * [simplify]: iteration 1: 22 enodes
5.792 * * [simplify]: iteration 2: 27 enodes
5.801 * * [simplify]: iteration 3: 33 enodes
5.812 * * [simplify]: iteration 4: 41 enodes
5.825 * * [simplify]: iteration 5: 53 enodes
5.839 * * [simplify]: iteration 6: 88 enodes
5.884 * * [simplify]: iteration 7: 383 enodes
6.028 * * [simplify]: iteration 8: 719 enodes
6.237 * * [simplify]: iteration 9: 1202 enodes
6.496 * * [simplify]: iteration 10: 2015 enodes
6.923 * * [simplify]: iteration complete: 2015 enodes
6.923 * * [simplify]: Extracting #0: cost 10 inf + 0
6.923 * * [simplify]: Extracting #1: cost 86 inf + 0
6.924 * * [simplify]: Extracting #2: cost 363 inf + 2
6.925 * * [simplify]: Extracting #3: cost 447 inf + 7284
6.933 * * [simplify]: Extracting #4: cost 371 inf + 69192
6.955 * * [simplify]: Extracting #5: cost 201 inf + 235048
6.983 * * [simplify]: Extracting #6: cost 51 inf + 393137
7.015 * * [simplify]: Extracting #7: cost 0 inf + 448097
7.049 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (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)))
  (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))
7.053 * * * [progress]: adding candidates to table
7.392 * [progress]: [Phase 3 of 3] Extracting.
7.393 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
7.396 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
7.396 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
7.514 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
7.657 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
7.821 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
7.978 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
8.124 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
8.124 * [simplify]: Simplifying:
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
8.125 * * [simplify]: iteration 0: 12 enodes
8.126 * * [simplify]: iteration 1: 13 enodes
8.127 * * [simplify]: iteration complete: 13 enodes
8.127 * * [simplify]: Extracting #0: cost 1 inf + 0
8.127 * * [simplify]: Extracting #1: cost 3 inf + 0
8.127 * * [simplify]: Extracting #2: cost 5 inf + 0
8.127 * * [simplify]: Extracting #3: cost 6 inf + 0
8.127 * * [simplify]: Extracting #4: cost 7 inf + 0
8.127 * * [simplify]: Extracting #5: cost 8 inf + 0
8.127 * * [simplify]: Extracting #6: cost 10 inf + 0
8.127 * * [simplify]: Extracting #7: cost 12 inf + 0
8.127 * * [simplify]: Extracting #8: cost 9 inf + 93
8.127 * * [simplify]: Extracting #9: cost 0 inf + 3685
8.128 * [simplify]: Simplified to:
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
34.150 * [regime-testing]: Baseline error score: 34.477732084538346
34.153 * [regime-testing]: Oracle error score: 34.246755571462224
34.158 * [regime-testing]: End program error score: 34.477732084538346