0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.703 * * * [progress]: [2/2] Setting up program.
0.710 * [progress]: [Phase 2 of 3] Improving.
0.711 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.712 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
0.714 * * [simplify]: iters left: 2 (5 enodes)
0.721 * * [simplify]: iters left: 1 (21 enodes)
0.732 * * [simplify]: Extracting #0: cost 1 inf + 0
0.732 * * [simplify]: Extracting #1: cost 4 inf + 0
0.732 * * [simplify]: Extracting #2: cost 10 inf + 0
0.733 * * [simplify]: Extracting #3: cost 10 inf + 3
0.733 * * [simplify]: Extracting #4: cost 9 inf + 368
0.733 * * [simplify]: Extracting #5: cost 5 inf + 809
0.733 * * [simplify]: Extracting #6: cost 0 inf + 1620
0.733 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
0.733 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
0.738 * * [progress]: iteration 1 / 4
0.738 * * * [progress]: picking best candidate
0.762 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.762 * * * [progress]: localizing error
0.775 * * * [progress]: generating rewritten candidates
0.775 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.777 * * * [progress]: generating series expansions
0.778 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.780 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.781 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.782 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.782 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.782 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.782 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.783 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.783 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.783 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.783 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.783 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [backup-simplify]: Simplify 0 into 0
0.784 * [backup-simplify]: Simplify 0 into 0
0.784 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.785 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.785 * [taylor]: Taking taylor expansion of 0 in a
0.785 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [taylor]: Taking taylor expansion of 0 in a
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [taylor]: Taking taylor expansion of 0 in a
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.786 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.786 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.786 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.786 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.787 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.787 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.787 * [taylor]: Taking taylor expansion of 0 in a
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [taylor]: Taking taylor expansion of 0 in a
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [taylor]: Taking taylor expansion of 0 in a
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.787 * * * [progress]: simplifying candidates
0.787 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
0.787 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
0.787 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.787 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.787 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.787 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
0.787 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
0.787 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.787 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.788 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.788 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.788 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
0.788 * * [simplify]: iters left: 2 (5 enodes)
0.789 * * [simplify]: iters left: 1 (21 enodes)
0.793 * * [simplify]: Extracting #0: cost 1 inf + 0
0.793 * * [simplify]: Extracting #1: cost 4 inf + 0
0.793 * * [simplify]: Extracting #2: cost 10 inf + 0
0.793 * * [simplify]: Extracting #3: cost 10 inf + 3
0.793 * * [simplify]: Extracting #4: cost 9 inf + 368
0.793 * * [simplify]: Extracting #5: cost 5 inf + 809
0.793 * * [simplify]: Extracting #6: cost 0 inf + 1620
0.793 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
0.793 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
0.794 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.794 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
0.794 * * [simplify]: iters left: 2 (5 enodes)
0.795 * * [simplify]: iters left: 1 (21 enodes)
0.798 * * [simplify]: Extracting #0: cost 1 inf + 0
0.798 * * [simplify]: Extracting #1: cost 4 inf + 0
0.798 * * [simplify]: Extracting #2: cost 10 inf + 0
0.798 * * [simplify]: Extracting #3: cost 10 inf + 3
0.799 * * [simplify]: Extracting #4: cost 9 inf + 368
0.799 * * [simplify]: Extracting #5: cost 5 inf + 809
0.799 * * [simplify]: Extracting #6: cost 0 inf + 1620
0.800 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
0.800 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
0.800 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.800 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
0.800 * * [simplify]: iters left: 2 (5 enodes)
0.802 * * [simplify]: iters left: 1 (21 enodes)
0.809 * * [simplify]: Extracting #0: cost 1 inf + 0
0.809 * * [simplify]: Extracting #1: cost 4 inf + 0
0.809 * * [simplify]: Extracting #2: cost 10 inf + 0
0.809 * * [simplify]: Extracting #3: cost 10 inf + 3
0.809 * * [simplify]: Extracting #4: cost 9 inf + 368
0.809 * * [simplify]: Extracting #5: cost 5 inf + 809
0.810 * * [simplify]: Extracting #6: cost 0 inf + 1620
0.810 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
0.810 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
0.810 * * * [progress]: adding candidates to table
0.979 * * [progress]: iteration 2 / 4
0.979 * * * [progress]: picking best candidate
1.028 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.028 * * * [progress]: localizing error
1.058 * * * [progress]: generating rewritten candidates
1.058 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.059 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.062 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.067 * * * [progress]: generating series expansions
1.067 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.067 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.067 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.067 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.067 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.068 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.068 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.068 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.068 * [taylor]: Taking taylor expansion of 0 in a
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [taylor]: Taking taylor expansion of 0 in a
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [taylor]: Taking taylor expansion of 0 in a
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.068 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.069 * [taylor]: Taking taylor expansion of 0 in a
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [taylor]: Taking taylor expansion of 0 in a
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [taylor]: Taking taylor expansion of 0 in a
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.069 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.070 * [taylor]: Taking taylor expansion of 0 in a
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [taylor]: Taking taylor expansion of 0 in a
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [taylor]: Taking taylor expansion of 0 in a
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.070 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.070 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.070 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.070 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.070 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.070 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.070 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.070 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.070 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.071 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.071 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.072 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1.072 * [taylor]: Taking taylor expansion of 0 in a
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1.072 * [backup-simplify]: Simplify 0 into 0
1.074 * [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
1.074 * [taylor]: Taking taylor expansion of 0 in a
1.074 * [backup-simplify]: Simplify 0 into 0
1.074 * [backup-simplify]: Simplify 0 into 0
1.074 * [backup-simplify]: Simplify 0 into 0
1.075 * [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
1.075 * [backup-simplify]: Simplify 0 into 0
1.077 * [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
1.077 * [taylor]: Taking taylor expansion of 0 in a
1.077 * [backup-simplify]: Simplify 0 into 0
1.077 * [backup-simplify]: Simplify 0 into 0
1.077 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.078 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.079 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1.079 * [taylor]: Taking taylor expansion of 0 in a
1.079 * [backup-simplify]: Simplify 0 into 0
1.079 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1.080 * [backup-simplify]: Simplify 0 into 0
1.081 * [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
1.081 * [taylor]: Taking taylor expansion of 0 in a
1.081 * [backup-simplify]: Simplify 0 into 0
1.081 * [backup-simplify]: Simplify 0 into 0
1.081 * [backup-simplify]: Simplify 0 into 0
1.082 * [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
1.082 * [backup-simplify]: Simplify 0 into 0
1.083 * [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
1.083 * [taylor]: Taking taylor expansion of 0 in a
1.084 * [backup-simplify]: Simplify 0 into 0
1.084 * [backup-simplify]: Simplify 0 into 0
1.084 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1.084 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.084 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.084 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.084 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.084 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.084 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.084 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.084 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.084 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.084 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.084 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.084 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.084 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.084 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.085 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.085 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1.085 * [taylor]: Taking taylor expansion of 0 in a
1.085 * [backup-simplify]: Simplify 0 into 0
1.085 * [backup-simplify]: Simplify 0 into 0
1.086 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1.086 * [backup-simplify]: Simplify 0 into 0
1.087 * [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
1.087 * [taylor]: Taking taylor expansion of 0 in a
1.087 * [backup-simplify]: Simplify 0 into 0
1.087 * [backup-simplify]: Simplify 0 into 0
1.087 * [backup-simplify]: Simplify 0 into 0
1.088 * [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
1.088 * [backup-simplify]: Simplify 0 into 0
1.090 * [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
1.090 * [taylor]: Taking taylor expansion of 0 in a
1.090 * [backup-simplify]: Simplify 0 into 0
1.090 * [backup-simplify]: Simplify 0 into 0
1.090 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1.090 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.090 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1.090 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.090 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.090 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.090 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.090 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.090 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.090 * [taylor]: Taking taylor expansion of 0 in a
1.090 * [backup-simplify]: Simplify 0 into 0
1.090 * [backup-simplify]: Simplify 0 into 0
1.090 * [backup-simplify]: Simplify 0 into 0
1.090 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.091 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.091 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.091 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.092 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.092 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.092 * [taylor]: Taking taylor expansion of 0 in a
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [taylor]: Taking taylor expansion of 0 in a
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [taylor]: Taking taylor expansion of 0 in a
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.092 * * * [progress]: simplifying candidates
1.092 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1.092 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1.093 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1.093 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1.093 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1.093 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1.093 * * [simplify]: iters left: 6 (8 enodes)
1.095 * * [simplify]: iters left: 5 (32 enodes)
1.102 * * [simplify]: iters left: 4 (47 enodes)
1.115 * * [simplify]: iters left: 3 (51 enodes)
1.128 * * [simplify]: iters left: 2 (53 enodes)
1.136 * * [simplify]: Extracting #0: cost 1 inf + 0
1.136 * * [simplify]: Extracting #1: cost 4 inf + 0
1.136 * * [simplify]: Extracting #2: cost 7 inf + 0
1.136 * * [simplify]: Extracting #3: cost 9 inf + 0
1.136 * * [simplify]: Extracting #4: cost 12 inf + 0
1.136 * * [simplify]: Extracting #5: cost 18 inf + 0
1.136 * * [simplify]: Extracting #6: cost 16 inf + 185
1.136 * * [simplify]: Extracting #7: cost 18 inf + 312
1.136 * * [simplify]: Extracting #8: cost 12 inf + 1292
1.137 * * [simplify]: Extracting #9: cost 1 inf + 4069
1.137 * * [simplify]: Extracting #10: cost 0 inf + 4436
1.138 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1.138 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
1.138 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1.138 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1.138 * * [simplify]: iters left: 4 (7 enodes)
1.139 * * [simplify]: iters left: 3 (27 enodes)
1.144 * * [simplify]: iters left: 2 (40 enodes)
1.153 * * [simplify]: iters left: 1 (44 enodes)
1.166 * * [simplify]: Extracting #0: cost 1 inf + 0
1.166 * * [simplify]: Extracting #1: cost 3 inf + 0
1.166 * * [simplify]: Extracting #2: cost 5 inf + 0
1.166 * * [simplify]: Extracting #3: cost 8 inf + 0
1.166 * * [simplify]: Extracting #4: cost 14 inf + 0
1.166 * * [simplify]: Extracting #5: cost 13 inf + 94
1.166 * * [simplify]: Extracting #6: cost 13 inf + 368
1.167 * * [simplify]: Extracting #7: cost 7 inf + 1177
1.167 * * [simplify]: Extracting #8: cost 0 inf + 2788
1.168 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1.168 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1.168 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1.168 * [simplify]: Simplifying (log 1)
1.168 * * [simplify]: iters left: 1 (2 enodes)
1.171 * * [simplify]: Extracting #0: cost 1 inf + 0
1.171 * * [simplify]: Extracting #1: cost 0 inf + 1
1.172 * [simplify]: Simplified to 0
1.172 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1.172 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1.172 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1.172 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.172 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1.172 * * [simplify]: iters left: 2 (5 enodes)
1.174 * * [simplify]: iters left: 1 (21 enodes)
1.181 * * [simplify]: Extracting #0: cost 1 inf + 0
1.181 * * [simplify]: Extracting #1: cost 4 inf + 0
1.181 * * [simplify]: Extracting #2: cost 10 inf + 0
1.181 * * [simplify]: Extracting #3: cost 10 inf + 3
1.181 * * [simplify]: Extracting #4: cost 9 inf + 368
1.182 * * [simplify]: Extracting #5: cost 5 inf + 809
1.182 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.182 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1.182 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1.183 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1.183 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1.183 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1.183 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1.183 * [simplify]: Simplifying (exp 1)
1.183 * * [simplify]: iters left: 1 (2 enodes)
1.185 * * [simplify]: Extracting #0: cost 1 inf + 0
1.185 * * [simplify]: Extracting #1: cost 0 inf + 1
1.185 * [simplify]: Simplified to E
1.185 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1.185 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1.185 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1.186 * * [simplify]: iters left: 6 (9 enodes)
1.189 * * [simplify]: iters left: 5 (35 enodes)
1.200 * * [simplify]: iters left: 4 (53 enodes)
1.208 * * [simplify]: iters left: 3 (66 enodes)
1.220 * * [simplify]: iters left: 2 (92 enodes)
1.252 * * [simplify]: iters left: 1 (144 enodes)
1.298 * * [simplify]: Extracting #0: cost 1 inf + 0
1.298 * * [simplify]: Extracting #1: cost 15 inf + 0
1.298 * * [simplify]: Extracting #2: cost 53 inf + 1
1.299 * * [simplify]: Extracting #3: cost 71 inf + 4
1.299 * * [simplify]: Extracting #4: cost 75 inf + 5
1.299 * * [simplify]: Extracting #5: cost 80 inf + 5
1.299 * * [simplify]: Extracting #6: cost 78 inf + 245
1.300 * * [simplify]: Extracting #7: cost 69 inf + 4045
1.302 * * [simplify]: Extracting #8: cost 35 inf + 19243
1.306 * * [simplify]: Extracting #9: cost 4 inf + 43907
1.311 * * [simplify]: Extracting #10: cost 0 inf + 46719
1.317 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1.317 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1.317 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1.317 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1.317 * * [simplify]: iters left: 5 (8 enodes)
1.319 * * [simplify]: iters left: 4 (30 enodes)
1.323 * * [simplify]: iters left: 3 (43 enodes)
1.330 * * [simplify]: iters left: 2 (47 enodes)
1.338 * * [simplify]: iters left: 1 (49 enodes)
1.345 * * [simplify]: Extracting #0: cost 1 inf + 0
1.345 * * [simplify]: Extracting #1: cost 3 inf + 0
1.345 * * [simplify]: Extracting #2: cost 5 inf + 0
1.345 * * [simplify]: Extracting #3: cost 7 inf + 0
1.345 * * [simplify]: Extracting #4: cost 10 inf + 0
1.345 * * [simplify]: Extracting #5: cost 16 inf + 0
1.345 * * [simplify]: Extracting #6: cost 15 inf + 94
1.345 * * [simplify]: Extracting #7: cost 16 inf + 312
1.345 * * [simplify]: Extracting #8: cost 9 inf + 1489
1.346 * * [simplify]: Extracting #9: cost 0 inf + 3642
1.346 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1.346 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1.346 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1.346 * [simplify]: Simplifying (exp 1)
1.346 * * [simplify]: iters left: 1 (2 enodes)
1.349 * * [simplify]: Extracting #0: cost 1 inf + 0
1.349 * * [simplify]: Extracting #1: cost 0 inf + 1
1.349 * [simplify]: Simplified to E
1.349 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1.350 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1.350 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1.350 * * [simplify]: iters left: 6 (9 enodes)
1.352 * * [simplify]: iters left: 5 (33 enodes)
1.357 * * [simplify]: iters left: 4 (50 enodes)
1.364 * * [simplify]: iters left: 3 (54 enodes)
1.378 * * [simplify]: iters left: 2 (56 enodes)
1.394 * * [simplify]: Extracting #0: cost 1 inf + 0
1.394 * * [simplify]: Extracting #1: cost 4 inf + 0
1.394 * * [simplify]: Extracting #2: cost 8 inf + 0
1.394 * * [simplify]: Extracting #3: cost 12 inf + 0
1.394 * * [simplify]: Extracting #4: cost 18 inf + 0
1.394 * * [simplify]: Extracting #5: cost 17 inf + 94
1.394 * * [simplify]: Extracting #6: cost 18 inf + 312
1.394 * * [simplify]: Extracting #7: cost 9 inf + 1659
1.395 * * [simplify]: Extracting #8: cost 3 inf + 3255
1.396 * * [simplify]: Extracting #9: cost 1 inf + 4029
1.397 * * [simplify]: Extracting #10: cost 0 inf + 4436
1.398 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1.398 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))
1.398 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1.398 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1.398 * * [simplify]: iters left: 5 (8 enodes)
1.401 * * [simplify]: iters left: 4 (28 enodes)
1.410 * * [simplify]: iters left: 3 (41 enodes)
1.423 * * [simplify]: iters left: 2 (45 enodes)
1.436 * * [simplify]: iters left: 1 (47 enodes)
1.444 * * [simplify]: Extracting #0: cost 1 inf + 0
1.444 * * [simplify]: Extracting #1: cost 4 inf + 0
1.444 * * [simplify]: Extracting #2: cost 8 inf + 0
1.444 * * [simplify]: Extracting #3: cost 14 inf + 0
1.444 * * [simplify]: Extracting #4: cost 13 inf + 94
1.444 * * [simplify]: Extracting #5: cost 14 inf + 312
1.445 * * [simplify]: Extracting #6: cost 7 inf + 1429
1.445 * * [simplify]: Extracting #7: cost 1 inf + 2567
1.445 * * [simplify]: Extracting #8: cost 0 inf + 2788
1.445 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a)))
1.446 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1.446 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1.446 * [simplify]: Simplifying (exp (log 1))
1.446 * * [simplify]: iters left: 2 (3 enodes)
1.447 * * [simplify]: iters left: 1 (9 enodes)
1.449 * * [simplify]: Extracting #0: cost 1 inf + 0
1.449 * * [simplify]: Extracting #1: cost 0 inf + 1
1.449 * [simplify]: Simplified to 1
1.449 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1.449 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.449 * [simplify]: Simplifying (cosh c)
1.449 * * [simplify]: iters left: 1 (2 enodes)
1.450 * * [simplify]: Extracting #0: cost 1 inf + 0
1.450 * * [simplify]: Extracting #1: cost 5 inf + 0
1.450 * * [simplify]: Extracting #2: cost 5 inf + 2
1.450 * * [simplify]: Extracting #3: cost 3 inf + 185
1.450 * * [simplify]: Extracting #4: cost 0 inf + 558
1.450 * [simplify]: Simplified to (cosh c)
1.450 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1.450 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1.450 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1.450 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1.450 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1.450 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1.450 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1.450 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1.450 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.450 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1.451 * * [simplify]: iters left: 2 (5 enodes)
1.452 * * [simplify]: iters left: 1 (21 enodes)
1.455 * * [simplify]: Extracting #0: cost 1 inf + 0
1.455 * * [simplify]: Extracting #1: cost 4 inf + 0
1.455 * * [simplify]: Extracting #2: cost 10 inf + 0
1.455 * * [simplify]: Extracting #3: cost 10 inf + 3
1.455 * * [simplify]: Extracting #4: cost 9 inf + 368
1.455 * * [simplify]: Extracting #5: cost 5 inf + 809
1.456 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.456 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1.456 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1.456 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.456 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1.456 * * [simplify]: iters left: 2 (5 enodes)
1.457 * * [simplify]: iters left: 1 (21 enodes)
1.461 * * [simplify]: Extracting #0: cost 1 inf + 0
1.461 * * [simplify]: Extracting #1: cost 4 inf + 0
1.461 * * [simplify]: Extracting #2: cost 10 inf + 0
1.461 * * [simplify]: Extracting #3: cost 10 inf + 3
1.461 * * [simplify]: Extracting #4: cost 9 inf + 368
1.461 * * [simplify]: Extracting #5: cost 5 inf + 809
1.461 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.462 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1.462 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1.462 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.462 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1.462 * * [simplify]: iters left: 2 (5 enodes)
1.463 * * [simplify]: iters left: 1 (21 enodes)
1.468 * * [simplify]: Extracting #0: cost 1 inf + 0
1.468 * * [simplify]: Extracting #1: cost 4 inf + 0
1.468 * * [simplify]: Extracting #2: cost 10 inf + 0
1.468 * * [simplify]: Extracting #3: cost 10 inf + 3
1.468 * * [simplify]: Extracting #4: cost 9 inf + 368
1.468 * * [simplify]: Extracting #5: cost 5 inf + 809
1.468 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.469 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1.469 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1.469 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.469 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1.469 * * [simplify]: iters left: 3 (6 enodes)
1.470 * * [simplify]: iters left: 2 (24 enodes)
1.474 * * [simplify]: iters left: 1 (37 enodes)
1.480 * * [simplify]: Extracting #0: cost 1 inf + 0
1.480 * * [simplify]: Extracting #1: cost 3 inf + 0
1.480 * * [simplify]: Extracting #2: cost 6 inf + 0
1.480 * * [simplify]: Extracting #3: cost 12 inf + 0
1.480 * * [simplify]: Extracting #4: cost 12 inf + 3
1.480 * * [simplify]: Extracting #5: cost 13 inf + 221
1.480 * * [simplify]: Extracting #6: cost 6 inf + 1202
1.481 * * [simplify]: Extracting #7: cost 1 inf + 1973
1.481 * * [simplify]: Extracting #8: cost 0 inf + 2194
1.481 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1.481 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1.481 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.481 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1.481 * * [simplify]: iters left: 3 (6 enodes)
1.483 * * [simplify]: iters left: 2 (24 enodes)
1.487 * * [simplify]: iters left: 1 (37 enodes)
1.493 * * [simplify]: Extracting #0: cost 1 inf + 0
1.493 * * [simplify]: Extracting #1: cost 3 inf + 0
1.493 * * [simplify]: Extracting #2: cost 6 inf + 0
1.493 * * [simplify]: Extracting #3: cost 12 inf + 0
1.493 * * [simplify]: Extracting #4: cost 12 inf + 3
1.493 * * [simplify]: Extracting #5: cost 13 inf + 221
1.493 * * [simplify]: Extracting #6: cost 6 inf + 1202
1.493 * * [simplify]: Extracting #7: cost 1 inf + 1973
1.494 * * [simplify]: Extracting #8: cost 0 inf + 2194
1.494 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1.494 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1.494 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.494 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1.494 * * [simplify]: iters left: 3 (6 enodes)
1.496 * * [simplify]: iters left: 2 (24 enodes)
1.500 * * [simplify]: iters left: 1 (37 enodes)
1.506 * * [simplify]: Extracting #0: cost 1 inf + 0
1.506 * * [simplify]: Extracting #1: cost 3 inf + 0
1.506 * * [simplify]: Extracting #2: cost 6 inf + 0
1.506 * * [simplify]: Extracting #3: cost 12 inf + 0
1.506 * * [simplify]: Extracting #4: cost 12 inf + 3
1.506 * * [simplify]: Extracting #5: cost 13 inf + 221
1.506 * * [simplify]: Extracting #6: cost 6 inf + 1202
1.507 * * [simplify]: Extracting #7: cost 1 inf + 1973
1.507 * * [simplify]: Extracting #8: cost 0 inf + 2194
1.508 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1.508 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1.508 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.508 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1.508 * * [simplify]: iters left: 2 (5 enodes)
1.510 * * [simplify]: iters left: 1 (21 enodes)
1.517 * * [simplify]: Extracting #0: cost 1 inf + 0
1.517 * * [simplify]: Extracting #1: cost 4 inf + 0
1.517 * * [simplify]: Extracting #2: cost 10 inf + 0
1.517 * * [simplify]: Extracting #3: cost 10 inf + 3
1.518 * * [simplify]: Extracting #4: cost 9 inf + 368
1.518 * * [simplify]: Extracting #5: cost 5 inf + 809
1.518 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.519 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1.519 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1.519 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.519 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1.519 * * [simplify]: iters left: 2 (5 enodes)
1.521 * * [simplify]: iters left: 1 (21 enodes)
1.528 * * [simplify]: Extracting #0: cost 1 inf + 0
1.528 * * [simplify]: Extracting #1: cost 4 inf + 0
1.528 * * [simplify]: Extracting #2: cost 10 inf + 0
1.528 * * [simplify]: Extracting #3: cost 10 inf + 3
1.528 * * [simplify]: Extracting #4: cost 9 inf + 368
1.529 * * [simplify]: Extracting #5: cost 5 inf + 809
1.529 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.529 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1.530 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1.530 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.530 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1.530 * * [simplify]: iters left: 2 (5 enodes)
1.532 * * [simplify]: iters left: 1 (21 enodes)
1.539 * * [simplify]: Extracting #0: cost 1 inf + 0
1.539 * * [simplify]: Extracting #1: cost 4 inf + 0
1.539 * * [simplify]: Extracting #2: cost 10 inf + 0
1.539 * * [simplify]: Extracting #3: cost 10 inf + 3
1.540 * * [simplify]: Extracting #4: cost 9 inf + 368
1.540 * * [simplify]: Extracting #5: cost 5 inf + 809
1.540 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.541 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1.541 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1.541 * * * [progress]: adding candidates to table
2.209 * * [progress]: iteration 3 / 4
2.209 * * * [progress]: picking best candidate
2.273 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
2.273 * * * [progress]: localizing error
2.315 * * * [progress]: generating rewritten candidates
2.315 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
2.316 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
2.318 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.324 * * * [progress]: generating series expansions
2.324 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
2.324 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.324 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.324 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.325 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.325 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.325 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.325 * [taylor]: Taking taylor expansion of 0 in a
2.325 * [backup-simplify]: Simplify 0 into 0
2.325 * [backup-simplify]: Simplify 0 into 0
2.325 * [backup-simplify]: Simplify 0 into 0
2.325 * [taylor]: Taking taylor expansion of 0 in a
2.325 * [backup-simplify]: Simplify 0 into 0
2.325 * [backup-simplify]: Simplify 0 into 0
2.325 * [backup-simplify]: Simplify 0 into 0
2.325 * [backup-simplify]: Simplify 0 into 0
2.325 * [taylor]: Taking taylor expansion of 0 in a
2.326 * [backup-simplify]: Simplify 0 into 0
2.326 * [backup-simplify]: Simplify 0 into 0
2.326 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.326 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.327 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.327 * [taylor]: Taking taylor expansion of 0 in a
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [taylor]: Taking taylor expansion of 0 in a
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [taylor]: Taking taylor expansion of 0 in a
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.327 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.327 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.328 * [taylor]: Taking taylor expansion of 0 in a
2.328 * [backup-simplify]: Simplify 0 into 0
2.328 * [backup-simplify]: Simplify 0 into 0
2.328 * [backup-simplify]: Simplify 0 into 0
2.328 * [taylor]: Taking taylor expansion of 0 in a
2.328 * [backup-simplify]: Simplify 0 into 0
2.328 * [backup-simplify]: Simplify 0 into 0
2.329 * [backup-simplify]: Simplify 0 into 0
2.329 * [backup-simplify]: Simplify 0 into 0
2.329 * [taylor]: Taking taylor expansion of 0 in a
2.329 * [backup-simplify]: Simplify 0 into 0
2.329 * [backup-simplify]: Simplify 0 into 0
2.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.329 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
2.329 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.329 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.329 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.329 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.329 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.329 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.329 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.329 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.330 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.330 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.330 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.331 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.331 * [taylor]: Taking taylor expansion of 0 in a
2.331 * [backup-simplify]: Simplify 0 into 0
2.331 * [backup-simplify]: Simplify 0 into 0
2.332 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.332 * [backup-simplify]: Simplify 0 into 0
2.334 * [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.334 * [taylor]: Taking taylor expansion of 0 in a
2.334 * [backup-simplify]: Simplify 0 into 0
2.334 * [backup-simplify]: Simplify 0 into 0
2.334 * [backup-simplify]: Simplify 0 into 0
2.336 * [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.336 * [backup-simplify]: Simplify 0 into 0
2.339 * [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.339 * [taylor]: Taking taylor expansion of 0 in a
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.339 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.339 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.341 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.341 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.342 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.342 * [taylor]: Taking taylor expansion of 0 in a
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.344 * [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.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.345 * [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.345 * [backup-simplify]: Simplify 0 into 0
2.347 * [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.347 * [taylor]: Taking taylor expansion of 0 in a
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
2.347 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.347 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.347 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.347 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.347 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.347 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.347 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.347 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.348 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.348 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.348 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.348 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.348 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.348 * [taylor]: Taking taylor expansion of 0 in a
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify 0 into 0
2.349 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.350 * [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.350 * [taylor]: Taking taylor expansion of 0 in a
2.350 * [backup-simplify]: Simplify 0 into 0
2.350 * [backup-simplify]: Simplify 0 into 0
2.350 * [backup-simplify]: Simplify 0 into 0
2.351 * [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.351 * [backup-simplify]: Simplify 0 into 0
2.353 * [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.353 * [taylor]: Taking taylor expansion of 0 in a
2.353 * [backup-simplify]: Simplify 0 into 0
2.353 * [backup-simplify]: Simplify 0 into 0
2.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
2.353 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.353 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
2.353 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
2.353 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
2.353 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
2.353 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
2.353 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.353 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.354 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.354 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.354 * [taylor]: Taking taylor expansion of (log E) in a
2.354 * [taylor]: Taking taylor expansion of E in a
2.354 * [backup-simplify]: Simplify E into E
2.354 * [backup-simplify]: Simplify (log E) into 1
2.354 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
2.354 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.354 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
2.354 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
2.354 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
2.354 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.354 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.354 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.354 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.354 * [taylor]: Taking taylor expansion of (log E) in c
2.354 * [taylor]: Taking taylor expansion of E in c
2.354 * [backup-simplify]: Simplify E into E
2.354 * [backup-simplify]: Simplify (log E) into 1
2.354 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
2.354 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.354 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
2.354 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
2.354 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
2.354 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.354 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.354 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.355 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.355 * [taylor]: Taking taylor expansion of (log E) in c
2.355 * [taylor]: Taking taylor expansion of E in c
2.355 * [backup-simplify]: Simplify E into E
2.355 * [backup-simplify]: Simplify (log E) into 1
2.355 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
2.355 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.355 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.355 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.355 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
2.357 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.357 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
2.357 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
2.357 * [taylor]: Taking taylor expansion of 0 in a
2.357 * [backup-simplify]: Simplify 0 into 0
2.357 * [backup-simplify]: Simplify 0 into 0
2.357 * [backup-simplify]: Simplify 0 into 0
2.359 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
2.360 * [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.360 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
2.361 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.361 * [taylor]: Taking taylor expansion of 0 in a
2.361 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify 0 into 0
2.364 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
2.366 * [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.367 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.368 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.368 * [taylor]: Taking taylor expansion of 0 in a
2.368 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.368 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
2.368 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
2.368 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
2.368 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
2.368 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
2.368 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.368 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.368 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.368 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.368 * [taylor]: Taking taylor expansion of (log E) in a
2.368 * [taylor]: Taking taylor expansion of E in a
2.368 * [backup-simplify]: Simplify E into E
2.368 * [backup-simplify]: Simplify (log E) into 1
2.368 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.368 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.368 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.368 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
2.368 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
2.368 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.368 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.369 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.369 * [taylor]: Taking taylor expansion of (log E) in c
2.369 * [taylor]: Taking taylor expansion of E in c
2.369 * [backup-simplify]: Simplify E into E
2.369 * [backup-simplify]: Simplify (log E) into 1
2.369 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.369 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.369 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.369 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
2.369 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
2.369 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.369 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.369 * [taylor]: Taking taylor expansion of (log E) in c
2.369 * [taylor]: Taking taylor expansion of E in c
2.369 * [backup-simplify]: Simplify E into E
2.369 * [backup-simplify]: Simplify (log E) into 1
2.369 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.369 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.370 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
2.371 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.371 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
2.372 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
2.372 * [taylor]: Taking taylor expansion of 0 in a
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.373 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
2.374 * [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.375 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
2.376 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.376 * [taylor]: Taking taylor expansion of 0 in a
2.376 * [backup-simplify]: Simplify 0 into 0
2.376 * [backup-simplify]: Simplify 0 into 0
2.376 * [backup-simplify]: Simplify 0 into 0
2.376 * [backup-simplify]: Simplify 0 into 0
2.379 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
2.380 * [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.381 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.382 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.382 * [taylor]: Taking taylor expansion of 0 in a
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.382 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
2.382 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
2.382 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
2.382 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
2.382 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
2.382 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.382 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.382 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.382 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.382 * [taylor]: Taking taylor expansion of (log E) in a
2.382 * [taylor]: Taking taylor expansion of E in a
2.382 * [backup-simplify]: Simplify E into E
2.382 * [backup-simplify]: Simplify (log E) into 1
2.382 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.383 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.383 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.383 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
2.383 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
2.383 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.383 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.383 * [taylor]: Taking taylor expansion of (log E) in c
2.383 * [taylor]: Taking taylor expansion of E in c
2.383 * [backup-simplify]: Simplify E into E
2.383 * [backup-simplify]: Simplify (log E) into 1
2.383 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.383 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.383 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.383 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
2.383 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
2.383 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.383 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.383 * [taylor]: Taking taylor expansion of (log E) in c
2.383 * [taylor]: Taking taylor expansion of E in c
2.383 * [backup-simplify]: Simplify E into E
2.383 * [backup-simplify]: Simplify (log E) into 1
2.383 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.383 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.384 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.384 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.384 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
2.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.385 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
2.386 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) 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.388 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
2.389 * [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.389 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
2.390 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.390 * [taylor]: Taking taylor expansion of 0 in a
2.390 * [backup-simplify]: Simplify 0 into 0
2.390 * [backup-simplify]: Simplify 0 into 0
2.390 * [backup-simplify]: Simplify 0 into 0
2.390 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
2.395 * [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.395 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.396 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.396 * [taylor]: Taking taylor expansion of 0 in a
2.396 * [backup-simplify]: Simplify 0 into 0
2.396 * [backup-simplify]: Simplify 0 into 0
2.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.396 * * * [progress]: simplifying candidates
2.396 * * * * [progress]: [ 1 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
2.396 * * * * [progress]: [ 2 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
2.396 * * * * [progress]: [ 3 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
2.396 * * * * [progress]: [ 4 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 5 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 6 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 7 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 8 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 9 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
2.397 * * * * [progress]: [ 10 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 11 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 12 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
2.397 * * * * [progress]: [ 13 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.397 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
2.397 * * [simplify]: iters left: 6 (8 enodes)
2.399 * * [simplify]: iters left: 5 (32 enodes)
2.404 * * [simplify]: iters left: 4 (47 enodes)
2.416 * * [simplify]: iters left: 3 (51 enodes)
2.423 * * [simplify]: iters left: 2 (53 enodes)
2.431 * * [simplify]: Extracting #0: cost 1 inf + 0
2.431 * * [simplify]: Extracting #1: cost 4 inf + 0
2.431 * * [simplify]: Extracting #2: cost 7 inf + 0
2.431 * * [simplify]: Extracting #3: cost 9 inf + 0
2.432 * * [simplify]: Extracting #4: cost 12 inf + 0
2.432 * * [simplify]: Extracting #5: cost 18 inf + 0
2.432 * * [simplify]: Extracting #6: cost 16 inf + 185
2.432 * * [simplify]: Extracting #7: cost 18 inf + 312
2.432 * * [simplify]: Extracting #8: cost 12 inf + 1292
2.432 * * [simplify]: Extracting #9: cost 1 inf + 4069
2.433 * * [simplify]: Extracting #10: cost 0 inf + 4436
2.433 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
2.433 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
2.433 * * * * [progress]: [ 14 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.434 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
2.434 * * [simplify]: iters left: 4 (7 enodes)
2.436 * * [simplify]: iters left: 3 (27 enodes)
2.445 * * [simplify]: iters left: 2 (40 enodes)
2.457 * * [simplify]: iters left: 1 (44 enodes)
2.470 * * [simplify]: Extracting #0: cost 1 inf + 0
2.470 * * [simplify]: Extracting #1: cost 3 inf + 0
2.470 * * [simplify]: Extracting #2: cost 5 inf + 0
2.470 * * [simplify]: Extracting #3: cost 8 inf + 0
2.470 * * [simplify]: Extracting #4: cost 14 inf + 0
2.470 * * [simplify]: Extracting #5: cost 13 inf + 94
2.470 * * [simplify]: Extracting #6: cost 13 inf + 368
2.471 * * [simplify]: Extracting #7: cost 7 inf + 1177
2.471 * * [simplify]: Extracting #8: cost 0 inf + 2788
2.472 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
2.472 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
2.472 * * * * [progress]: [ 15 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
2.472 * [simplify]: Simplifying (log 1)
2.472 * * [simplify]: iters left: 1 (2 enodes)
2.474 * * [simplify]: Extracting #0: cost 1 inf + 0
2.475 * * [simplify]: Extracting #1: cost 0 inf + 1
2.475 * [simplify]: Simplified to 0
2.475 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ 0 (log (fmod (cosh c) (log1p a))))))
2.475 * * * * [progress]: [ 16 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
2.475 * * * * [progress]: [ 17 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
2.475 * * * * [progress]: [ 18 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
2.475 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
2.475 * * [simplify]: iters left: 2 (5 enodes)
2.477 * * [simplify]: iters left: 1 (21 enodes)
2.484 * * [simplify]: Extracting #0: cost 1 inf + 0
2.484 * * [simplify]: Extracting #1: cost 4 inf + 0
2.484 * * [simplify]: Extracting #2: cost 10 inf + 0
2.484 * * [simplify]: Extracting #3: cost 10 inf + 3
2.484 * * [simplify]: Extracting #4: cost 9 inf + 368
2.484 * * [simplify]: Extracting #5: cost 5 inf + 809
2.485 * * [simplify]: Extracting #6: cost 0 inf + 1620
2.485 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
2.485 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
2.485 * * * * [progress]: [ 19 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
2.485 * * * * [progress]: [ 20 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.485 * * * * [progress]: [ 21 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
2.485 * * * * [progress]: [ 22 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
2.486 * * * * [progress]: [ 23 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
2.486 * * * * [progress]: [ 24 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
2.486 * * * * [progress]: [ 25 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
2.486 * * * * [progress]: [ 26 / 59 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (pow E (log (fmod (cosh c) (log1p a)))))))>
2.486 * * * * [progress]: [ 27 / 59 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))>
2.486 * * * * [progress]: [ 28 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
2.486 * [simplify]: Simplifying (* 1 (log (fmod (cosh c) (log1p a))))
2.486 * * [simplify]: iters left: 5 (8 enodes)
2.490 * * [simplify]: iters left: 4 (31 enodes)
2.500 * * [simplify]: iters left: 3 (47 enodes)
2.514 * * [simplify]: Extracting #0: cost 1 inf + 0
2.514 * * [simplify]: Extracting #1: cost 4 inf + 0
2.514 * * [simplify]: Extracting #2: cost 6 inf + 1
2.514 * * [simplify]: Extracting #3: cost 12 inf + 1
2.514 * * [simplify]: Extracting #4: cost 12 inf + 4
2.514 * * [simplify]: Extracting #5: cost 4 inf + 1641
2.515 * * [simplify]: Extracting #6: cost 1 inf + 2017
2.515 * * [simplify]: Extracting #7: cost 0 inf + 2057
2.515 * * [simplify]: Extracting #8: cost 0 inf + 2056
2.515 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
2.516 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
2.516 * * * * [progress]: [ 29 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
2.516 * [simplify]: Simplifying (* (log E) (log (fmod (cosh c) (log1p a))))
2.516 * * [simplify]: iters left: 5 (9 enodes)
2.518 * * [simplify]: iters left: 4 (34 enodes)
2.523 * * [simplify]: iters left: 3 (48 enodes)
2.530 * * [simplify]: iters left: 2 (55 enodes)
2.540 * * [simplify]: Extracting #0: cost 1 inf + 0
2.540 * * [simplify]: Extracting #1: cost 4 inf + 0
2.541 * * [simplify]: Extracting #2: cost 6 inf + 1
2.541 * * [simplify]: Extracting #3: cost 12 inf + 1
2.541 * * [simplify]: Extracting #4: cost 10 inf + 151
2.541 * * [simplify]: Extracting #5: cost 5 inf + 1489
2.541 * * [simplify]: Extracting #6: cost 1 inf + 2016
2.541 * * [simplify]: Extracting #7: cost 0 inf + 2056
2.542 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
2.542 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
2.542 * * * * [progress]: [ 30 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
2.542 * * * * [progress]: [ 31 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
2.542 * * * * [progress]: [ 32 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
2.542 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
2.542 * * [simplify]: iters left: 3 (6 enodes)
2.543 * * [simplify]: iters left: 2 (24 enodes)
2.547 * * [simplify]: iters left: 1 (37 enodes)
2.555 * * [simplify]: Extracting #0: cost 1 inf + 0
2.555 * * [simplify]: Extracting #1: cost 3 inf + 0
2.555 * * [simplify]: Extracting #2: cost 6 inf + 0
2.556 * * [simplify]: Extracting #3: cost 12 inf + 0
2.556 * * [simplify]: Extracting #4: cost 12 inf + 3
2.556 * * [simplify]: Extracting #5: cost 13 inf + 221
2.556 * * [simplify]: Extracting #6: cost 6 inf + 1202
2.557 * * [simplify]: Extracting #7: cost 1 inf + 1973
2.557 * * [simplify]: Extracting #8: cost 0 inf + 2194
2.558 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
2.558 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
2.558 * * * * [progress]: [ 33 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
2.558 * [simplify]: Simplifying (cbrt (log (fmod (cosh c) (log1p a))))
2.558 * * [simplify]: iters left: 4 (7 enodes)
2.561 * * [simplify]: iters left: 3 (27 enodes)
2.568 * * [simplify]: iters left: 2 (40 enodes)
2.574 * * [simplify]: iters left: 1 (44 enodes)
2.581 * * [simplify]: Extracting #0: cost 1 inf + 0
2.581 * * [simplify]: Extracting #1: cost 3 inf + 0
2.581 * * [simplify]: Extracting #2: cost 5 inf + 0
2.581 * * [simplify]: Extracting #3: cost 8 inf + 0
2.581 * * [simplify]: Extracting #4: cost 14 inf + 0
2.581 * * [simplify]: Extracting #5: cost 13 inf + 94
2.581 * * [simplify]: Extracting #6: cost 13 inf + 368
2.581 * * [simplify]: Extracting #7: cost 7 inf + 1207
2.581 * * [simplify]: Extracting #8: cost 0 inf + 2928
2.582 * [simplify]: Simplified to (cbrt (log (fmod (cosh c) (log1p a))))
2.582 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
2.582 * * * * [progress]: [ 34 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
2.582 * [simplify]: Simplifying (sqrt (log (fmod (cosh c) (log1p a))))
2.582 * * [simplify]: iters left: 4 (7 enodes)
2.583 * * [simplify]: iters left: 3 (27 enodes)
2.588 * * [simplify]: iters left: 2 (40 enodes)
2.594 * * [simplify]: iters left: 1 (44 enodes)
2.606 * * [simplify]: Extracting #0: cost 1 inf + 0
2.606 * * [simplify]: Extracting #1: cost 3 inf + 0
2.606 * * [simplify]: Extracting #2: cost 5 inf + 0
2.606 * * [simplify]: Extracting #3: cost 8 inf + 0
2.606 * * [simplify]: Extracting #4: cost 14 inf + 0
2.606 * * [simplify]: Extracting #5: cost 13 inf + 94
2.606 * * [simplify]: Extracting #6: cost 13 inf + 368
2.607 * * [simplify]: Extracting #7: cost 7 inf + 1207
2.607 * * [simplify]: Extracting #8: cost 0 inf + 2848
2.608 * [simplify]: Simplified to (sqrt (log (fmod (cosh c) (log1p a))))
2.608 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
2.608 * * * * [progress]: [ 35 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
2.608 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
2.608 * * [simplify]: iters left: 3 (6 enodes)
2.611 * * [simplify]: iters left: 2 (24 enodes)
2.618 * * [simplify]: iters left: 1 (37 enodes)
2.629 * * [simplify]: Extracting #0: cost 1 inf + 0
2.629 * * [simplify]: Extracting #1: cost 3 inf + 0
2.629 * * [simplify]: Extracting #2: cost 6 inf + 0
2.629 * * [simplify]: Extracting #3: cost 12 inf + 0
2.629 * * [simplify]: Extracting #4: cost 12 inf + 3
2.629 * * [simplify]: Extracting #5: cost 13 inf + 221
2.629 * * [simplify]: Extracting #6: cost 6 inf + 1202
2.630 * * [simplify]: Extracting #7: cost 1 inf + 1973
2.630 * * [simplify]: Extracting #8: cost 0 inf + 2194
2.631 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
2.631 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
2.631 * * * * [progress]: [ 36 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.631 * [simplify]: Simplifying (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
2.631 * * [simplify]: iters left: 5 (9 enodes)
2.635 * * [simplify]: iters left: 4 (38 enodes)
2.647 * * [simplify]: iters left: 3 (63 enodes)
2.665 * * [simplify]: iters left: 2 (89 enodes)
2.680 * * [simplify]: iters left: 1 (141 enodes)
2.718 * * [simplify]: Extracting #0: cost 1 inf + 0
2.718 * * [simplify]: Extracting #1: cost 13 inf + 0
2.719 * * [simplify]: Extracting #2: cost 51 inf + 2
2.719 * * [simplify]: Extracting #3: cost 69 inf + 5
2.720 * * [simplify]: Extracting #4: cost 73 inf + 6
2.720 * * [simplify]: Extracting #5: cost 78 inf + 6
2.720 * * [simplify]: Extracting #6: cost 78 inf + 99
2.722 * * [simplify]: Extracting #7: cost 65 inf + 4793
2.726 * * [simplify]: Extracting #8: cost 29 inf + 22663
2.734 * * [simplify]: Extracting #9: cost 2 inf + 42592
2.744 * * [simplify]: Extracting #10: cost 0 inf + 44282
2.754 * [simplify]: Simplified to (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
2.754 * [simplify]: Simplified (2 2) to (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))
2.754 * * * * [progress]: [ 37 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.755 * [simplify]: Simplifying (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
2.755 * * [simplify]: iters left: 5 (9 enodes)
2.759 * * [simplify]: iters left: 4 (38 enodes)
2.771 * * [simplify]: iters left: 3 (63 enodes)
2.794 * * [simplify]: iters left: 2 (89 enodes)
2.824 * * [simplify]: iters left: 1 (141 enodes)
2.867 * * [simplify]: Extracting #0: cost 1 inf + 0
2.867 * * [simplify]: Extracting #1: cost 13 inf + 0
2.867 * * [simplify]: Extracting #2: cost 51 inf + 2
2.868 * * [simplify]: Extracting #3: cost 69 inf + 5
2.868 * * [simplify]: Extracting #4: cost 73 inf + 6
2.868 * * [simplify]: Extracting #5: cost 78 inf + 6
2.868 * * [simplify]: Extracting #6: cost 78 inf + 99
2.869 * * [simplify]: Extracting #7: cost 65 inf + 4393
2.871 * * [simplify]: Extracting #8: cost 29 inf + 20983
2.876 * * [simplify]: Extracting #9: cost 2 inf + 39912
2.881 * * [simplify]: Extracting #10: cost 0 inf + 41522
2.886 * [simplify]: Simplified to (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
2.886 * [simplify]: Simplified (2 2) to (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))
2.886 * * * * [progress]: [ 38 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
2.887 * [simplify]: Simplifying (pow E (log (fmod (cosh c) (log1p a))))
2.887 * * [simplify]: iters left: 4 (8 enodes)
2.888 * * [simplify]: iters left: 3 (35 enodes)
2.898 * * [simplify]: iters left: 2 (60 enodes)
2.921 * * [simplify]: iters left: 1 (86 enodes)
2.935 * * [simplify]: Extracting #0: cost 1 inf + 0
2.935 * * [simplify]: Extracting #1: cost 11 inf + 0
2.936 * * [simplify]: Extracting #2: cost 32 inf + 1
2.936 * * [simplify]: Extracting #3: cost 43 inf + 3
2.936 * * [simplify]: Extracting #4: cost 46 inf + 5
2.936 * * [simplify]: Extracting #5: cost 45 inf + 189
2.936 * * [simplify]: Extracting #6: cost 40 inf + 2030
2.937 * * [simplify]: Extracting #7: cost 19 inf + 8682
2.939 * * [simplify]: Extracting #8: cost 3 inf + 17613
2.941 * * [simplify]: Extracting #9: cost 0 inf + 20064
2.943 * [simplify]: Simplified to (pow E (log (fmod (cosh c) (log1p a))))
2.943 * [simplify]: Simplified (2 2) to (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))
2.943 * * * * [progress]: [ 39 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))>
2.943 * [simplify]: Simplifying (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
2.943 * * [simplify]: iters left: 4 (10 enodes)
2.945 * * [simplify]: iters left: 3 (41 enodes)
2.953 * * [simplify]: iters left: 2 (66 enodes)
2.973 * * [simplify]: iters left: 1 (92 enodes)
3.004 * * [simplify]: Extracting #0: cost 1 inf + 0
3.004 * * [simplify]: Extracting #1: cost 11 inf + 0
3.004 * * [simplify]: Extracting #2: cost 35 inf + 0
3.004 * * [simplify]: Extracting #3: cost 49 inf + 2
3.005 * * [simplify]: Extracting #4: cost 49 inf + 87
3.005 * * [simplify]: Extracting #5: cost 40 inf + 2059
3.007 * * [simplify]: Extracting #6: cost 18 inf + 11377
3.011 * * [simplify]: Extracting #7: cost 2 inf + 21445
3.013 * * [simplify]: Extracting #8: cost 0 inf + 22145
3.015 * [simplify]: Simplified to (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
3.015 * [simplify]: Simplified (2 1) to (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))
3.015 * * * * [progress]: [ 40 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a))))))>
3.016 * [simplify]: Simplifying (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
3.016 * * [simplify]: iters left: 4 (9 enodes)
3.017 * * [simplify]: iters left: 3 (38 enodes)
3.026 * * [simplify]: iters left: 2 (63 enodes)
3.036 * * [simplify]: iters left: 1 (89 enodes)
3.059 * * [simplify]: Extracting #0: cost 1 inf + 0
3.059 * * [simplify]: Extracting #1: cost 11 inf + 0
3.059 * * [simplify]: Extracting #2: cost 35 inf + 0
3.059 * * [simplify]: Extracting #3: cost 43 inf + 85
3.060 * * [simplify]: Extracting #4: cost 46 inf + 87
3.060 * * [simplify]: Extracting #5: cost 34 inf + 3282
3.063 * * [simplify]: Extracting #6: cost 19 inf + 11713
3.068 * * [simplify]: Extracting #7: cost 2 inf + 20702
3.071 * * [simplify]: Extracting #8: cost 0 inf + 20964
3.073 * [simplify]: Simplified to (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
3.073 * [simplify]: Simplified (2 1) to (λ (a c) (* (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a))))))
3.073 * * * * [progress]: [ 41 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))))>
3.073 * [simplify]: Simplifying (pow 1 (log (fmod (cosh c) (log1p a))))
3.074 * * [simplify]: iters left: 4 (8 enodes)
3.076 * * [simplify]: iters left: 3 (30 enodes)
3.081 * * [simplify]: iters left: 2 (44 enodes)
3.088 * * [simplify]: Extracting #0: cost 1 inf + 0
3.088 * * [simplify]: Extracting #1: cost 0 inf + 1
3.088 * [simplify]: Simplified to 1
3.088 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))
3.088 * * * * [progress]: [ 42 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
3.088 * * * * [progress]: [ 43 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
3.088 * * * * [progress]: [ 44 / 59 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
3.088 * * * * [progress]: [ 45 / 59 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))>
3.088 * * * * [progress]: [ 46 / 59 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))>
3.088 * * * * [progress]: [ 47 / 59 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
3.088 * * * * [progress]: [ 48 / 59 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
3.088 * * * * [progress]: [ 49 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2))))>
3.088 * * * * [progress]: [ 50 / 59 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))))>
3.088 * * * * [progress]: [ 51 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
3.088 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
3.088 * * [simplify]: iters left: 2 (5 enodes)
3.089 * * [simplify]: iters left: 1 (21 enodes)
3.093 * * [simplify]: Extracting #0: cost 1 inf + 0
3.093 * * [simplify]: Extracting #1: cost 4 inf + 0
3.093 * * [simplify]: Extracting #2: cost 10 inf + 0
3.093 * * [simplify]: Extracting #3: cost 10 inf + 3
3.093 * * [simplify]: Extracting #4: cost 9 inf + 368
3.093 * * [simplify]: Extracting #5: cost 5 inf + 809
3.094 * * [simplify]: Extracting #6: cost 0 inf + 1620
3.094 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
3.094 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
3.094 * * * * [progress]: [ 52 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
3.094 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
3.094 * * [simplify]: iters left: 2 (5 enodes)
3.095 * * [simplify]: iters left: 1 (21 enodes)
3.099 * * [simplify]: Extracting #0: cost 1 inf + 0
3.099 * * [simplify]: Extracting #1: cost 4 inf + 0
3.099 * * [simplify]: Extracting #2: cost 10 inf + 0
3.099 * * [simplify]: Extracting #3: cost 10 inf + 3
3.099 * * [simplify]: Extracting #4: cost 9 inf + 368
3.099 * * [simplify]: Extracting #5: cost 5 inf + 809
3.099 * * [simplify]: Extracting #6: cost 0 inf + 1620
3.099 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
3.099 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
3.099 * * * * [progress]: [ 53 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
3.100 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
3.100 * * [simplify]: iters left: 2 (5 enodes)
3.101 * * [simplify]: iters left: 1 (21 enodes)
3.106 * * [simplify]: Extracting #0: cost 1 inf + 0
3.107 * * [simplify]: Extracting #1: cost 4 inf + 0
3.107 * * [simplify]: Extracting #2: cost 10 inf + 0
3.107 * * [simplify]: Extracting #3: cost 10 inf + 3
3.107 * * [simplify]: Extracting #4: cost 9 inf + 368
3.107 * * [simplify]: Extracting #5: cost 5 inf + 809
3.108 * * [simplify]: Extracting #6: cost 0 inf + 1620
3.109 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
3.109 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
3.109 * * * * [progress]: [ 54 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
3.109 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
3.109 * * [simplify]: iters left: 3 (6 enodes)
3.112 * * [simplify]: iters left: 2 (24 enodes)
3.120 * * [simplify]: iters left: 1 (37 enodes)
3.129 * * [simplify]: Extracting #0: cost 1 inf + 0
3.129 * * [simplify]: Extracting #1: cost 3 inf + 0
3.129 * * [simplify]: Extracting #2: cost 6 inf + 0
3.129 * * [simplify]: Extracting #3: cost 12 inf + 0
3.129 * * [simplify]: Extracting #4: cost 12 inf + 3
3.129 * * [simplify]: Extracting #5: cost 13 inf + 221
3.129 * * [simplify]: Extracting #6: cost 6 inf + 1202
3.130 * * [simplify]: Extracting #7: cost 1 inf + 1973
3.130 * * [simplify]: Extracting #8: cost 0 inf + 2194
3.130 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
3.130 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
3.130 * * * * [progress]: [ 55 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
3.130 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
3.130 * * [simplify]: iters left: 3 (6 enodes)
3.132 * * [simplify]: iters left: 2 (24 enodes)
3.135 * * [simplify]: iters left: 1 (37 enodes)
3.141 * * [simplify]: Extracting #0: cost 1 inf + 0
3.141 * * [simplify]: Extracting #1: cost 3 inf + 0
3.141 * * [simplify]: Extracting #2: cost 6 inf + 0
3.141 * * [simplify]: Extracting #3: cost 12 inf + 0
3.141 * * [simplify]: Extracting #4: cost 12 inf + 3
3.141 * * [simplify]: Extracting #5: cost 13 inf + 221
3.142 * * [simplify]: Extracting #6: cost 6 inf + 1202
3.142 * * [simplify]: Extracting #7: cost 1 inf + 1973
3.142 * * [simplify]: Extracting #8: cost 0 inf + 2194
3.142 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
3.142 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
3.142 * * * * [progress]: [ 56 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
3.143 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
3.143 * * [simplify]: iters left: 3 (6 enodes)
3.144 * * [simplify]: iters left: 2 (24 enodes)
3.148 * * [simplify]: iters left: 1 (37 enodes)
3.153 * * [simplify]: Extracting #0: cost 1 inf + 0
3.153 * * [simplify]: Extracting #1: cost 3 inf + 0
3.153 * * [simplify]: Extracting #2: cost 6 inf + 0
3.153 * * [simplify]: Extracting #3: cost 12 inf + 0
3.153 * * [simplify]: Extracting #4: cost 12 inf + 3
3.153 * * [simplify]: Extracting #5: cost 13 inf + 221
3.154 * * [simplify]: Extracting #6: cost 6 inf + 1202
3.154 * * [simplify]: Extracting #7: cost 1 inf + 1973
3.154 * * [simplify]: Extracting #8: cost 0 inf + 2194
3.155 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
3.155 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
3.155 * * * * [progress]: [ 57 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
3.155 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
3.155 * * [simplify]: iters left: 2 (5 enodes)
3.157 * * [simplify]: iters left: 1 (21 enodes)
3.164 * * [simplify]: Extracting #0: cost 1 inf + 0
3.164 * * [simplify]: Extracting #1: cost 4 inf + 0
3.164 * * [simplify]: Extracting #2: cost 10 inf + 0
3.165 * * [simplify]: Extracting #3: cost 10 inf + 3
3.165 * * [simplify]: Extracting #4: cost 9 inf + 368
3.165 * * [simplify]: Extracting #5: cost 5 inf + 809
3.166 * * [simplify]: Extracting #6: cost 0 inf + 1620
3.166 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
3.166 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
3.166 * * * * [progress]: [ 58 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
3.166 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
3.167 * * [simplify]: iters left: 2 (5 enodes)
3.169 * * [simplify]: iters left: 1 (21 enodes)
3.176 * * [simplify]: Extracting #0: cost 1 inf + 0
3.176 * * [simplify]: Extracting #1: cost 4 inf + 0
3.176 * * [simplify]: Extracting #2: cost 10 inf + 0
3.176 * * [simplify]: Extracting #3: cost 10 inf + 3
3.176 * * [simplify]: Extracting #4: cost 9 inf + 368
3.176 * * [simplify]: Extracting #5: cost 5 inf + 809
3.177 * * [simplify]: Extracting #6: cost 0 inf + 1620
3.177 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
3.177 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
3.177 * * * * [progress]: [ 59 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
3.177 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
3.178 * * [simplify]: iters left: 2 (5 enodes)
3.180 * * [simplify]: iters left: 1 (21 enodes)
3.187 * * [simplify]: Extracting #0: cost 1 inf + 0
3.187 * * [simplify]: Extracting #1: cost 4 inf + 0
3.187 * * [simplify]: Extracting #2: cost 10 inf + 0
3.187 * * [simplify]: Extracting #3: cost 10 inf + 3
3.187 * * [simplify]: Extracting #4: cost 9 inf + 368
3.188 * * [simplify]: Extracting #5: cost 5 inf + 809
3.188 * * [simplify]: Extracting #6: cost 0 inf + 1620
3.188 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
3.188 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
3.189 * * * [progress]: adding candidates to table
3.914 * * [progress]: iteration 4 / 4
3.914 * * * [progress]: picking best candidate
4.001 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.002 * * * [progress]: localizing error
4.032 * * * [progress]: generating rewritten candidates
4.032 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
4.033 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1)
4.033 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
4.033 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
4.034 * * * [progress]: generating series expansions
4.035 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
4.035 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.035 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
4.035 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.035 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.035 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.035 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.035 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.035 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.035 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.035 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.035 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.035 * [taylor]: Taking taylor expansion of 0 in a
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [taylor]: Taking taylor expansion of 0 in a
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [taylor]: Taking taylor expansion of 0 in a
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.035 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
4.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.036 * [taylor]: Taking taylor expansion of 0 in a
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [taylor]: Taking taylor expansion of 0 in a
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [taylor]: Taking taylor expansion of 0 in a
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
4.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.037 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
4.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.037 * [taylor]: Taking taylor expansion of 0 in a
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [taylor]: Taking taylor expansion of 0 in a
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [taylor]: Taking taylor expansion of 0 in a
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
4.037 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1)
4.037 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.037 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
4.037 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.038 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.038 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.038 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.038 * [taylor]: Taking taylor expansion of 0 in a
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [taylor]: Taking taylor expansion of 0 in a
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [taylor]: Taking taylor expansion of 0 in a
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.038 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.038 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
4.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.038 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.038 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.038 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.039 * [taylor]: Taking taylor expansion of 0 in a
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [taylor]: Taking taylor expansion of 0 in a
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [taylor]: Taking taylor expansion of 0 in a
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.039 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
4.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.039 * [taylor]: Taking taylor expansion of 0 in a
4.039 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [taylor]: Taking taylor expansion of 0 in a
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [taylor]: Taking taylor expansion of 0 in a
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
4.040 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
4.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.040 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
4.040 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.040 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.040 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.040 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.040 * [taylor]: Taking taylor expansion of 0 in a
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [taylor]: Taking taylor expansion of 0 in a
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [taylor]: Taking taylor expansion of 0 in a
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.041 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
4.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.041 * [taylor]: Taking taylor expansion of 0 in a
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [taylor]: Taking taylor expansion of 0 in a
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [taylor]: Taking taylor expansion of 0 in a
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.042 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
4.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.042 * [taylor]: Taking taylor expansion of 0 in a
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [taylor]: Taking taylor expansion of 0 in a
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [taylor]: Taking taylor expansion of 0 in a
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
4.043 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
4.043 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.043 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
4.043 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
4.043 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.043 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.043 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.043 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
4.043 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.043 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.043 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.043 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
4.043 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.043 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.043 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.043 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
4.043 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.043 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.043 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.043 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.044 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
4.044 * [taylor]: Taking taylor expansion of 0 in a
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
4.045 * [backup-simplify]: Simplify 0 into 0
4.046 * [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
4.046 * [taylor]: Taking taylor expansion of 0 in a
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 0 into 0
4.047 * [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
4.047 * [backup-simplify]: Simplify 0 into 0
4.049 * [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
4.049 * [taylor]: Taking taylor expansion of 0 in a
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.049 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.049 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
4.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
4.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.049 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
4.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.049 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
4.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.049 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
4.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.050 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.050 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.050 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.050 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
4.050 * [taylor]: Taking taylor expansion of 0 in a
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
4.051 * [backup-simplify]: Simplify 0 into 0
4.052 * [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
4.052 * [taylor]: Taking taylor expansion of 0 in a
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify 0 into 0
4.053 * [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
4.053 * [backup-simplify]: Simplify 0 into 0
4.055 * [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
4.055 * [taylor]: Taking taylor expansion of 0 in a
4.055 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
4.055 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.055 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
4.055 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
4.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.055 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.055 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.055 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
4.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.056 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.056 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
4.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.056 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.056 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
4.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.056 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.056 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.057 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
4.057 * [taylor]: Taking taylor expansion of 0 in a
4.057 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
4.058 * [backup-simplify]: Simplify 0 into 0
4.059 * [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
4.059 * [taylor]: Taking taylor expansion of 0 in a
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify 0 into 0
4.060 * [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
4.060 * [backup-simplify]: Simplify 0 into 0
4.062 * [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
4.062 * [taylor]: Taking taylor expansion of 0 in a
4.062 * [backup-simplify]: Simplify 0 into 0
4.062 * [backup-simplify]: Simplify 0 into 0
4.062 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
4.062 * * * [progress]: simplifying candidates
4.062 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
4.062 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
4.062 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
4.062 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
4.062 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
4.062 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.062 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.062 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.062 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
4.062 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
4.062 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
4.062 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
4.062 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
4.062 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
4.062 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
4.062 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))>
4.062 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))>
4.062 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))>
4.062 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))>
4.063 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))>
4.063 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))>
4.063 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.063 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
4.063 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
4.063 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.063 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
4.063 * * [simplify]: iters left: 6 (8 enodes)
4.065 * * [simplify]: iters left: 5 (32 enodes)
4.070 * * [simplify]: iters left: 4 (47 enodes)
4.077 * * [simplify]: iters left: 3 (51 enodes)
4.085 * * [simplify]: iters left: 2 (53 enodes)
4.094 * * [simplify]: Extracting #0: cost 1 inf + 0
4.094 * * [simplify]: Extracting #1: cost 4 inf + 0
4.094 * * [simplify]: Extracting #2: cost 7 inf + 0
4.094 * * [simplify]: Extracting #3: cost 9 inf + 0
4.094 * * [simplify]: Extracting #4: cost 12 inf + 0
4.094 * * [simplify]: Extracting #5: cost 18 inf + 0
4.094 * * [simplify]: Extracting #6: cost 16 inf + 185
4.094 * * [simplify]: Extracting #7: cost 18 inf + 312
4.094 * * [simplify]: Extracting #8: cost 12 inf + 1292
4.095 * * [simplify]: Extracting #9: cost 1 inf + 4069
4.095 * * [simplify]: Extracting #10: cost 0 inf + 4436
4.095 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
4.095 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
4.096 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.096 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
4.096 * * [simplify]: iters left: 4 (7 enodes)
4.097 * * [simplify]: iters left: 3 (27 enodes)
4.102 * * [simplify]: iters left: 2 (40 enodes)
4.108 * * [simplify]: iters left: 1 (44 enodes)
4.115 * * [simplify]: Extracting #0: cost 1 inf + 0
4.115 * * [simplify]: Extracting #1: cost 3 inf + 0
4.115 * * [simplify]: Extracting #2: cost 5 inf + 0
4.115 * * [simplify]: Extracting #3: cost 8 inf + 0
4.115 * * [simplify]: Extracting #4: cost 14 inf + 0
4.115 * * [simplify]: Extracting #5: cost 13 inf + 94
4.115 * * [simplify]: Extracting #6: cost 13 inf + 368
4.115 * * [simplify]: Extracting #7: cost 7 inf + 1177
4.115 * * [simplify]: Extracting #8: cost 0 inf + 2788
4.116 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
4.116 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (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)))))))))
4.116 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
4.116 * [simplify]: Simplifying (log 1)
4.116 * * [simplify]: iters left: 1 (2 enodes)
4.117 * * [simplify]: Extracting #0: cost 1 inf + 0
4.117 * * [simplify]: Extracting #1: cost 0 inf + 1
4.117 * [simplify]: Simplified to 0
4.117 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
4.118 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
4.118 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
4.118 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.118 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.118 * * [simplify]: iters left: 2 (5 enodes)
4.119 * * [simplify]: iters left: 1 (21 enodes)
4.125 * * [simplify]: Extracting #0: cost 1 inf + 0
4.125 * * [simplify]: Extracting #1: cost 4 inf + 0
4.125 * * [simplify]: Extracting #2: cost 10 inf + 0
4.125 * * [simplify]: Extracting #3: cost 10 inf + 3
4.125 * * [simplify]: Extracting #4: cost 9 inf + 368
4.125 * * [simplify]: Extracting #5: cost 5 inf + 809
4.126 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.126 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.126 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.126 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
4.126 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
4.126 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.126 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.126 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (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)))))))))>
4.126 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
4.126 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
4.126 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.127 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.127 * * [simplify]: iters left: 2 (5 enodes)
4.128 * * [simplify]: iters left: 1 (21 enodes)
4.131 * * [simplify]: Extracting #0: cost 1 inf + 0
4.131 * * [simplify]: Extracting #1: cost 4 inf + 0
4.132 * * [simplify]: Extracting #2: cost 10 inf + 0
4.132 * * [simplify]: Extracting #3: cost 10 inf + 3
4.132 * * [simplify]: Extracting #4: cost 9 inf + 368
4.132 * * [simplify]: Extracting #5: cost 5 inf + 809
4.132 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.132 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.132 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.132 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.132 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.133 * * [simplify]: iters left: 2 (5 enodes)
4.134 * * [simplify]: iters left: 1 (21 enodes)
4.137 * * [simplify]: Extracting #0: cost 1 inf + 0
4.137 * * [simplify]: Extracting #1: cost 4 inf + 0
4.137 * * [simplify]: Extracting #2: cost 10 inf + 0
4.137 * * [simplify]: Extracting #3: cost 10 inf + 3
4.137 * * [simplify]: Extracting #4: cost 9 inf + 368
4.137 * * [simplify]: Extracting #5: cost 5 inf + 809
4.138 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.138 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.138 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.138 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.138 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.138 * * [simplify]: iters left: 2 (5 enodes)
4.139 * * [simplify]: iters left: 1 (21 enodes)
4.143 * * [simplify]: Extracting #0: cost 1 inf + 0
4.143 * * [simplify]: Extracting #1: cost 4 inf + 0
4.143 * * [simplify]: Extracting #2: cost 10 inf + 0
4.143 * * [simplify]: Extracting #3: cost 10 inf + 3
4.143 * * [simplify]: Extracting #4: cost 9 inf + 368
4.144 * * [simplify]: Extracting #5: cost 5 inf + 809
4.144 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.144 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.144 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.144 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.144 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.144 * * [simplify]: iters left: 2 (5 enodes)
4.145 * * [simplify]: iters left: 1 (21 enodes)
4.150 * * [simplify]: Extracting #0: cost 1 inf + 0
4.150 * * [simplify]: Extracting #1: cost 4 inf + 0
4.150 * * [simplify]: Extracting #2: cost 10 inf + 0
4.150 * * [simplify]: Extracting #3: cost 10 inf + 3
4.150 * * [simplify]: Extracting #4: cost 9 inf + 368
4.150 * * [simplify]: Extracting #5: cost 5 inf + 809
4.150 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.150 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.151 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.151 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.151 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.151 * * [simplify]: iters left: 2 (5 enodes)
4.152 * * [simplify]: iters left: 1 (21 enodes)
4.157 * * [simplify]: Extracting #0: cost 1 inf + 0
4.157 * * [simplify]: Extracting #1: cost 4 inf + 0
4.157 * * [simplify]: Extracting #2: cost 10 inf + 0
4.157 * * [simplify]: Extracting #3: cost 10 inf + 3
4.157 * * [simplify]: Extracting #4: cost 9 inf + 368
4.157 * * [simplify]: Extracting #5: cost 5 inf + 809
4.157 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.158 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.158 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.158 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.158 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.158 * * [simplify]: iters left: 2 (5 enodes)
4.159 * * [simplify]: iters left: 1 (21 enodes)
4.163 * * [simplify]: Extracting #0: cost 1 inf + 0
4.163 * * [simplify]: Extracting #1: cost 4 inf + 0
4.163 * * [simplify]: Extracting #2: cost 10 inf + 0
4.163 * * [simplify]: Extracting #3: cost 10 inf + 3
4.164 * * [simplify]: Extracting #4: cost 9 inf + 368
4.164 * * [simplify]: Extracting #5: cost 5 inf + 809
4.164 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.164 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.164 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.164 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.164 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.164 * * [simplify]: iters left: 2 (5 enodes)
4.166 * * [simplify]: iters left: 1 (21 enodes)
4.169 * * [simplify]: Extracting #0: cost 1 inf + 0
4.169 * * [simplify]: Extracting #1: cost 4 inf + 0
4.169 * * [simplify]: Extracting #2: cost 10 inf + 0
4.169 * * [simplify]: Extracting #3: cost 10 inf + 3
4.169 * * [simplify]: Extracting #4: cost 9 inf + 368
4.169 * * [simplify]: Extracting #5: cost 5 inf + 809
4.169 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.170 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.170 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.170 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.170 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.170 * * [simplify]: iters left: 2 (5 enodes)
4.172 * * [simplify]: iters left: 1 (21 enodes)
4.178 * * [simplify]: Extracting #0: cost 1 inf + 0
4.179 * * [simplify]: Extracting #1: cost 4 inf + 0
4.179 * * [simplify]: Extracting #2: cost 10 inf + 0
4.179 * * [simplify]: Extracting #3: cost 10 inf + 3
4.179 * * [simplify]: Extracting #4: cost 9 inf + 368
4.179 * * [simplify]: Extracting #5: cost 5 inf + 809
4.179 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.180 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.180 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.180 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.180 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
4.180 * * [simplify]: iters left: 2 (5 enodes)
4.182 * * [simplify]: iters left: 1 (21 enodes)
4.189 * * [simplify]: Extracting #0: cost 1 inf + 0
4.189 * * [simplify]: Extracting #1: cost 4 inf + 0
4.189 * * [simplify]: Extracting #2: cost 10 inf + 0
4.189 * * [simplify]: Extracting #3: cost 10 inf + 3
4.189 * * [simplify]: Extracting #4: cost 9 inf + 368
4.190 * * [simplify]: Extracting #5: cost 5 inf + 809
4.190 * * [simplify]: Extracting #6: cost 0 inf + 1620
4.191 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
4.191 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.191 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.191 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
4.191 * * [simplify]: iters left: 3 (6 enodes)
4.194 * * [simplify]: iters left: 2 (24 enodes)
4.201 * * [simplify]: iters left: 1 (37 enodes)
4.212 * * [simplify]: Extracting #0: cost 1 inf + 0
4.212 * * [simplify]: Extracting #1: cost 3 inf + 0
4.212 * * [simplify]: Extracting #2: cost 6 inf + 0
4.212 * * [simplify]: Extracting #3: cost 12 inf + 0
4.213 * * [simplify]: Extracting #4: cost 12 inf + 3
4.213 * * [simplify]: Extracting #5: cost 13 inf + 221
4.213 * * [simplify]: Extracting #6: cost 6 inf + 1202
4.213 * * [simplify]: Extracting #7: cost 1 inf + 1973
4.214 * * [simplify]: Extracting #8: cost 0 inf + 2194
4.214 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
4.214 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.215 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.215 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
4.215 * * [simplify]: iters left: 3 (6 enodes)
4.217 * * [simplify]: iters left: 2 (24 enodes)
4.225 * * [simplify]: iters left: 1 (37 enodes)
4.236 * * [simplify]: Extracting #0: cost 1 inf + 0
4.236 * * [simplify]: Extracting #1: cost 3 inf + 0
4.236 * * [simplify]: Extracting #2: cost 6 inf + 0
4.236 * * [simplify]: Extracting #3: cost 12 inf + 0
4.236 * * [simplify]: Extracting #4: cost 12 inf + 3
4.236 * * [simplify]: Extracting #5: cost 13 inf + 221
4.236 * * [simplify]: Extracting #6: cost 6 inf + 1202
4.237 * * [simplify]: Extracting #7: cost 1 inf + 1973
4.237 * * [simplify]: Extracting #8: cost 0 inf + 2194
4.238 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
4.238 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.238 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
4.238 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
4.238 * * [simplify]: iters left: 3 (6 enodes)
4.243 * * [simplify]: iters left: 2 (24 enodes)
4.251 * * [simplify]: iters left: 1 (37 enodes)
4.262 * * [simplify]: Extracting #0: cost 1 inf + 0
4.262 * * [simplify]: Extracting #1: cost 3 inf + 0
4.262 * * [simplify]: Extracting #2: cost 6 inf + 0
4.263 * * [simplify]: Extracting #3: cost 12 inf + 0
4.263 * * [simplify]: Extracting #4: cost 12 inf + 3
4.263 * * [simplify]: Extracting #5: cost 13 inf + 221
4.263 * * [simplify]: Extracting #6: cost 6 inf + 1202
4.263 * * [simplify]: Extracting #7: cost 1 inf + 1973
4.264 * * [simplify]: Extracting #8: cost 0 inf + 2194
4.264 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
4.264 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
4.265 * * * [progress]: adding candidates to table
5.045 * [progress]: [Phase 3 of 3] Extracting.
5.045 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>)
5.050 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
5.050 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>)
5.178 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>)
5.297 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>)
5.439 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>)
5.583 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>)
5.757 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
5.758 * [simplify]: Simplifying (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
5.759 * * [simplify]: iters left: 6 (11 enodes)
5.760 * * [simplify]: iters left: 5 (14 enodes)
5.761 * * [simplify]: iters left: 4 (16 enodes)
5.762 * * [simplify]: Extracting #0: cost 1 inf + 0
5.762 * * [simplify]: Extracting #1: cost 3 inf + 0
5.762 * * [simplify]: Extracting #2: cost 3 inf + 1
5.762 * * [simplify]: Extracting #3: cost 5 inf + 1
5.762 * * [simplify]: Extracting #4: cost 6 inf + 1
5.762 * * [simplify]: Extracting #5: cost 8 inf + 1
5.762 * * [simplify]: Extracting #6: cost 10 inf + 1
5.762 * * [simplify]: Extracting #7: cost 0 inf + 2453
5.763 * [simplify]: Simplified to (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
25.823 * [regime-testing]: Baseline error score: 34.26428789078307
25.825 * [regime-testing]: Oracle error score: 34.05681664139919
25.827 * [regime-testing]: End program error score: 34.26428789078307