0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.871 * * * [progress]: [2/2] Setting up program.
0.878 * [progress]: [Phase 2 of 3] Improving.
0.878 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.880 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
0.881 * * [simplify]: iteration 1: (5 enodes)
0.887 * * [simplify]: iteration 2: (21 enodes)
0.894 * * [simplify]: iteration 3: (34 enodes)
0.904 * * [simplify]: iteration 4: (38 enodes)
0.949 * * [simplify]: iteration 5: (40 enodes)
0.961 * * [simplify]: Extracting #0: cost 1 inf + 0
0.962 * * [simplify]: Extracting #1: cost 4 inf + 0
0.962 * * [simplify]: Extracting #2: cost 10 inf + 0
0.962 * * [simplify]: Extracting #3: cost 10 inf + 3
0.962 * * [simplify]: Extracting #4: cost 9 inf + 368
0.962 * * [simplify]: Extracting #5: cost 5 inf + 809
0.963 * * [simplify]: Extracting #6: cost 0 inf + 1620
0.963 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
0.971 * * [progress]: iteration 1 / 4
0.972 * * * [progress]: picking best candidate
0.977 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.977 * * * [progress]: localizing error
1.000 * * * [progress]: generating rewritten candidates
1.000 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.004 * * * [progress]: generating series expansions
1.004 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.007 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.007 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.009 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.010 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.010 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.010 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.012 * [taylor]: Taking taylor expansion of 0 in a
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [taylor]: Taking taylor expansion of 0 in a
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [taylor]: Taking taylor expansion of 0 in a
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.014 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.014 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.014 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.014 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.014 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.015 * [taylor]: Taking taylor expansion of 0 in a
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [taylor]: Taking taylor expansion of 0 in a
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [taylor]: Taking taylor expansion of 0 in a
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.016 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.016 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.016 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.016 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.017 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.017 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.017 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.017 * [taylor]: Taking taylor expansion of 0 in a
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [taylor]: Taking taylor expansion of 0 in a
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [taylor]: Taking taylor expansion of 0 in a
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.018 * * * [progress]: simplifying candidates
1.018 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1.018 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.018 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1.018 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1.018 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1.018 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1.018 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1.018 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1.018 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.019 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.019 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.019 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
1.019 * * [simplify]: iteration 1: (13 enodes)
1.024 * * [simplify]: iteration 2: (43 enodes)
1.038 * * [simplify]: iteration 3: (58 enodes)
1.059 * * [simplify]: iteration 4: (68 enodes)
1.082 * * [simplify]: iteration 5: (80 enodes)
1.118 * * [simplify]: iteration 6: (95 enodes)
1.140 * * [simplify]: iteration 7: (120 enodes)
1.159 * * [simplify]: iteration 8: (166 enodes)
1.189 * * [simplify]: iteration 9: (276 enodes)
1.286 * * [simplify]: iteration 10: (655 enodes)
1.915 * * [simplify]: Extracting #0: cost 8 inf + 0
1.915 * * [simplify]: Extracting #1: cost 19 inf + 0
1.915 * * [simplify]: Extracting #2: cost 99 inf + 1
1.917 * * [simplify]: Extracting #3: cost 330 inf + 2204
1.919 * * [simplify]: Extracting #4: cost 303 inf + 14473
1.935 * * [simplify]: Extracting #5: cost 124 inf + 165941
1.969 * * [simplify]: Extracting #6: cost 4 inf + 277241
2.020 * * [simplify]: Extracting #7: cost 0 inf + 280013
2.060 * * [simplify]: Extracting #8: cost 0 inf + 279140
2.106 * * [simplify]: Extracting #9: cost 0 inf + 279020
2.147 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
2.148 * * * [progress]: adding candidates to table
2.285 * * [progress]: iteration 2 / 4
2.285 * * * [progress]: picking best candidate
2.312 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.312 * * * [progress]: localizing error
2.332 * * * [progress]: generating rewritten candidates
2.332 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
2.333 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.336 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.341 * * * [progress]: generating series expansions
2.342 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
2.342 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.342 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.342 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.342 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.342 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.342 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.342 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.342 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.342 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.342 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.342 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.342 * [taylor]: Taking taylor expansion of 0 in a
2.342 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [taylor]: Taking taylor expansion of 0 in a
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [taylor]: Taking taylor expansion of 0 in a
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.343 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.343 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.343 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.343 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.344 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.344 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.344 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.344 * [taylor]: Taking taylor expansion of 0 in a
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [taylor]: Taking taylor expansion of 0 in a
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [taylor]: Taking taylor expansion of 0 in a
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.345 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.345 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.345 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.345 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.346 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.346 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.346 * [taylor]: Taking taylor expansion of 0 in a
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [taylor]: Taking taylor expansion of 0 in a
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [taylor]: Taking taylor expansion of 0 in a
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.346 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.347 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.347 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.347 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.347 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.347 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.347 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.347 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.347 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.347 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.347 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.347 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.347 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.347 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.347 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.348 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.348 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.348 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.348 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.348 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.350 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.351 * [taylor]: Taking taylor expansion of 0 in a
2.351 * [backup-simplify]: Simplify 0 into 0
2.351 * [backup-simplify]: Simplify 0 into 0
2.351 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.352 * [backup-simplify]: Simplify 0 into 0
2.354 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.355 * [taylor]: Taking taylor expansion of 0 in a
2.355 * [backup-simplify]: Simplify 0 into 0
2.355 * [backup-simplify]: Simplify 0 into 0
2.355 * [backup-simplify]: Simplify 0 into 0
2.356 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.357 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
2.360 * [taylor]: Taking taylor expansion of 0 in a
2.360 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.360 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.360 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.360 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.360 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.360 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.361 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.361 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.361 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.362 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.362 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.363 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.363 * [taylor]: Taking taylor expansion of 0 in a
2.363 * [backup-simplify]: Simplify 0 into 0
2.363 * [backup-simplify]: Simplify 0 into 0
2.364 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.364 * [backup-simplify]: Simplify 0 into 0
2.366 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.366 * [taylor]: Taking taylor expansion of 0 in a
2.366 * [backup-simplify]: Simplify 0 into 0
2.366 * [backup-simplify]: Simplify 0 into 0
2.366 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.368 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
2.371 * [taylor]: Taking taylor expansion of 0 in a
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
2.371 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.371 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.371 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.372 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.372 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.372 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.372 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.372 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.372 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.372 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.372 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.373 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.373 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.373 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.373 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.373 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.374 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.374 * [taylor]: Taking taylor expansion of 0 in a
2.374 * [backup-simplify]: Simplify 0 into 0
2.374 * [backup-simplify]: Simplify 0 into 0
2.375 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.375 * [backup-simplify]: Simplify 0 into 0
2.377 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.377 * [taylor]: Taking taylor expansion of 0 in a
2.377 * [backup-simplify]: Simplify 0 into 0
2.377 * [backup-simplify]: Simplify 0 into 0
2.377 * [backup-simplify]: Simplify 0 into 0
2.379 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.379 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
2.383 * [taylor]: Taking taylor expansion of 0 in a
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
2.383 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.383 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.383 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.383 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.383 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.383 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.384 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.384 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.384 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.384 * [taylor]: Taking taylor expansion of 0 in a
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [taylor]: Taking taylor expansion of 0 in a
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [taylor]: Taking taylor expansion of 0 in a
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.384 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.385 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.385 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.385 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.385 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.385 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.385 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.385 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.385 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.385 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.385 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.385 * [taylor]: Taking taylor expansion of 0 in a
2.385 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [taylor]: Taking taylor expansion of 0 in a
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [taylor]: Taking taylor expansion of 0 in a
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.386 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.386 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.386 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.387 * [taylor]: Taking taylor expansion of 0 in a
2.387 * [backup-simplify]: Simplify 0 into 0
2.387 * [backup-simplify]: Simplify 0 into 0
2.387 * [backup-simplify]: Simplify 0 into 0
2.387 * [taylor]: Taking taylor expansion of 0 in a
2.387 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify 0 into 0
2.388 * [taylor]: Taking taylor expansion of 0 in a
2.388 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.388 * * * [progress]: simplifying candidates
2.388 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
2.388 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.388 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
2.388 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
2.388 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
2.388 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
2.388 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
2.388 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
2.389 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
2.389 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
2.389 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.389 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
2.389 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
2.389 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
2.389 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
2.389 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
2.389 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
2.390 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
2.390 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
2.390 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.390 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
2.390 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
2.390 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.390 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.390 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.390 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.390 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.390 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.391 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.391 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.391 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.391 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (exp 1), (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), (exp 1), (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (exp (log (cbrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log 1)), (exp (log (fmod (cosh c) (log1p a)))), (log (exp (log (fmod (cosh c) (log1p a))))), (exp (exp (log (fmod (cosh c) (log1p a))))), (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))), (cbrt (exp (log (fmod (cosh c) (log1p a))))), (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (real->posit16 (exp (log (fmod (cosh c) (log1p a))))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
2.392 * * [simplify]: iteration 1: (41 enodes)
2.410 * * [simplify]: iteration 2: (110 enodes)
2.447 * * [simplify]: iteration 3: (153 enodes)
2.468 * * [simplify]: iteration 4: (185 enodes)
2.494 * * [simplify]: iteration 5: (228 enodes)
2.535 * * [simplify]: iteration 6: (313 enodes)
2.601 * * [simplify]: iteration 7: (488 enodes)
2.793 * * [simplify]: iteration 8: (1090 enodes)
3.831 * * [simplify]: Extracting #0: cost 22 inf + 0
3.831 * * [simplify]: Extracting #1: cost 163 inf + 3
3.835 * * [simplify]: Extracting #2: cost 458 inf + 8
3.840 * * [simplify]: Extracting #3: cost 470 inf + 5739
3.848 * * [simplify]: Extracting #4: cost 403 inf + 47847
3.864 * * [simplify]: Extracting #5: cost 245 inf + 156971
3.948 * * [simplify]: Extracting #6: cost 67 inf + 356283
4.106 * * [simplify]: Extracting #7: cost 0 inf + 432162
4.320 * * [simplify]: Extracting #8: cost 0 inf + 421347
4.481 * * [simplify]: Extracting #9: cost 0 inf + 421337
4.643 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), E, (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), E, (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), 1, (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
4.647 * * * [progress]: adding candidates to table
5.278 * * [progress]: iteration 3 / 4
5.278 * * * [progress]: picking best candidate
5.355 * * * * [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)))))))>
5.355 * * * [progress]: localizing error
5.412 * * * [progress]: generating rewritten candidates
5.412 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
5.413 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
5.413 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
5.414 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
5.416 * * * [progress]: generating series expansions
5.417 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
5.417 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.417 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.417 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.417 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.417 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.417 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.417 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.417 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.417 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.417 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.417 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.417 * [taylor]: Taking taylor expansion of 0 in a
5.417 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify 0 into 0
5.417 * [taylor]: Taking taylor expansion of 0 in a
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [taylor]: Taking taylor expansion of 0 in a
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.418 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.418 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.418 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.418 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.418 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.419 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.419 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.419 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.419 * [taylor]: Taking taylor expansion of 0 in a
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [taylor]: Taking taylor expansion of 0 in a
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [taylor]: Taking taylor expansion of 0 in a
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.419 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.420 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.420 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.420 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.420 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.420 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.420 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.420 * [taylor]: Taking taylor expansion of 0 in a
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [taylor]: Taking taylor expansion of 0 in a
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [taylor]: Taking taylor expansion of 0 in a
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.420 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
5.420 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.420 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.420 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.421 * [taylor]: Taking taylor expansion of 0 in a
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [taylor]: Taking taylor expansion of 0 in a
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [taylor]: Taking taylor expansion of 0 in a
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.421 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.421 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.421 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.421 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.421 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.421 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.421 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.421 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.421 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.422 * [taylor]: Taking taylor expansion of 0 in a
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [taylor]: Taking taylor expansion of 0 in a
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [taylor]: Taking taylor expansion of 0 in a
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.422 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.422 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.422 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.422 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.422 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.422 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.423 * [taylor]: Taking taylor expansion of 0 in a
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [taylor]: Taking taylor expansion of 0 in a
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [taylor]: Taking taylor expansion of 0 in a
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.423 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
5.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.423 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.423 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.423 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.423 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.423 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.423 * [taylor]: Taking taylor expansion of 0 in a
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [taylor]: Taking taylor expansion of 0 in a
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.424 * [taylor]: Taking taylor expansion of 0 in a
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.424 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.424 * [taylor]: Taking taylor expansion of 0 in a
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [taylor]: Taking taylor expansion of 0 in a
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [taylor]: Taking taylor expansion of 0 in a
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.425 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.425 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.425 * [taylor]: Taking taylor expansion of 0 in a
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [taylor]: Taking taylor expansion of 0 in a
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [taylor]: Taking taylor expansion of 0 in a
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.425 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
5.426 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.426 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
5.426 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.426 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.426 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.426 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.426 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.426 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.426 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.426 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.426 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.426 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.426 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.426 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.426 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.426 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.426 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.426 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.426 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.427 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.427 * [taylor]: Taking taylor expansion of 0 in a
5.427 * [backup-simplify]: Simplify 0 into 0
5.427 * [backup-simplify]: Simplify 0 into 0
5.427 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.427 * [backup-simplify]: Simplify 0 into 0
5.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
5.429 * [taylor]: Taking taylor expansion of 0 in a
5.429 * [backup-simplify]: Simplify 0 into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.430 * [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
5.430 * [backup-simplify]: Simplify 0 into 0
5.431 * [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
5.431 * [taylor]: Taking taylor expansion of 0 in a
5.431 * [backup-simplify]: Simplify 0 into 0
5.431 * [backup-simplify]: Simplify 0 into 0
5.432 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.432 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.432 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
5.432 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.432 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.432 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.432 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.432 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.432 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.432 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.432 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.432 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.433 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.433 * [taylor]: Taking taylor expansion of 0 in a
5.433 * [backup-simplify]: Simplify 0 into 0
5.433 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.434 * [backup-simplify]: Simplify 0 into 0
5.435 * [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
5.435 * [taylor]: Taking taylor expansion of 0 in a
5.435 * [backup-simplify]: Simplify 0 into 0
5.435 * [backup-simplify]: Simplify 0 into 0
5.435 * [backup-simplify]: Simplify 0 into 0
5.436 * [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
5.436 * [backup-simplify]: Simplify 0 into 0
5.438 * [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
5.438 * [taylor]: Taking taylor expansion of 0 in a
5.438 * [backup-simplify]: Simplify 0 into 0
5.438 * [backup-simplify]: Simplify 0 into 0
5.438 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
5.438 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.438 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
5.438 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.438 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.438 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.438 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.438 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.439 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.439 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.439 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.439 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.439 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.439 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.440 * [taylor]: Taking taylor expansion of 0 in a
5.440 * [backup-simplify]: Simplify 0 into 0
5.440 * [backup-simplify]: Simplify 0 into 0
5.440 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.440 * [backup-simplify]: Simplify 0 into 0
5.441 * [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
5.441 * [taylor]: Taking taylor expansion of 0 in a
5.441 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify 0 into 0
5.442 * [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
5.442 * [backup-simplify]: Simplify 0 into 0
5.444 * [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
5.444 * [taylor]: Taking taylor expansion of 0 in a
5.444 * [backup-simplify]: Simplify 0 into 0
5.444 * [backup-simplify]: Simplify 0 into 0
5.444 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
5.444 * * * [progress]: simplifying candidates
5.444 * * * * [progress]: [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
5.444 * * * * [progress]: [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
5.444 * * * * [progress]: [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
5.445 * * * * [progress]: [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
5.445 * * * * [progress]: [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
5.445 * * * * [progress]: [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
5.445 * * * * [progress]: [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
5.445 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
5.445 * * * * [progress]: [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.445 * * * * [progress]: [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
5.445 * * * * [progress]: [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
5.445 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
5.445 * * * * [progress]: [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
5.445 * * * * [progress]: [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
5.446 * * * * [progress]: [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
5.446 * * * * [progress]: [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
5.446 * * * * [progress]: [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
5.446 * * * * [progress]: [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
5.446 * * * * [progress]: [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
5.446 * * * * [progress]: [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
5.446 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
5.446 * * * * [progress]: [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.446 * * * * [progress]: [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
5.447 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a)))
5.447 * * [simplify]: iteration 1: (26 enodes)
5.452 * * [simplify]: iteration 2: (84 enodes)
5.465 * * [simplify]: iteration 3: (103 enodes)
5.494 * * [simplify]: iteration 4: (117 enodes)
5.526 * * [simplify]: iteration 5: (134 enodes)
5.568 * * [simplify]: iteration 6: (161 enodes)
5.600 * * [simplify]: iteration 7: (218 enodes)
5.648 * * [simplify]: iteration 8: (353 enodes)
5.770 * * [simplify]: iteration 9: (749 enodes)
6.235 * * [simplify]: Extracting #0: cost 18 inf + 0
6.235 * * [simplify]: Extracting #1: cost 77 inf + 1
6.236 * * [simplify]: Extracting #2: cost 293 inf + 4
6.238 * * [simplify]: Extracting #3: cost 342 inf + 526
6.243 * * [simplify]: Extracting #4: cost 261 inf + 51021
6.261 * * [simplify]: Extracting #5: cost 78 inf + 210670
6.298 * * [simplify]: Extracting #6: cost 1 inf + 282969
6.329 * * [simplify]: Extracting #7: cost 0 inf + 283101
6.360 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a)))
6.363 * * * [progress]: adding candidates to table
7.116 * * [progress]: iteration 4 / 4
7.116 * * * [progress]: picking best candidate
7.219 * * * * [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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.219 * * * [progress]: localizing error
7.282 * * * [progress]: generating rewritten candidates
7.282 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1)
7.282 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1 1)
7.283 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
7.283 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
7.283 * * * [progress]: generating series expansions
7.283 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1)
7.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.283 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.284 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.284 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.284 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.284 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.284 * [taylor]: Taking taylor expansion of 0 in a
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [taylor]: Taking taylor expansion of 0 in a
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [taylor]: Taking taylor expansion of 0 in a
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.284 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.285 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.285 * [taylor]: Taking taylor expansion of 0 in a
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [taylor]: Taking taylor expansion of 0 in a
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [taylor]: Taking taylor expansion of 0 in a
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.285 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.285 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.285 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.285 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.286 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.286 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.286 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.286 * [taylor]: Taking taylor expansion of 0 in a
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [taylor]: Taking taylor expansion of 0 in a
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [taylor]: Taking taylor expansion of 0 in a
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.286 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1 1)
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.287 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.287 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.287 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.287 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.287 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.287 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.288 * [backup-simplify]: Simplify 0 into 0
7.288 * [backup-simplify]: Simplify 0 into 0
7.288 * [backup-simplify]: Simplify 0 into 0
7.288 * [taylor]: Taking taylor expansion of 0 in a
7.288 * [backup-simplify]: Simplify 0 into 0
7.288 * [backup-simplify]: Simplify 0 into 0
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.288 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.289 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.289 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.289 * [taylor]: Taking taylor expansion of 0 in a
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [taylor]: Taking taylor expansion of 0 in a
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [taylor]: Taking taylor expansion of 0 in a
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.289 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
7.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.290 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.290 * [taylor]: Taking taylor expansion of 0 in a
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [taylor]: Taking taylor expansion of 0 in a
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [taylor]: Taking taylor expansion of 0 in a
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.291 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.292 * [taylor]: Taking taylor expansion of 0 in a
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [taylor]: Taking taylor expansion of 0 in a
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [taylor]: Taking taylor expansion of 0 in a
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.292 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.292 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.292 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.292 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.293 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.293 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.293 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.293 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.293 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.293 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.293 * [taylor]: Taking taylor expansion of 0 in a
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [taylor]: Taking taylor expansion of 0 in a
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [taylor]: Taking taylor expansion of 0 in a
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.294 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
7.294 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.294 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.294 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.294 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.294 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.294 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.294 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.294 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.294 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.294 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.294 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.294 * [taylor]: Taking taylor expansion of 0 in a
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [taylor]: Taking taylor expansion of 0 in a
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [taylor]: Taking taylor expansion of 0 in a
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.295 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.296 * [taylor]: Taking taylor expansion of 0 in a
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [taylor]: Taking taylor expansion of 0 in a
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [taylor]: Taking taylor expansion of 0 in a
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.296 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.297 * [taylor]: Taking taylor expansion of 0 in a
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [taylor]: Taking taylor expansion of 0 in a
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.298 * [backup-simplify]: Simplify 0 into 0
7.298 * [backup-simplify]: Simplify 0 into 0
7.298 * [taylor]: Taking taylor expansion of 0 in a
7.298 * [backup-simplify]: Simplify 0 into 0
7.298 * [backup-simplify]: Simplify 0 into 0
7.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.298 * * * [progress]: simplifying candidates
7.298 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
7.298 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
7.298 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
7.298 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
7.298 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
7.298 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
7.298 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))))>
7.298 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))>
7.298 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.299 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.300 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.301 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.301 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.301 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.301 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.301 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.301 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
7.302 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
7.302 * * [simplify]: iteration 1: (13 enodes)
7.305 * * [simplify]: iteration 2: (43 enodes)
7.312 * * [simplify]: iteration 3: (58 enodes)
7.320 * * [simplify]: iteration 4: (68 enodes)
7.331 * * [simplify]: iteration 5: (80 enodes)
7.355 * * [simplify]: iteration 6: (95 enodes)
7.386 * * [simplify]: iteration 7: (120 enodes)
7.422 * * [simplify]: iteration 8: (166 enodes)
7.456 * * [simplify]: iteration 9: (276 enodes)
7.570 * * [simplify]: iteration 10: (655 enodes)
8.243 * * [simplify]: Extracting #0: cost 8 inf + 0
8.244 * * [simplify]: Extracting #1: cost 19 inf + 0
8.244 * * [simplify]: Extracting #2: cost 99 inf + 1
8.246 * * [simplify]: Extracting #3: cost 330 inf + 2204
8.251 * * [simplify]: Extracting #4: cost 303 inf + 14473
8.281 * * [simplify]: Extracting #5: cost 124 inf + 165941
8.332 * * [simplify]: Extracting #6: cost 4 inf + 277241
8.384 * * [simplify]: Extracting #7: cost 0 inf + 280013
8.425 * * [simplify]: Extracting #8: cost 0 inf + 279140
8.482 * * [simplify]: Extracting #9: cost 0 inf + 279020
8.531 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
8.538 * * * [progress]: adding candidates to table
9.368 * [progress]: [Phase 3 of 3] Extracting.
9.368 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))> #<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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>)
9.372 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
9.372 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))> #<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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>)
9.526 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))> #<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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>)
9.719 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))> #<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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>)
9.924 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))> #<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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>)
10.077 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))> #<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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>)
10.288 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
10.289 * [simplify]: Simplifying (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))))))))
10.289 * * [simplify]: iteration 1: (13 enodes)
10.291 * * [simplify]: iteration 2: (15 enodes)
10.292 * * [simplify]: Extracting #0: cost 1 inf + 0
10.292 * * [simplify]: Extracting #1: cost 2 inf + 0
10.292 * * [simplify]: Extracting #2: cost 3 inf + 0
10.292 * * [simplify]: Extracting #3: cost 5 inf + 0
10.292 * * [simplify]: Extracting #4: cost 8 inf + 0
10.292 * * [simplify]: Extracting #5: cost 9 inf + 0
10.292 * * [simplify]: Extracting #6: cost 11 inf + 0
10.292 * * [simplify]: Extracting #7: cost 13 inf + 0
10.292 * * [simplify]: Extracting #8: cost 10 inf + 93
10.292 * * [simplify]: Extracting #9: cost 9 inf + 149
10.293 * * [simplify]: Extracting #10: cost 6 inf + 1020
10.293 * * [simplify]: Extracting #11: cost 3 inf + 2201
10.293 * * [simplify]: Extracting #12: cost 1 inf + 3335
10.294 * * [simplify]: Extracting #13: cost 0 inf + 4012
10.295 * [simplify]: Simplified to (exp (cbrt (* (* (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)))))))
30.671 * [regime-testing]: Baseline error score: 34.18375212662495
30.673 * [regime-testing]: Oracle error score: 33.947066136707626
30.678 * [regime-testing]: End program error score: 34.18375212662495