0.063 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.880 * * * [progress]: [2/2] Setting up program.
0.896 * [progress]: [Phase 2 of 3] Improving.
0.897 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.898 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.899 * * [simplify]: iteration 0: 5 enodes
0.946 * * [simplify]: iteration 1: 11 enodes
0.959 * * [simplify]: iteration 2: 14 enodes
0.973 * * [simplify]: iteration 3: 16 enodes
0.985 * * [simplify]: iteration complete: 16 enodes
0.986 * * [simplify]: Extracting #0: cost 1 inf + 0
0.986 * * [simplify]: Extracting #1: cost 3 inf + 0
0.986 * * [simplify]: Extracting #2: cost 7 inf + 0
0.987 * * [simplify]: Extracting #3: cost 5 inf + 94
0.987 * * [simplify]: Extracting #4: cost 4 inf + 438
0.987 * * [simplify]: Extracting #5: cost 0 inf + 812
0.987 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.991 * * [progress]: iteration 1 / 4
0.992 * * * [progress]: picking best candidate
1.007 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.007 * * * [progress]: localizing error
1.023 * * * [progress]: generating rewritten candidates
1.023 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.026 * * * [progress]: generating series expansions
1.026 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.034 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.034 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.035 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.037 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.037 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.038 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.039 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.039 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.039 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.039 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.042 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.043 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.043 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.043 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.043 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.044 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.044 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.044 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.045 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.045 * [taylor]: Taking taylor expansion of 0 in a
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [taylor]: Taking taylor expansion of 0 in a
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [taylor]: Taking taylor expansion of 0 in a
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.046 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.046 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.046 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.047 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.047 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.047 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.047 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.048 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.048 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.048 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.049 * [taylor]: Taking taylor expansion of 0 in a
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [taylor]: Taking taylor expansion of 0 in a
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [taylor]: Taking taylor expansion of 0 in a
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 0 into 0
1.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.050 * * * [progress]: simplifying candidates
1.050 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1.050 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1.050 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1.050 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.050 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.050 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.051 * [simplify]: Simplifying:
  (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.051 * * [simplify]: iteration 0: 15 enodes
1.059 * * [simplify]: iteration 1: 22 enodes
1.082 * * [simplify]: iteration 2: 27 enodes
1.096 * * [simplify]: iteration 3: 33 enodes
1.116 * * [simplify]: iteration 4: 41 enodes
1.134 * * [simplify]: iteration 5: 53 enodes
1.173 * * [simplify]: iteration 6: 88 enodes
1.311 * * [simplify]: iteration 7: 383 enodes
1.829 * * [simplify]: iteration 8: 720 enodes
2.251 * * [simplify]: iteration 9: 1173 enodes
5.350 * * [simplify]: iteration 10: 3523 enodes
10.448 * * [simplify]: iteration complete: 5001 enodes
10.448 * * [simplify]: Extracting #0: cost 10 inf + 0
10.449 * * [simplify]: Extracting #1: cost 112 inf + 0
10.453 * * [simplify]: Extracting #2: cost 862 inf + 3
10.462 * * [simplify]: Extracting #3: cost 998 inf + 416
10.474 * * [simplify]: Extracting #4: cost 856 inf + 109903
10.574 * * [simplify]: Extracting #5: cost 262 inf + 758344
10.738 * * [simplify]: Extracting #6: cost 12 inf + 1062831
10.892 * * [simplify]: Extracting #7: cost 0 inf + 1076407
11.038 * * [simplify]: Extracting #8: cost 0 inf + 1075963
11.175 * [simplify]: Simplified to:
  (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
11.176 * * * [progress]: adding candidates to table
11.317 * * [progress]: iteration 2 / 4
11.317 * * * [progress]: picking best candidate
11.376 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.376 * * * [progress]: localizing error
11.409 * * * [progress]: generating rewritten candidates
11.409 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
11.410 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
11.417 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
11.430 * * * [progress]: generating series expansions
11.430 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
11.431 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.431 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.431 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.432 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.432 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.433 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.433 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.433 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.433 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.434 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.435 * [taylor]: Taking taylor expansion of 0 in a
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [taylor]: Taking taylor expansion of 0 in a
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [taylor]: Taking taylor expansion of 0 in a
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 0 into 0
11.436 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.437 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.438 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.439 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.439 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.440 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.441 * [taylor]: Taking taylor expansion of 0 in a
11.441 * [backup-simplify]: Simplify 0 into 0
11.441 * [backup-simplify]: Simplify 0 into 0
11.441 * [backup-simplify]: Simplify 0 into 0
11.441 * [taylor]: Taking taylor expansion of 0 in a
11.442 * [backup-simplify]: Simplify 0 into 0
11.442 * [backup-simplify]: Simplify 0 into 0
11.442 * [backup-simplify]: Simplify 0 into 0
11.442 * [backup-simplify]: Simplify 0 into 0
11.442 * [taylor]: Taking taylor expansion of 0 in a
11.442 * [backup-simplify]: Simplify 0 into 0
11.442 * [backup-simplify]: Simplify 0 into 0
11.443 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.444 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.444 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.444 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.445 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.445 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.446 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.446 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.447 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.448 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.448 * [taylor]: Taking taylor expansion of 0 in a
11.448 * [backup-simplify]: Simplify 0 into 0
11.448 * [backup-simplify]: Simplify 0 into 0
11.448 * [backup-simplify]: Simplify 0 into 0
11.448 * [taylor]: Taking taylor expansion of 0 in a
11.448 * [backup-simplify]: Simplify 0 into 0
11.448 * [backup-simplify]: Simplify 0 into 0
11.449 * [backup-simplify]: Simplify 0 into 0
11.449 * [backup-simplify]: Simplify 0 into 0
11.449 * [taylor]: Taking taylor expansion of 0 in a
11.449 * [backup-simplify]: Simplify 0 into 0
11.449 * [backup-simplify]: Simplify 0 into 0
11.450 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.450 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
11.451 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.451 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
11.451 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
11.451 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.453 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.453 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
11.453 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.455 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
11.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.455 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.456 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.456 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
11.456 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.457 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.458 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.459 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.467 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
11.467 * [taylor]: Taking taylor expansion of 0 in a
11.467 * [backup-simplify]: Simplify 0 into 0
11.467 * [backup-simplify]: Simplify 0 into 0
11.469 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
11.469 * [backup-simplify]: Simplify 0 into 0
11.475 * [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
11.475 * [taylor]: Taking taylor expansion of 0 in a
11.475 * [backup-simplify]: Simplify 0 into 0
11.475 * [backup-simplify]: Simplify 0 into 0
11.475 * [backup-simplify]: Simplify 0 into 0
11.479 * [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
11.479 * [backup-simplify]: Simplify 0 into 0
11.485 * [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
11.485 * [taylor]: Taking taylor expansion of 0 in a
11.485 * [backup-simplify]: Simplify 0 into 0
11.485 * [backup-simplify]: Simplify 0 into 0
11.486 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.486 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.486 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
11.486 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
11.486 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.487 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.487 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.487 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
11.487 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.488 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.488 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.488 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
11.488 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.489 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.489 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.489 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
11.489 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.490 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.490 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.491 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.492 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
11.492 * [taylor]: Taking taylor expansion of 0 in a
11.492 * [backup-simplify]: Simplify 0 into 0
11.492 * [backup-simplify]: Simplify 0 into 0
11.494 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
11.494 * [backup-simplify]: Simplify 0 into 0
11.496 * [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
11.496 * [taylor]: Taking taylor expansion of 0 in a
11.496 * [backup-simplify]: Simplify 0 into 0
11.496 * [backup-simplify]: Simplify 0 into 0
11.496 * [backup-simplify]: Simplify 0 into 0
11.499 * [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
11.499 * [backup-simplify]: Simplify 0 into 0
11.503 * [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
11.503 * [taylor]: Taking taylor expansion of 0 in a
11.503 * [backup-simplify]: Simplify 0 into 0
11.503 * [backup-simplify]: Simplify 0 into 0
11.504 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
11.504 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.504 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
11.504 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
11.504 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.505 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.505 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.505 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
11.505 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.506 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.506 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.506 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
11.506 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.507 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.507 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.507 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
11.507 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.508 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.508 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.509 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.510 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
11.510 * [taylor]: Taking taylor expansion of 0 in a
11.510 * [backup-simplify]: Simplify 0 into 0
11.510 * [backup-simplify]: Simplify 0 into 0
11.512 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
11.512 * [backup-simplify]: Simplify 0 into 0
11.516 * [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
11.516 * [taylor]: Taking taylor expansion of 0 in a
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.521 * [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
11.522 * [backup-simplify]: Simplify 0 into 0
11.529 * [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
11.529 * [taylor]: Taking taylor expansion of 0 in a
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
11.531 * * * * [progress]: [ 3 / 3 ] generating series at (2)
11.532 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
11.532 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.532 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.533 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.533 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.534 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.534 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.534 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.534 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.535 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.536 * [taylor]: Taking taylor expansion of 0 in a
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [taylor]: Taking taylor expansion of 0 in a
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [taylor]: Taking taylor expansion of 0 in a
11.536 * [backup-simplify]: Simplify 0 into 0
11.536 * [backup-simplify]: Simplify 0 into 0
11.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.538 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.538 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.540 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.543 * [taylor]: Taking taylor expansion of 0 in a
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [taylor]: Taking taylor expansion of 0 in a
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [taylor]: Taking taylor expansion of 0 in a
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 0 into 0
11.544 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.546 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.546 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.546 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.547 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.548 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.548 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.549 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.549 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.549 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.550 * [taylor]: Taking taylor expansion of 0 in a
11.550 * [backup-simplify]: Simplify 0 into 0
11.550 * [backup-simplify]: Simplify 0 into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [taylor]: Taking taylor expansion of 0 in a
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [taylor]: Taking taylor expansion of 0 in a
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.552 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.552 * * * [progress]: simplifying candidates
11.552 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
11.552 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
11.553 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 7 / 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)))))))>
11.553 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
11.553 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 14 / 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)))))))>
11.553 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
11.553 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
11.553 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
11.553 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
11.553 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.554 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
11.554 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
11.554 * * * * [progress]: [ 22 / 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)))))))>
11.554 * * * * [progress]: [ 23 / 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)))))))>
11.554 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
11.554 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
11.554 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
11.554 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
11.554 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
11.554 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
11.554 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
11.554 * * * * [progress]: [ 31 / 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))))))>
11.554 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
11.554 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
11.554 * * * * [progress]: [ 34 / 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)))))))>
11.554 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
11.554 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
11.555 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.555 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
11.555 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
11.555 * * * * [progress]: [ 40 / 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)))))))>
11.555 * * * * [progress]: [ 41 / 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)))))))>
11.555 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
11.555 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
11.555 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.555 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.555 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.555 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.555 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.555 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
11.555 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.555 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.555 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.556 * [simplify]: Simplifying:
  (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 (log (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 (exp (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)))))
  (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))
