1554297410.726 * [misc]progress:  [Phase 1 of 3] Setting up.
1554297410.726 * * * [misc]progress:  [1/2] Preparing points
1554297412.311 * * * [misc]progress:  [2/2] Setting up program.
1554297412.319 * [misc]progress:  [Phase 2 of 3] Improving.
1554297412.320 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297412.321 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.323 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.329 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.337 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.337 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.337 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.338 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.338 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.338 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.339 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.339 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.339 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297412.347 * * [misc]progress:  iteration 1 / 4
1554297412.348 * * * [misc]progress:  picking best candidate
1554297412.353 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297412.353 * * * [misc]progress:  localizing error
1554297412.406 * * * [misc]progress:  generating rewritten candidates
1554297412.407 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1554297412.410 * * * [misc]progress:  generating series expansions
1554297412.411 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1554297412.414 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.414 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297412.417 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.419 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.419 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.419 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.419 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.419 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.420 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.420 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.420 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.420 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.420 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.420 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.420 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.421 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.421 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.423 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.423 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297412.423 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.423 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.423 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.423 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.423 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.423 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.423 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.424 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.424 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.424 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.424 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297412.425 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.425 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297412.425 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.425 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.425 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.425 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.425 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.426 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.426 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.426 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.426 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.426 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.426 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.426 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.426 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.426 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.426 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.426 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.426 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.426 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.426 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.427 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.427 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.427 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297412.427 * * * [misc]progress:  simplifying candidates
1554297412.427 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1554297412.427 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.427 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1554297412.427 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1554297412.427 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1554297412.427 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1554297412.427 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1554297412.427 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1554297412.427 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297412.428 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.428 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.429 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.436 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.436 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.436 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.436 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.436 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.436 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.437 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.437 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.437 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297412.437 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297412.437 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.438 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.439 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.445 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.445 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.446 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.446 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.446 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.446 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.446 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.447 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.447 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297412.447 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297412.447 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.447 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.449 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.455 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.455 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.456 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.456 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.456 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.456 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.456 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.457 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.457 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297412.457 * * * [misc]progress:  adding candidates to table
1554297412.575 * * [misc]progress:  iteration 2 / 4
1554297412.575 * * * [misc]progress:  picking best candidate
1554297412.596 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.596 * * * [misc]progress:  localizing error
1554297412.602 * * * [misc]progress:  generating rewritten candidates
1554297412.602 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1554297412.602 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1554297412.604 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1554297412.607 * * * [misc]progress:  generating series expansions
1554297412.607 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1554297412.607 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.607 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297412.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.607 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.607 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.608 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.608 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.608 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297412.608 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.608 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.608 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.608 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.609 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297412.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.609 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297412.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.609 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.609 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.610 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.610 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.610 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.610 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.611 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297412.611 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1554297412.611 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297412.611 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1554297412.611 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554297412.611 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.611 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.611 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297412.612 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554297412.612 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.612 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.612 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297412.612 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554297412.612 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.612 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.612 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297412.612 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554297412.612 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.612 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.612 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297412.612 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297412.614 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554297412.614 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.614 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.614 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.618 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554297412.618 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.620 * [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
1554297412.620 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.620 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.620 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.620 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.621 * [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
1554297412.621 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.623 * [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
1554297412.623 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.623 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.623 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.623 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297412.623 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297412.623 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1554297412.623 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554297412.623 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.624 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.624 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297412.624 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554297412.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.624 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.624 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297412.624 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554297412.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.624 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.624 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297412.624 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554297412.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.624 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.624 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297412.624 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297412.625 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554297412.625 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.625 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.625 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.626 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554297412.626 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.627 * [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
1554297412.627 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.627 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.627 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.627 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.628 * [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
1554297412.628 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.630 * [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
1554297412.630 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.630 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.630 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1554297412.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297412.630 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1554297412.630 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554297412.630 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.630 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297412.630 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554297412.630 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.630 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297412.630 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554297412.630 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.630 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297412.630 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554297412.630 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.631 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.631 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297412.631 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297412.631 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554297412.631 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.631 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.631 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.632 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554297412.632 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.633 * [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
1554297412.633 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.633 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.633 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.633 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.635 * [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
1554297412.635 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.638 * [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
1554297412.638 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.638 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.638 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.638 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1554297412.638 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1554297412.639 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1554297412.639 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297412.639 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.639 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.639 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.639 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.639 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297412.639 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.639 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297412.639 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.639 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.639 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.639 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.639 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.639 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.639 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.639 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.639 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.640 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.640 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.640 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.640 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.640 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.640 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297412.640 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.640 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297412.640 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.640 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.640 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.640 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.640 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297412.640 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.641 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297412.641 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.641 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297412.641 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.641 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297412.642 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.642 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297412.642 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.642 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.642 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.642 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.642 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297412.642 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.642 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297412.642 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.642 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297412.642 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]backup-simplify:  Simplify 0 into 0
1554297412.643 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297412.643 * * * [misc]progress:  simplifying candidates
1554297412.643 * * * * [misc]progress:  [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1554297412.643 * * * * [misc]progress:  [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.643 * * * * [misc]progress:  [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1554297412.643 * * * * [misc]progress:  [ 4 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1554297412.643 * * * * [misc]progress:  [ 5 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1554297412.644 * * * * [misc]progress:  [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1554297412.644 * * * * [misc]progress:  [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1554297412.644 * * * * [misc]progress:  [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1554297412.644 * * * * [misc]progress:  [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1554297412.644 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1554297412.644 * * [misc]simplify:  iters left: 6 (8 enodes)
1554297412.648 * * [misc]simplify:  iters left: 5 (32 enodes)
1554297412.657 * * [misc]simplify:  iters left: 4 (47 enodes)
1554297412.670 * * [misc]simplify:  iters left: 3 (51 enodes)
1554297412.684 * * [misc]simplify:  iters left: 2 (53 enodes)
1554297412.698 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.698 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.699 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554297412.699 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554297412.699 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1554297412.699 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1554297412.699 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1554297412.699 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1554297412.699 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1554297412.700 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1554297412.701 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1554297412.702 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1554297412.702 * [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)))))))
1554297412.702 * * * * [misc]progress:  [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1554297412.702 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1554297412.702 * * [misc]simplify:  iters left: 4 (7 enodes)
1554297412.705 * * [misc]simplify:  iters left: 3 (27 enodes)
1554297412.713 * * [misc]simplify:  iters left: 2 (40 enodes)
1554297412.724 * * [misc]simplify:  iters left: 1 (44 enodes)
1554297412.737 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.737 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297412.738 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297412.738 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297412.738 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1554297412.738 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1554297412.738 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1554297412.738 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1554297412.739 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1554297412.739 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1554297412.740 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1554297412.740 * * * * [misc]progress:  [ 11 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1554297412.740 * [enter]simplify:  Simplifying (log 1)
1554297412.740 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297412.744 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.744 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297412.744 * [exit]simplify:  Simplified to 0
1554297412.744 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1554297412.744 * * * * [misc]progress:  [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1554297412.744 * * * * [misc]progress:  [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1554297412.744 * * * * [misc]progress:  [ 14 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.744 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.744 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.746 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.753 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.753 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.753 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.754 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.754 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.754 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.754 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.755 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.755 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554297412.755 * * * * [misc]progress:  [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1554297412.755 * * * * [misc]progress:  [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.755 * * * * [misc]progress:  [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1554297412.755 * * * * [misc]progress:  [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297412.755 * * * * [misc]progress:  [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1554297412.755 * * * * [misc]progress:  [ 20 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1554297412.755 * * * * [misc]progress:  [ 21 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1554297412.755 * * * * [misc]progress:  [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1554297412.755 * * * * [misc]progress:  [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1554297412.756 * [enter]simplify:  Simplifying (exp 1)
1554297412.756 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297412.757 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.758 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297412.758 * [exit]simplify:  Simplified to E
1554297412.758 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1554297412.758 * * * * [misc]progress:  [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1554297412.758 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1554297412.758 * * [misc]simplify:  iters left: 6 (9 enodes)
1554297412.762 * * [misc]simplify:  iters left: 5 (35 enodes)
1554297412.776 * * [misc]simplify:  iters left: 4 (50 enodes)
1554297412.783 * * [misc]simplify:  iters left: 3 (54 enodes)
1554297412.790 * * [misc]simplify:  iters left: 2 (56 enodes)
1554297412.797 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.797 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554297412.798 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1554297412.798 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1554297412.798 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1554297412.798 * * [misc]simplify:  Extracting #5: cost 20 inf + 0
1554297412.798 * * [misc]simplify:  Extracting #6: cost 19 inf + 94
1554297412.798 * * [misc]simplify:  Extracting #7: cost 20 inf + 312
1554297412.798 * * [misc]simplify:  Extracting #8: cost 11 inf + 1649
1554297412.798 * * [misc]simplify:  Extracting #9: cost 2 inf + 4656
1554297412.799 * * [misc]simplify:  Extracting #10: cost 0 inf + 5570
1554297412.799 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1554297412.799 * [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))))))
1554297412.799 * * * * [misc]progress:  [ 25 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1554297412.800 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1554297412.800 * * [misc]simplify:  iters left: 5 (8 enodes)
1554297412.801 * * [misc]simplify:  iters left: 4 (30 enodes)
1554297412.809 * * [misc]simplify:  iters left: 3 (43 enodes)
1554297412.819 * * [misc]simplify:  iters left: 2 (47 enodes)
1554297412.826 * * [misc]simplify:  iters left: 1 (49 enodes)
1554297412.833 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.833 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297412.833 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297412.833 * * [misc]simplify:  Extracting #3: cost 7 inf + 0
1554297412.833 * * [misc]simplify:  Extracting #4: cost 10 inf + 0
1554297412.833 * * [misc]simplify:  Extracting #5: cost 16 inf + 0
1554297412.833 * * [misc]simplify:  Extracting #6: cost 15 inf + 94
1554297412.833 * * [misc]simplify:  Extracting #7: cost 16 inf + 312
1554297412.834 * * [misc]simplify:  Extracting #8: cost 9 inf + 1489
1554297412.834 * * [misc]simplify:  Extracting #9: cost 0 inf + 3642
1554297412.834 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1554297412.834 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1554297412.834 * * * * [misc]progress:  [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1554297412.835 * [enter]simplify:  Simplifying (exp 1)
1554297412.835 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297412.835 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.836 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297412.836 * [exit]simplify:  Simplified to E
1554297412.836 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1554297412.836 * * * * [misc]progress:  [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1554297412.836 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1554297412.836 * * [misc]simplify:  iters left: 6 (9 enodes)
1554297412.838 * * [misc]simplify:  iters left: 5 (33 enodes)
1554297412.842 * * [misc]simplify:  iters left: 4 (50 enodes)
1554297412.850 * * [misc]simplify:  iters left: 3 (54 enodes)
1554297412.864 * * [misc]simplify:  iters left: 2 (56 enodes)
1554297412.874 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.874 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.874 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1554297412.874 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554297412.874 * * [misc]simplify:  Extracting #4: cost 18 inf + 0
1554297412.874 * * [misc]simplify:  Extracting #5: cost 17 inf + 94
1554297412.874 * * [misc]simplify:  Extracting #6: cost 18 inf + 312
1554297412.874 * * [misc]simplify:  Extracting #7: cost 9 inf + 1659
1554297412.874 * * [misc]simplify:  Extracting #8: cost 3 inf + 3255
1554297412.875 * * [misc]simplify:  Extracting #9: cost 1 inf + 4029
1554297412.875 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1554297412.876 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1554297412.876 * [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)))))))
1554297412.876 * * * * [misc]progress:  [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1554297412.876 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1554297412.876 * * [misc]simplify:  iters left: 5 (8 enodes)
1554297412.878 * * [misc]simplify:  iters left: 4 (28 enodes)
1554297412.882 * * [misc]simplify:  iters left: 3 (41 enodes)
1554297412.890 * * [misc]simplify:  iters left: 2 (45 enodes)
1554297412.901 * * [misc]simplify:  iters left: 1 (47 enodes)
1554297412.913 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.913 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.913 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1554297412.913 * * [misc]simplify:  Extracting #3: cost 14 inf + 0
1554297412.913 * * [misc]simplify:  Extracting #4: cost 13 inf + 94
1554297412.913 * * [misc]simplify:  Extracting #5: cost 14 inf + 312
1554297412.913 * * [misc]simplify:  Extracting #6: cost 7 inf + 1429
1554297412.914 * * [misc]simplify:  Extracting #7: cost 1 inf + 2567
1554297412.914 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1554297412.915 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1554297412.915 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1554297412.915 * * * * [misc]progress:  [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1554297412.915 * [enter]simplify:  Simplifying (exp (log 1))
1554297412.915 * * [misc]simplify:  iters left: 2 (3 enodes)
1554297412.918 * * [misc]simplify:  iters left: 1 (9 enodes)
1554297412.920 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.920 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297412.920 * [exit]simplify:  Simplified to 1
1554297412.920 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1554297412.921 * * * * [misc]progress:  [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297412.921 * [enter]simplify:  Simplifying (cosh c)
1554297412.921 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297412.922 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.922 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1554297412.922 * * [misc]simplify:  Extracting #2: cost 5 inf + 2
1554297412.922 * * [misc]simplify:  Extracting #3: cost 3 inf + 185
1554297412.922 * * [misc]simplify:  Extracting #4: cost 0 inf + 558
1554297412.922 * [exit]simplify:  Simplified to (cosh c)
1554297412.922 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297412.922 * * * * [misc]progress:  [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.922 * * * * [misc]progress:  [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.922 * * * * [misc]progress:  [ 33 / 46 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.923 * * * * [misc]progress:  [ 34 / 46 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.923 * * * * [misc]progress:  [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.923 * * * * [misc]progress:  [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1554297412.923 * * * * [misc]progress:  [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1554297412.923 * * * * [misc]progress:  [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.923 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.923 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.925 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.932 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.932 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.932 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.932 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.932 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.932 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.932 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.933 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.933 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554297412.933 * * * * [misc]progress:  [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.933 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.933 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.935 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.941 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.941 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.941 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.941 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.941 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.941 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.942 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.942 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.942 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554297412.942 * * * * [misc]progress:  [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.943 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297412.943 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297412.944 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297412.950 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.951 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297412.951 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297412.951 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297412.951 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297412.951 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297412.951 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297412.952 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297412.952 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554297412.952 * * * * [misc]progress:  [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.952 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554297412.952 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297412.954 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297412.961 * * [misc]simplify:  iters left: 1 (37 enodes)
1554297412.970 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.971 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297412.971 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297412.971 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554297412.971 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554297412.971 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554297412.971 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554297412.971 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554297412.972 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554297412.972 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554297412.972 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554297412.972 * * * * [misc]progress:  [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.973 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554297412.973 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297412.975 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297412.981 * * [misc]simplify:  iters left: 1 (37 enodes)
1554297412.991 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297412.991 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297412.991 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297412.991 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554297412.991 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554297412.991 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554297412.991 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554297412.992 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554297412.992 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554297412.992 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554297412.993 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554297412.993 * * * * [misc]progress:  [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1554297412.993 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554297412.993 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297412.995 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297413.003 * * [misc]simplify:  iters left: 1 (37 enodes)
1554297413.013 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.013 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.013 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.013 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554297413.013 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554297413.013 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554297413.014 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554297413.014 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554297413.015 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554297413.015 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554297413.015 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1554297413.015 * * * * [misc]progress:  [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297413.016 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.016 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.018 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.024 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.024 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.024 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.024 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.024 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.025 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.025 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.026 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.026 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297413.026 * * * * [misc]progress:  [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297413.026 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.026 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.028 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.035 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.036 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.036 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.036 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.036 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.036 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.037 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.037 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.037 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297413.037 * * * * [misc]progress:  [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1554297413.037 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.037 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.039 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.047 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.047 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.047 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.047 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.047 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.047 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.048 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.048 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.048 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1554297413.049 * * * [misc]progress:  adding candidates to table
1554297413.594 * * [misc]progress:  iteration 3 / 4
1554297413.595 * * * [misc]progress:  picking best candidate
1554297413.642 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.642 * * * [misc]progress:  localizing error
1554297413.664 * * * [misc]progress:  generating rewritten candidates
1554297413.664 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1554297413.665 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1554297413.665 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1554297413.665 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1554297413.668 * * * [misc]progress:  generating series expansions
1554297413.668 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1554297413.668 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.668 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297413.668 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.668 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.668 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.668 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.668 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.668 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.668 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.668 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.669 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.669 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297413.669 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.669 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.669 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.669 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.669 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.669 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297413.670 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.670 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297413.670 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.670 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.670 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.670 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.670 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.670 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.670 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.670 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.670 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.670 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.670 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.670 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297413.671 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.671 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297413.671 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.671 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.671 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.671 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.671 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.671 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.672 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297413.672 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.672 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.672 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.672 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.672 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.672 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297413.672 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.672 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.673 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.673 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.673 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.673 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297413.673 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.673 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297413.673 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.673 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.673 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.673 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.674 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.674 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.674 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297413.674 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.674 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.674 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.674 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.674 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.674 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297413.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.675 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297413.675 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.675 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.675 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.675 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.675 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.675 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.675 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.676 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.676 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.676 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.676 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.676 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.676 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.676 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297413.676 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1554297413.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297413.676 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1554297413.676 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554297413.676 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.676 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297413.676 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554297413.676 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.676 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297413.676 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1554297413.676 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297413.676 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297413.676 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1554297413.676 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297413.676 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297413.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297413.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297413.677 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554297413.677 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.677 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.677 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.678 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1554297413.678 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.679 * [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
1554297413.679 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.679 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.679 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.679 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.680 * [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
1554297413.680 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.682 * [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
1554297413.682 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.682 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.682 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.682 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1554297413.682 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297413.682 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1554297413.682 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554297413.682 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.682 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297413.682 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554297413.682 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.682 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297413.682 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1554297413.682 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297413.682 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.682 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297413.682 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1554297413.683 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297413.683 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297413.683 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297413.683 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1554297413.683 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554297413.683 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.683 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.683 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.684 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1554297413.684 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.685 * [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
1554297413.685 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.685 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.685 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.685 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.686 * [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
1554297413.686 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.688 * [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
1554297413.688 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.688 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.688 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.688 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1554297413.688 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297413.688 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1554297413.688 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554297413.688 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.688 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297413.688 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554297413.688 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.688 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.688 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297413.688 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1554297413.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297413.689 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.689 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297413.689 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1554297413.689 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297413.689 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297413.689 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297413.689 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1554297413.690 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554297413.690 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.690 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.690 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.691 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1554297413.691 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.692 * [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
1554297413.692 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.692 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.692 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.692 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.693 * [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
1554297413.693 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.694 * [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
1554297413.694 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297413.694 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.694 * [misc]backup-simplify:  Simplify 0 into 0
1554297413.695 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1554297413.695 * * * [misc]progress:  simplifying candidates
1554297413.695 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1554297413.695 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1554297413.695 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1554297413.695 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1554297413.695 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1554297413.695 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1554297413.695 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1554297413.695 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
1554297413.695 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.695 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.696 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1554297413.696 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1554297413.699 * * [misc]simplify:  iters left: 6 (8 enodes)
1554297413.701 * * [misc]simplify:  iters left: 5 (32 enodes)
1554297413.711 * * [misc]simplify:  iters left: 4 (47 enodes)
1554297413.721 * * [misc]simplify:  iters left: 3 (51 enodes)
1554297413.728 * * [misc]simplify:  iters left: 2 (53 enodes)
1554297413.735 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.736 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.736 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1554297413.736 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554297413.736 * * [misc]simplify:  Extracting #4: cost 12 inf + 0
1554297413.736 * * [misc]simplify:  Extracting #5: cost 18 inf + 0
1554297413.736 * * [misc]simplify:  Extracting #6: cost 16 inf + 185
1554297413.736 * * [misc]simplify:  Extracting #7: cost 18 inf + 312
1554297413.736 * * [misc]simplify:  Extracting #8: cost 12 inf + 1292
1554297413.736 * * [misc]simplify:  Extracting #9: cost 1 inf + 4069
1554297413.737 * * [misc]simplify:  Extracting #10: cost 0 inf + 4436
1554297413.737 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1554297413.737 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1554297413.737 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1554297413.738 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1554297413.738 * * [misc]simplify:  iters left: 4 (7 enodes)
1554297413.739 * * [misc]simplify:  iters left: 3 (27 enodes)
1554297413.743 * * [misc]simplify:  iters left: 2 (40 enodes)
1554297413.749 * * [misc]simplify:  iters left: 1 (44 enodes)
1554297413.757 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.757 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.757 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554297413.757 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554297413.757 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1554297413.757 * * [misc]simplify:  Extracting #5: cost 13 inf + 94
1554297413.757 * * [misc]simplify:  Extracting #6: cost 13 inf + 368
1554297413.757 * * [misc]simplify:  Extracting #7: cost 7 inf + 1177
1554297413.757 * * [misc]simplify:  Extracting #8: cost 0 inf + 2788
1554297413.758 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1554297413.758 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1554297413.758 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1554297413.758 * [enter]simplify:  Simplifying (log 1)
1554297413.758 * * [misc]simplify:  iters left: 1 (2 enodes)
1554297413.759 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.760 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1554297413.760 * [exit]simplify:  Simplified to 0
1554297413.760 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1554297413.760 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1554297413.760 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1554297413.760 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.760 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.760 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.761 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.764 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.764 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.764 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.765 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.765 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.765 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.765 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.765 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.765 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.765 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1554297413.765 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1554297413.765 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1554297413.765 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297413.765 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1554297413.765 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1554297413.765 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
1554297413.766 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.766 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.766 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.767 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.770 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.770 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.770 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.770 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.770 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.770 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.770 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.771 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.771 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.771 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.771 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.771 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.772 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.778 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.778 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.778 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.778 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.778 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.778 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.779 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.779 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.779 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.779 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.780 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.780 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.782 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.789 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.789 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.789 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.789 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.789 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.789 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.790 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.790 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.790 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.790 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.791 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.791 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.793 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.799 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.799 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.799 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.799 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.800 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.800 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.800 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.801 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.801 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.801 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.801 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.801 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.803 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.811 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.811 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.811 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.811 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.812 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.812 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.812 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.813 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.813 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.813 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.813 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.813 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.815 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.822 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.822 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.822 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.822 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.822 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.823 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.823 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.823 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.823 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.824 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.824 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.824 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.826 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.832 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.833 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.833 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.833 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.833 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.833 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.833 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.834 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.834 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.834 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.834 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.834 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.836 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.843 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.843 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.843 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.843 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.843 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.843 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.844 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.844 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.844 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.845 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.845 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297413.845 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297413.847 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297413.853 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.853 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297413.853 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297413.854 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297413.854 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297413.854 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297413.854 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297413.855 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297413.855 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.855 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.855 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554297413.855 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297413.858 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297413.866 * * [misc]simplify:  iters left: 1 (37 enodes)
1554297413.876 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.876 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.876 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.876 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554297413.876 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554297413.876 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554297413.877 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554297413.877 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554297413.878 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554297413.878 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554297413.878 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.878 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.879 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554297413.879 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297413.881 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297413.888 * * [misc]simplify:  iters left: 1 (37 enodes)
1554297413.898 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.898 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.898 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.898 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554297413.899 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554297413.899 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554297413.899 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554297413.899 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554297413.900 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554297413.900 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554297413.900 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.900 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1554297413.901 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1554297413.901 * * [misc]simplify:  iters left: 3 (6 enodes)
1554297413.903 * * [misc]simplify:  iters left: 2 (24 enodes)
1554297413.911 * * [misc]simplify:  iters left: 1 (37 enodes)
1554297413.922 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297413.922 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554297413.922 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554297413.922 * * [misc]simplify:  Extracting #3: cost 12 inf + 0
1554297413.922 * * [misc]simplify:  Extracting #4: cost 12 inf + 3
1554297413.922 * * [misc]simplify:  Extracting #5: cost 13 inf + 221
1554297413.923 * * [misc]simplify:  Extracting #6: cost 6 inf + 1202
1554297413.923 * * [misc]simplify:  Extracting #7: cost 1 inf + 1973
1554297413.924 * * [misc]simplify:  Extracting #8: cost 0 inf + 2194
1554297413.924 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1554297413.924 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1554297413.924 * * * [misc]progress:  adding candidates to table
1554297414.708 * * [misc]progress:  iteration 4 / 4
1554297414.708 * * * [misc]progress:  picking best candidate
1554297414.782 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.782 * * * [misc]progress:  localizing error
1554297414.798 * * * [misc]progress:  generating rewritten candidates
1554297414.798 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
1554297414.798 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1554297414.798 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1554297414.798 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1554297414.799 * * * [misc]progress:  generating series expansions
1554297414.799 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
1554297414.799 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.799 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297414.799 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.799 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.799 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.799 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.799 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.799 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.799 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.799 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.799 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.799 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.799 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.799 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.800 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.800 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297414.800 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.800 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.800 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.800 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.800 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.800 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.800 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.800 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.800 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.800 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.800 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.801 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297414.801 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.801 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.801 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.801 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.801 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.801 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297414.802 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.802 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297414.802 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.802 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.802 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.802 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.802 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.802 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297414.802 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.802 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.802 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.802 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.803 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.803 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.803 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297414.803 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.803 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.803 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.803 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.803 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.804 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297414.804 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.804 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297414.804 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.804 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.804 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.804 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.804 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.804 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.804 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.805 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.805 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297414.805 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.805 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.805 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.805 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.805 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.805 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.805 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.805 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.805 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.805 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.805 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.806 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297414.806 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.806 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.806 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.806 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.806 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.806 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297414.806 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.807 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1554297414.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.807 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.807 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1554297414.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.807 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.807 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.808 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1554297414.808 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.808 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1554297414.808 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.808 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.808 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1554297414.808 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.808 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1554297414.809 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.809 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1554297414.809 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]taylor:  Taking taylor expansion of 0 in a
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]backup-simplify:  Simplify 0 into 0
1554297414.809 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1554297414.809 * * * [misc]progress:  simplifying candidates
1554297414.809 * * * * [misc]progress:  [ 1 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1554297414.809 * * * * [misc]progress:  [ 2 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1554297414.809 * * * * [misc]progress:  [ 3 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1554297414.809 * * * * [misc]progress:  [ 4 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1554297414.809 * * * * [misc]progress:  [ 5 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1554297414.809 * * * * [misc]progress:  [ 6 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1554297414.809 * * * * [misc]progress:  [ 7 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1554297414.809 * * * * [misc]progress:  [ 8 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))))>
1554297414.809 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.809 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.809 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.809 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 20 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 23 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.810 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.810 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.811 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.815 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.815 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.815 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.815 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.815 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.815 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.815 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.815 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.816 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.816 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.816 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.816 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.817 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.823 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.824 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.824 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.824 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.824 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.824 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.824 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.825 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.825 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.825 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.825 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.825 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.827 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.834 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.834 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.834 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.834 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.834 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.838 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.838 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.838 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.838 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.838 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.838 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.838 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.839 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.843 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.843 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.843 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.843 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.843 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.843 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.843 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.843 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.843 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.844 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.844 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.844 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.845 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.848 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.848 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.848 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.848 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.848 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.848 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.848 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.849 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.849 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.849 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.849 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.849 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.850 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.853 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.853 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.853 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.853 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.853 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.853 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.854 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.854 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.854 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.854 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.854 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.854 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.855 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.858 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.858 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.858 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.858 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.858 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.859 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.859 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.859 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.859 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.859 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.859 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.859 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.860 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.863 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.863 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.863 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.863 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.863 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.864 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.864 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.864 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.864 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.864 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.864 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.864 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.865 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.868 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.868 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.868 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.868 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.869 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.869 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.869 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.869 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.869 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.869 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.869 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.869 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.870 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.873 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.874 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.874 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.874 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.874 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.874 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.874 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.874 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.874 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.874 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.874 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.875 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.875 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.879 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.879 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.879 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.879 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.879 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.879 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.879 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.879 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.879 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.880 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1554297414.880 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1554297414.880 * * [misc]simplify:  iters left: 2 (5 enodes)
1554297414.881 * * [misc]simplify:  iters left: 1 (21 enodes)
1554297414.887 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297414.888 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1554297414.888 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1554297414.888 * * [misc]simplify:  Extracting #3: cost 10 inf + 3
1554297414.888 * * [misc]simplify:  Extracting #4: cost 9 inf + 368
1554297414.888 * * [misc]simplify:  Extracting #5: cost 5 inf + 809
1554297414.889 * * [misc]simplify:  Extracting #6: cost 0 inf + 1620
1554297414.889 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1554297414.889 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1554297414.889 * * * [misc]progress:  adding candidates to table
1554297415.626 * [misc]progress:  [Phase 3 of 3] Extracting.
1554297415.626 * * [misc]regime:  Finding splitpoints for: (#<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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>)
1554297415.629 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1554297415.630 * * * * [misc]regimes:  Trying to branch on a from (#<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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>)
1554297415.739 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>)
1554297415.887 * * * * [misc]regimes:  Trying to branch on c from (#<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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>)
1554297416.005 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>)
1554297416.143 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>)
1554297416.254 * * * [misc]regime:  Found split indices: #<option (#s(si 2 255))>
1554297416.255 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1554297416.255 * * [misc]simplify:  iters left: 6 (12 enodes)
1554297416.256 * * [misc]simplify:  iters left: 5 (14 enodes)
1554297416.257 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #2: cost 3 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #3: cost 5 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #4: cost 7 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #5: cost 8 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #6: cost 10 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #7: cost 12 inf + 0
1554297416.257 * * [misc]simplify:  Extracting #8: cost 9 inf + 93
1554297416.258 * * [misc]simplify:  Extracting #9: cost 0 inf + 3485
1554297416.259 * [exit]simplify:  Simplified to (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))
1554297435.706 * [misc]regime-testing:  Baseline error score: 34.24595770355559
1554297435.707 * [misc]regime-testing:  Oracle error score: 34.024954456513036
1554297435.709 * [misc]regime-testing:  End program error score: 34.24595770355559