* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 161 additional inputs, on iter 1 have 95 / 256
* * * * [misc]points:  Computing exacts on every 10 of 161 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 5 of 161 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 161 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 161 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 102 additional inputs, on iter 2 have 154 / 256
* * * * [misc]points:  Computing exacts on every 6 of 102 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 102 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 102 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 66 additional inputs, on iter 3 have 190 / 256
* * * * [misc]points:  Computing exacts on every 4 of 66 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Computing exacts on every 2 of 66 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Computing exacts for 66 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 37 additional inputs, on iter 4 have 219 / 256
* * * * [misc]points:  Computing exacts on every 2 of 37 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Computing exacts for 37 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 26 additional inputs, on iter 5 have 230 / 256
* * * * [misc]points:  Computing exacts for 26 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 15 additional inputs, on iter 6 have 241 / 256
* * * * [misc]points:  Computing exacts for 15 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 11 additional inputs, on iter 7 have 245 / 256
* * * * [misc]points:  Computing exacts for 11 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
* * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
* * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
* * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
* * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
* * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
* * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
* * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
* * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
* * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
* * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
* [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
* * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (exp (log (fmod (cosh c) (log1p a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh c) (log1p a)))) in a
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]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
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
* * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 4 / 43 ] 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)))))))>
* * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
* * * * [misc]progress:  [ 8 / 43 ] 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)))))))>
* [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
* [misc]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)))))))
* * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
* [enter]simplify:  Simplifying (log 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to 0
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
* * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
* * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
* * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 16 / 43 ] 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)))))))>
* * * * [misc]progress:  [ 17 / 43 ] 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)))))))>
* * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
* * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
* * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (exp 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to E
* [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 22 / 43 ] 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))))))>
* [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
* [misc]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))))))
* * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
* [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
* [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
* * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (exp 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to E
* [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 25 / 43 ] 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)))))))>
* [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
* [misc]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)))))))
* * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
* [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
* [enter]simplify:  Simplifying (exp (log 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to 1
* [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
* * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* [enter]simplify:  Simplifying (cosh c)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cosh c)
* [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
* * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 31 / 43 ] 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)))))))>
* * * * [misc]progress:  [ 32 / 43 ] 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)))))))>
* * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
* * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
* [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
* [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
* [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
* [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
* * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
* * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
* * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) in a
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) in a
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh c) (log1p a))) in a
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh c) (log1p a))) in a
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3)) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) in c
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3)) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) in c
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3)) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) in a
* [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 2)) in a
* [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 2) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2)
* [misc]backup-simplify:  Simplify (log (pow (fmod (cosh c) (log1p a)) 2)) into (log (pow (fmod (cosh c) (log1p a)) 2))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) into (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/3) 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/3))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1)))) 1) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/3) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/3)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1)))) 2) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/3))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) 1)))) 6) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* [misc]approximate:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)) in a
* [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) in a
* [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)
* [misc]backup-simplify:  Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3))
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1)))) 1) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1)))) 2) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (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
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (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
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) 1)))) 6) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* [misc]approximate:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in a
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in a
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Rewrote expression to (pow (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
* [misc]backup-simplify:  Simplify (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3))
* [misc]taylor:  Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)) in a
* [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) in a
* [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) in a
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)
* [misc]backup-simplify:  Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3))
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)) into (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1)))) 1) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1)))) 2) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (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
* [misc]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
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (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
* [misc]backup-simplify:  Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) 1)))) 6) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (pow (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 2) 1/3)) into (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (pow (fmod (cosh c) (log1p a)) 1))))))>
* * * * [misc]progress:  [ 2 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (exp (log (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 3 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 4 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 5 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 6 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 7 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* 1 (fmod (cosh c) (log1p a))))))))>
* * * * [misc]progress:  [ 8 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1)))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 9 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 10 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 11 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 12 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 13 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 14 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (fmod (cosh c) (log1p a)))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 15 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (pow (fmod (cosh c) (log1p a)) 1)) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 16 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 17 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (log (exp (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 18 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 19 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 20 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 21 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (* 1 (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 22 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (log (cbrt (fmod (cosh c) (log1p a))))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (log (cbrt (fmod (cosh c) (log1p a))))
* [misc]simplify:  Simplified (2 1 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)))))))
* * * * [misc]progress:  [ 23 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* (+ 1/3 1/3) (log (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (+ 1/3 1/3)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to 2/3
* [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (+ (* 2/3 (log (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 24 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* (+ 1 1) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (+ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to 2
* [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 25 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* 1/3 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 26 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* 1 (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 27 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 28 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* (+ 1 1) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (+ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to 2
* [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 29 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* 1 (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 30 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (pow (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 31 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (log (cbrt (fmod (cosh c) (log1p a))))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (log (cbrt (fmod (cosh c) (log1p a))))
* [misc]simplify:  Simplified (2 1 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)))))))
* * * * [misc]progress:  [ 32 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
* [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 33 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (exp (log (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 34 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 35 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* (* (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 36 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 37 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* (sqrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 38 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (* 1 (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 39 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 40 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 41 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 42 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 43 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 44 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 45 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 46 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 47 / 50 ] 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)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 48 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (40 enodes)
* [exit]simplify:  Simplified to (* 2/3 (log (fmod (cosh c) (log1p a))))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (* 2/3 (log (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 49 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (40 enodes)
* [exit]simplify:  Simplified to (* 2/3 (log (fmod (cosh c) (log1p a))))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (* 2/3 (log (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 50 / 50 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (log (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3))
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (40 enodes)
* [exit]simplify:  Simplified to (* 2/3 (log (fmod (cosh c) (log1p a))))
* [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (* 2/3 (log (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 4 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 2 1 1 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 2 1)
* [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
* [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in (c a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) in c
* [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (pow (fmod (cosh c) (log1p a)) 1))))))>
* * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (exp (log (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
* * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (* 1 (fmod (cosh c) (log1p a))))))))>
* * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (pow (fmod (cosh c) (log1p a)) 1)))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (log (exp (fmod (cosh c) (log1p a))))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (* 1 (fmod (cosh c) (log1p a)))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (* (cbrt (pow (fmod (cosh c) (log1p a)) 1)) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (* (cbrt (log (exp (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (* (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (* (cbrt (* 1 (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (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)))))))>
* * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (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)))))))>
* * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (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)))))))>
* * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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)))))))>
* * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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)))))))>
* * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (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)))))))>
* * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1 2 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1 2 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1 2 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1 1 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1 1 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 2 1 1 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 1 2 1 2 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 1 2 1 2 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
* [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
* * [misc]simplify:  iters left: 2 (5 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
* [misc]simplify:  Simplified (2 1 1 1 1 2 1 2 1) to (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (+ (* (* (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 1/3 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>)
* * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
* * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (exp (+ (* (* (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 1/3 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>)
* * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (+ (* (* (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 1/3 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>)
* * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (exp (+ (* (* (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 1/3 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>)
* * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (+ (* (* (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 1/3 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>)
* * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (+ (* (* (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 1/3 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>)
* * * [misc]regime:  Found split indices: #<option (#s(si 6 256))>
* [enter]simplify:  Simplifying (exp (+ (cbrt (* (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a))))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* [exit]simplify:  Simplified to (exp (+ (log (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))))))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Setting MPFR precision to 3136
* * * * [misc]points:  Setting MPFR precision to 3392
* * * * [misc]points:  Setting MPFR precision to 3648
* * * * [misc]points:  Setting MPFR precision to 3904
* * * * [misc]points:  Setting MPFR precision to 4160
* * * * [misc]points:  Setting MPFR precision to 4416
* * * * [misc]points:  Setting MPFR precision to 4672
* * * * [misc]points:  Setting MPFR precision to 4928
* * * * [misc]points:  Setting MPFR precision to 5184
* * * * [misc]points:  Setting MPFR precision to 5440
* * * * [misc]points:  Setting MPFR precision to 5696
* * * * [misc]points:  Setting MPFR precision to 5952
* * * * [misc]points:  Setting MPFR precision to 6208
* * * * [misc]points:  Setting MPFR precision to 6464
* * * * [misc]points:  Setting MPFR precision to 6720
* * * * [misc]points:  Setting MPFR precision to 6976
* * * * [misc]points:  Setting MPFR precision to 7232
* * * * [misc]points:  Setting MPFR precision to 7488
* * * * [misc]points:  Setting MPFR precision to 7744
* * * * [misc]points:  Setting MPFR precision to 8000
* * * * [misc]points:  Setting MPFR precision to 8256
* * * * [misc]points:  Setting MPFR precision to 8512
* * * * [misc]points:  Setting MPFR precision to 8768
* * * * [misc]points:  Setting MPFR precision to 9024
* * * * [misc]points:  Setting MPFR precision to 9280
* * * * [misc]points:  Setting MPFR precision to 9536
* * * * [misc]points:  Setting MPFR precision to 9792