11.558 * * [simplify]: iteration 0: 47 enodes
11.598 * * [simplify]: iteration 1: 71 enodes
11.626 * * [simplify]: iteration 2: 95 enodes
11.693 * * [simplify]: iteration 3: 139 enodes
11.786 * * [simplify]: iteration 4: 204 enodes
11.920 * * [simplify]: iteration 5: 361 enodes
12.102 * * [simplify]: iteration 6: 672 enodes
12.820 * * [simplify]: iteration 7: 1524 enodes
15.573 * * [simplify]: iteration 8: 4218 enodes
19.080 * * [simplify]: iteration complete: 5010 enodes
19.080 * * [simplify]: Extracting #0: cost 26 inf + 0
19.081 * * [simplify]: Extracting #1: cost 277 inf + 3
19.087 * * [simplify]: Extracting #2: cost 673 inf + 318
19.095 * * [simplify]: Extracting #3: cost 674 inf + 7482
19.101 * * [simplify]: Extracting #4: cost 658 inf + 29158
19.119 * * [simplify]: Extracting #5: cost 411 inf + 149486
19.176 * * [simplify]: Extracting #6: cost 153 inf + 334426
19.278 * * [simplify]: Extracting #7: cost 11 inf + 501768
19.379 * * [simplify]: Extracting #8: cost 0 inf + 512667
19.541 * * [simplify]: Extracting #9: cost 0 inf + 511559
19.637 * [simplify]: Simplified to:
  (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 (log (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 (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)))
  (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))
19.639 * * * [progress]: adding candidates to table
20.081 * * [progress]: iteration 3 / 4
20.082 * * * [progress]: picking best candidate
20.256 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.256 * * * [progress]: localizing error
20.361 * * * [progress]: generating rewritten candidates
20.361 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
20.362 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
20.364 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
20.365 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
20.372 * * * [progress]: generating series expansions
20.372 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
20.373 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.373 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.373 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.374 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.374 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.374 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.374 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.375 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.375 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.376 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.376 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.376 * [taylor]: Taking taylor expansion of 0 in a
20.376 * [backup-simplify]: Simplify 0 into 0
20.376 * [backup-simplify]: Simplify 0 into 0
20.377 * [backup-simplify]: Simplify 0 into 0
20.377 * [taylor]: Taking taylor expansion of 0 in a
20.377 * [backup-simplify]: Simplify 0 into 0
20.377 * [backup-simplify]: Simplify 0 into 0
20.377 * [backup-simplify]: Simplify 0 into 0
20.377 * [backup-simplify]: Simplify 0 into 0
20.377 * [taylor]: Taking taylor expansion of 0 in a
20.377 * [backup-simplify]: Simplify 0 into 0
20.377 * [backup-simplify]: Simplify 0 into 0
20.378 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.378 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.378 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.378 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.379 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.381 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.381 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.382 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.383 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.383 * [taylor]: Taking taylor expansion of 0 in a
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [taylor]: Taking taylor expansion of 0 in a
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [taylor]: Taking taylor expansion of 0 in a
20.383 * [backup-simplify]: Simplify 0 into 0
20.383 * [backup-simplify]: Simplify 0 into 0
20.384 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.385 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.385 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.385 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.386 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.386 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.389 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.389 * [taylor]: Taking taylor expansion of 0 in a
20.389 * [backup-simplify]: Simplify 0 into 0
20.389 * [backup-simplify]: Simplify 0 into 0
20.389 * [backup-simplify]: Simplify 0 into 0
20.389 * [taylor]: Taking taylor expansion of 0 in a
20.389 * [backup-simplify]: Simplify 0 into 0
20.389 * [backup-simplify]: Simplify 0 into 0
20.389 * [backup-simplify]: Simplify 0 into 0
20.389 * [backup-simplify]: Simplify 0 into 0
20.390 * [taylor]: Taking taylor expansion of 0 in a
20.390 * [backup-simplify]: Simplify 0 into 0
20.390 * [backup-simplify]: Simplify 0 into 0
20.391 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.391 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
20.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.391 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.391 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.392 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.392 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.394 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.394 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.395 * [taylor]: Taking taylor expansion of 0 in a
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [taylor]: Taking taylor expansion of 0 in a
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [taylor]: Taking taylor expansion of 0 in a
20.395 * [backup-simplify]: Simplify 0 into 0
20.395 * [backup-simplify]: Simplify 0 into 0
20.396 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.396 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.397 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.397 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.401 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.401 * [taylor]: Taking taylor expansion of 0 in a
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [taylor]: Taking taylor expansion of 0 in a
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [taylor]: Taking taylor expansion of 0 in a
20.401 * [backup-simplify]: Simplify 0 into 0
20.401 * [backup-simplify]: Simplify 0 into 0
20.402 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.403 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.403 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.404 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.406 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.407 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.407 * [taylor]: Taking taylor expansion of 0 in a
20.407 * [backup-simplify]: Simplify 0 into 0
20.407 * [backup-simplify]: Simplify 0 into 0
20.407 * [backup-simplify]: Simplify 0 into 0
20.407 * [taylor]: Taking taylor expansion of 0 in a
20.407 * [backup-simplify]: Simplify 0 into 0
20.407 * [backup-simplify]: Simplify 0 into 0
20.407 * [backup-simplify]: Simplify 0 into 0
20.408 * [backup-simplify]: Simplify 0 into 0
20.408 * [taylor]: Taking taylor expansion of 0 in a
20.408 * [backup-simplify]: Simplify 0 into 0
20.408 * [backup-simplify]: Simplify 0 into 0
20.409 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.409 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
20.409 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.409 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.409 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.410 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.410 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.411 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.411 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.411 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.411 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.412 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.412 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.412 * [taylor]: Taking taylor expansion of 0 in a
20.412 * [backup-simplify]: Simplify 0 into 0
20.412 * [backup-simplify]: Simplify 0 into 0
20.412 * [backup-simplify]: Simplify 0 into 0
20.412 * [taylor]: Taking taylor expansion of 0 in a
20.412 * [backup-simplify]: Simplify 0 into 0
20.412 * [backup-simplify]: Simplify 0 into 0
20.412 * [backup-simplify]: Simplify 0 into 0
20.412 * [backup-simplify]: Simplify 0 into 0
20.413 * [taylor]: Taking taylor expansion of 0 in a
20.413 * [backup-simplify]: Simplify 0 into 0
20.413 * [backup-simplify]: Simplify 0 into 0
20.413 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.413 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.413 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.413 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.414 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.414 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.414 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.414 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.415 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.415 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.415 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.415 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.415 * [taylor]: Taking taylor expansion of 0 in a
20.415 * [backup-simplify]: Simplify 0 into 0
20.415 * [backup-simplify]: Simplify 0 into 0
20.416 * [backup-simplify]: Simplify 0 into 0
20.416 * [taylor]: Taking taylor expansion of 0 in a
20.416 * [backup-simplify]: Simplify 0 into 0
20.416 * [backup-simplify]: Simplify 0 into 0
20.416 * [backup-simplify]: Simplify 0 into 0
20.416 * [backup-simplify]: Simplify 0 into 0
20.416 * [taylor]: Taking taylor expansion of 0 in a
20.416 * [backup-simplify]: Simplify 0 into 0
20.416 * [backup-simplify]: Simplify 0 into 0
20.416 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.417 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.417 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.417 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.417 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.417 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.418 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.418 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.418 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.419 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.419 * [taylor]: Taking taylor expansion of 0 in a
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [taylor]: Taking taylor expansion of 0 in a
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [taylor]: Taking taylor expansion of 0 in a
20.419 * [backup-simplify]: Simplify 0 into 0
20.419 * [backup-simplify]: Simplify 0 into 0
20.420 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.420 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
20.420 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
20.420 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
20.420 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
20.420 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.421 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
20.421 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
20.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.422 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
20.422 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
20.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.423 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
20.423 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
20.423 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.424 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
20.424 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
20.426 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
20.426 * [taylor]: Taking taylor expansion of 0 in a
20.426 * [backup-simplify]: Simplify 0 into 0
20.426 * [backup-simplify]: Simplify 0 into 0
20.427 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
20.427 * [backup-simplify]: Simplify 0 into 0
20.429 * [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
20.429 * [taylor]: Taking taylor expansion of 0 in a
20.429 * [backup-simplify]: Simplify 0 into 0
20.429 * [backup-simplify]: Simplify 0 into 0
20.429 * [backup-simplify]: Simplify 0 into 0
20.432 * [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
20.432 * [backup-simplify]: Simplify 0 into 0
20.435 * [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
20.435 * [taylor]: Taking taylor expansion of 0 in a
20.435 * [backup-simplify]: Simplify 0 into 0
20.435 * [backup-simplify]: Simplify 0 into 0
20.436 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
20.436 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
20.436 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
20.436 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
20.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.437 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
20.437 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
20.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.438 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.438 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
20.438 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
20.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.439 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.439 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
20.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
20.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.440 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
20.441 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
20.442 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
20.442 * [taylor]: Taking taylor expansion of 0 in a
20.442 * [backup-simplify]: Simplify 0 into 0
20.442 * [backup-simplify]: Simplify 0 into 0
20.443 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
20.443 * [backup-simplify]: Simplify 0 into 0
20.446 * [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
20.446 * [taylor]: Taking taylor expansion of 0 in a
20.446 * [backup-simplify]: Simplify 0 into 0
20.446 * [backup-simplify]: Simplify 0 into 0
20.446 * [backup-simplify]: Simplify 0 into 0
20.449 * [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
20.449 * [backup-simplify]: Simplify 0 into 0
20.457 * [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
20.457 * [taylor]: Taking taylor expansion of 0 in a
20.457 * [backup-simplify]: Simplify 0 into 0
20.457 * [backup-simplify]: Simplify 0 into 0
20.458 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
20.460 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
20.460 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
20.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
20.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.462 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
20.462 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
20.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.464 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
20.464 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
20.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.465 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.466 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
20.466 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
20.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.468 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
20.469 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
20.471 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
20.471 * [taylor]: Taking taylor expansion of 0 in a
20.471 * [backup-simplify]: Simplify 0 into 0
20.471 * [backup-simplify]: Simplify 0 into 0
20.473 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
20.473 * [backup-simplify]: Simplify 0 into 0
20.475 * [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
20.475 * [taylor]: Taking taylor expansion of 0 in a
20.475 * [backup-simplify]: Simplify 0 into 0
20.475 * [backup-simplify]: Simplify 0 into 0
20.476 * [backup-simplify]: Simplify 0 into 0
20.478 * [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
20.478 * [backup-simplify]: Simplify 0 into 0
20.484 * [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
20.484 * [taylor]: Taking taylor expansion of 0 in a
20.484 * [backup-simplify]: Simplify 0 into 0
20.484 * [backup-simplify]: Simplify 0 into 0
20.485 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
20.485 * * * [progress]: simplifying candidates
20.485 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
20.485 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
20.485 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
20.485 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.485 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
20.486 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
20.486 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
20.486 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
20.486 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
20.486 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.486 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.487 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.487 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.487 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.487 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.487 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
20.487 * [simplify]: Simplifying:
  (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 (log (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))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
20.488 * * [simplify]: iteration 0: 30 enodes
20.506 * * [simplify]: iteration 1: 44 enodes
20.531 * * [simplify]: iteration 2: 54 enodes
20.557 * * [simplify]: iteration 3: 66 enodes
20.586 * * [simplify]: iteration 4: 87 enodes
20.638 * * [simplify]: iteration 5: 123 enodes
20.714 * * [simplify]: iteration 6: 197 enodes
20.819 * * [simplify]: iteration 7: 389 enodes
21.207 * * [simplify]: iteration 8: 957 enodes
22.966 * * [simplify]: iteration 9: 3000 enodes
26.198 * * [simplify]: iteration complete: 5012 enodes
26.198 * * [simplify]: Extracting #0: cost 22 inf + 0
26.199 * * [simplify]: Extracting #1: cost 258 inf + 1
26.202 * * [simplify]: Extracting #2: cost 1004 inf + 548
26.207 * * [simplify]: Extracting #3: cost 1233 inf + 3175
26.215 * * [simplify]: Extracting #4: cost 1172 inf + 21179
26.248 * * [simplify]: Extracting #5: cost 816 inf + 282112
26.353 * * [simplify]: Extracting #6: cost 228 inf + 888663
26.495 * * [simplify]: Extracting #7: cost 2 inf + 1129059
26.711 * * [simplify]: Extracting #8: cost 0 inf + 1126770
26.841 * [simplify]: Simplified to:
  (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 (log (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))))
  (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)))
26.848 * * * [progress]: adding candidates to table
27.591 * * [progress]: iteration 4 / 4
27.591 * * * [progress]: picking best candidate
27.792 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
27.792 * * * [progress]: localizing error
27.969 * * * [progress]: generating rewritten candidates
27.969 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
27.970 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
27.971 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
27.972 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
27.974 * * * [progress]: generating series expansions
27.974 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
27.974 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.974 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
27.974 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.974 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.974 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.976 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.976 * [taylor]: Taking taylor expansion of 0 in a
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [taylor]: Taking taylor expansion of 0 in a
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [taylor]: Taking taylor expansion of 0 in a
27.976 * [backup-simplify]: Simplify 0 into 0
27.976 * [backup-simplify]: Simplify 0 into 0
27.977 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.977 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
27.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.978 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.978 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.979 * [taylor]: Taking taylor expansion of 0 in a
27.979 * [backup-simplify]: Simplify 0 into 0
27.979 * [backup-simplify]: Simplify 0 into 0
27.979 * [backup-simplify]: Simplify 0 into 0
27.979 * [taylor]: Taking taylor expansion of 0 in a
27.979 * [backup-simplify]: Simplify 0 into 0
27.979 * [backup-simplify]: Simplify 0 into 0
27.979 * [backup-simplify]: Simplify 0 into 0
27.979 * [backup-simplify]: Simplify 0 into 0
27.979 * [taylor]: Taking taylor expansion of 0 in a
27.979 * [backup-simplify]: Simplify 0 into 0
27.980 * [backup-simplify]: Simplify 0 into 0
27.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
27.981 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.981 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
27.981 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.981 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.981 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.981 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.981 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.982 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.982 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.982 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.983 * [taylor]: Taking taylor expansion of 0 in a
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [taylor]: Taking taylor expansion of 0 in a
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [taylor]: Taking taylor expansion of 0 in a
27.983 * [backup-simplify]: Simplify 0 into 0
27.983 * [backup-simplify]: Simplify 0 into 0
27.984 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
27.984 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
27.984 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.984 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
27.984 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.984 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.984 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.985 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.985 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.985 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.985 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.985 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.986 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.986 * [taylor]: Taking taylor expansion of 0 in a
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [taylor]: Taking taylor expansion of 0 in a
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [taylor]: Taking taylor expansion of 0 in a
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [backup-simplify]: Simplify 0 into 0
27.986 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
27.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.987 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
27.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.988 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.988 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.989 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.989 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.990 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.990 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
27.990 * [taylor]: Taking taylor expansion of 0 in a
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [taylor]: Taking taylor expansion of 0 in a
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [taylor]: Taking taylor expansion of 0 in a
27.991 * [backup-simplify]: Simplify 0 into 0
27.991 * [backup-simplify]: Simplify 0 into 0
27.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
27.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.993 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
27.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.994 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.995 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.995 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.996 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.996 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.996 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.997 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
27.997 * [taylor]: Taking taylor expansion of 0 in a
27.997 * [backup-simplify]: Simplify 0 into 0
27.997 * [backup-simplify]: Simplify 0 into 0
27.998 * [backup-simplify]: Simplify 0 into 0
27.998 * [taylor]: Taking taylor expansion of 0 in a
27.998 * [backup-simplify]: Simplify 0 into 0
27.998 * [backup-simplify]: Simplify 0 into 0
27.998 * [backup-simplify]: Simplify 0 into 0
27.998 * [backup-simplify]: Simplify 0 into 0
27.998 * [taylor]: Taking taylor expansion of 0 in a
27.998 * [backup-simplify]: Simplify 0 into 0
27.998 * [backup-simplify]: Simplify 0 into 0
27.999 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
27.999 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
28.000 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.000 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
28.000 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.001 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.001 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.002 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.002 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.002 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.002 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.004 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.004 * [taylor]: Taking taylor expansion of 0 in a
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [taylor]: Taking taylor expansion of 0 in a
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [taylor]: Taking taylor expansion of 0 in a
28.004 * [backup-simplify]: Simplify 0 into 0
28.004 * [backup-simplify]: Simplify 0 into 0
28.005 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.006 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.006 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
28.006 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.007 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.008 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.008 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.009 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.009 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.009 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.010 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.010 * [taylor]: Taking taylor expansion of 0 in a
28.010 * [backup-simplify]: Simplify 0 into 0
28.010 * [backup-simplify]: Simplify 0 into 0
28.011 * [backup-simplify]: Simplify 0 into 0
28.011 * [taylor]: Taking taylor expansion of 0 in a
28.011 * [backup-simplify]: Simplify 0 into 0
28.011 * [backup-simplify]: Simplify 0 into 0
28.011 * [backup-simplify]: Simplify 0 into 0
28.011 * [backup-simplify]: Simplify 0 into 0
28.011 * [taylor]: Taking taylor expansion of 0 in a
28.011 * [backup-simplify]: Simplify 0 into 0
28.011 * [backup-simplify]: Simplify 0 into 0
28.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
28.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.013 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
28.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.014 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.014 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.015 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.015 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.017 * [taylor]: Taking taylor expansion of 0 in a
28.017 * [backup-simplify]: Simplify 0 into 0
28.017 * [backup-simplify]: Simplify 0 into 0
28.017 * [backup-simplify]: Simplify 0 into 0
28.017 * [taylor]: Taking taylor expansion of 0 in a
28.017 * [backup-simplify]: Simplify 0 into 0
28.017 * [backup-simplify]: Simplify 0 into 0
28.018 * [backup-simplify]: Simplify 0 into 0
28.018 * [backup-simplify]: Simplify 0 into 0
28.018 * [taylor]: Taking taylor expansion of 0 in a
28.018 * [backup-simplify]: Simplify 0 into 0
28.018 * [backup-simplify]: Simplify 0 into 0
28.019 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
28.019 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
28.020 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.020 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
28.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.020 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.021 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.021 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.022 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.022 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.023 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.023 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.023 * [taylor]: Taking taylor expansion of 0 in a
28.023 * [backup-simplify]: Simplify 0 into 0
28.023 * [backup-simplify]: Simplify 0 into 0
28.023 * [backup-simplify]: Simplify 0 into 0
28.024 * [taylor]: Taking taylor expansion of 0 in a
28.024 * [backup-simplify]: Simplify 0 into 0
28.024 * [backup-simplify]: Simplify 0 into 0
28.024 * [backup-simplify]: Simplify 0 into 0
28.024 * [backup-simplify]: Simplify 0 into 0
28.024 * [taylor]: Taking taylor expansion of 0 in a
28.024 * [backup-simplify]: Simplify 0 into 0
28.024 * [backup-simplify]: Simplify 0 into 0
28.025 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
28.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.025 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
28.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.029 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
28.030 * [taylor]: Taking taylor expansion of 0 in a
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [taylor]: Taking taylor expansion of 0 in a
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [taylor]: Taking taylor expansion of 0 in a
28.030 * [backup-simplify]: Simplify 0 into 0
28.030 * [backup-simplify]: Simplify 0 into 0
28.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
28.032 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.032 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
28.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.034 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.034 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.035 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
28.037 * [taylor]: Taking taylor expansion of 0 in a
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [taylor]: Taking taylor expansion of 0 in a
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [taylor]: Taking taylor expansion of 0 in a
28.037 * [backup-simplify]: Simplify 0 into 0
28.037 * [backup-simplify]: Simplify 0 into 0
28.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
28.038 * * * [progress]: simplifying candidates
28.038 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))>
28.038 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
28.039 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
28.039 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
28.039 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
28.039 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
28.039 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
28.039 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
28.039 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
28.039 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))))>
28.039 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.039 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.039 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.039 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
28.039 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.039 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.040 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.040 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.041 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.042 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.043 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.043 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.043 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.043 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.043 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
28.044 * [simplify]: Simplifying:
  (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)))
  (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)))
  (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))
28.044 * * [simplify]: iteration 0: 15 enodes
28.054 * * [simplify]: iteration 1: 22 enodes
28.064 * * [simplify]: iteration 2: 27 enodes
28.076 * * [simplify]: iteration 3: 33 enodes
28.101 * * [simplify]: iteration 4: 41 enodes
28.119 * * [simplify]: iteration 5: 53 enodes
28.169 * * [simplify]: iteration 6: 88 enodes
28.281 * * [simplify]: iteration 7: 383 enodes
28.709 * * [simplify]: iteration 8: 720 enodes
29.195 * * [simplify]: iteration 9: 1173 enodes
32.204 * * [simplify]: iteration 10: 3523 enodes
37.171 * * [simplify]: iteration complete: 5001 enodes
37.172 * * [simplify]: Extracting #0: cost 10 inf + 0
37.172 * * [simplify]: Extracting #1: cost 112 inf + 0
37.178 * * [simplify]: Extracting #2: cost 862 inf + 3
37.186 * * [simplify]: Extracting #3: cost 998 inf + 416
37.208 * * [simplify]: Extracting #4: cost 856 inf + 109903
37.309 * * [simplify]: Extracting #5: cost 262 inf + 758344
37.440 * * [simplify]: Extracting #6: cost 12 inf + 1062831
37.563 * * [simplify]: Extracting #7: cost 0 inf + 1076407
37.713 * * [simplify]: Extracting #8: cost 0 inf + 1075963
37.943 * [simplify]: Simplified to:
  (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)))
  (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)))
  (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))
37.947 * * * [progress]: adding candidates to table
38.688 * [progress]: [Phase 3 of 3] Extracting.
38.689 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
38.700 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
38.700 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
38.912 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
39.159 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
39.434 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
39.732 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
39.969 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
39.970 * [simplify]: Simplifying:
  (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
39.970 * * [simplify]: iteration 0: 12 enodes
39.972 * * [simplify]: iteration 1: 14 enodes
39.973 * * [simplify]: iteration complete: 14 enodes
39.973 * * [simplify]: Extracting #0: cost 1 inf + 0
39.973 * * [simplify]: Extracting #1: cost 2 inf + 0
39.973 * * [simplify]: Extracting #2: cost 3 inf + 0
39.973 * * [simplify]: Extracting #3: cost 5 inf + 0
39.973 * * [simplify]: Extracting #4: cost 7 inf + 0
39.973 * * [simplify]: Extracting #5: cost 8 inf + 0
39.973 * * [simplify]: Extracting #6: cost 10 inf + 0
39.973 * * [simplify]: Extracting #7: cost 12 inf + 0
39.973 * * [simplify]: Extracting #8: cost 9 inf + 93
39.974 * * [simplify]: Extracting #9: cost 0 inf + 3485
39.974 * [simplify]: Simplified to:
  (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))
63.686 * [regime-testing]: Baseline error score: 33.62865739796626
63.708 * [regime-testing]: Oracle error score: 33.41506547421321
63.758 * [regime-testing]: End program error score: 33.62865739796626