1545558235.864 * [misc]progress:  [Phase 1 of 3] Setting up.
1545558235.864 * * * [misc]progress:  [1/2] Preparing points
1545558235.864 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545558236.192 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558236.192 * * * * [misc]points:  Sampling 163 additional inputs, on iter 1 have 93 / 256
1545558236.405 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558236.405 * * * * [misc]points:  Sampling 112 additional inputs, on iter 2 have 144 / 256
1545558236.559 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558236.559 * * * * [misc]points:  Sampling 74 additional inputs, on iter 3 have 182 / 256
1545558236.629 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558236.629 * * * * [misc]points:  Sampling 48 additional inputs, on iter 4 have 208 / 256
1545558237.062 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558237.062 * * * * [misc]points:  Sampling 30 additional inputs, on iter 5 have 226 / 256
1545558237.101 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558237.101 * * * * [misc]points:  Sampling 14 additional inputs, on iter 6 have 242 / 256
1545558237.115 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558237.115 * * * * [misc]points:  Sampling 9 additional inputs, on iter 7 have 247 / 256
1545558237.124 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558237.124 * * * * [misc]points:  Sampling 6 additional inputs, on iter 8 have 250 / 256
1545558237.131 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558237.131 * * * * [misc]points:  Sampling 5 additional inputs, on iter 9 have 251 / 256
1545558237.135 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558237.135 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
1545558237.137 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558237.137 * * * * [exit]points:  Sampled 256 points with exact outputs
1545558237.138 * * * [misc]progress:  [2/2] Setting up program.
1545558237.142 * [misc]progress:  [Phase 2 of 3] Improving.
1545558237.143 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.144 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.147 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.150 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.158 * * [misc]progress:  iteration 1 / 4
1545558237.158 * * * [misc]progress:  picking best candidate
1545558237.161 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.161 * * * [misc]progress:  localizing error
1545558237.204 * * * [misc]progress:  generating rewritten candidates
1545558237.205 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545558237.208 * * * [misc]progress:  generating series expansions
1545558237.208 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545558237.214 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.214 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558237.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.219 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.219 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.219 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.219 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.220 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.223 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.223 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558237.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.223 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.223 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.223 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.223 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.224 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.224 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.224 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558237.225 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.225 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558237.225 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.225 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.225 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.226 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.226 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.226 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.226 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.226 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.226 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.226 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.226 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.226 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.226 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.226 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.226 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.226 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.226 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.226 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.227 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.227 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.227 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.227 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558237.227 * * * [misc]progress:  simplifying candidates
1545558237.227 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1545558237.227 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1545558237.228 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545558237.228 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.228 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545558237.228 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545558237.228 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545558237.228 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545558237.228 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545558237.228 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.228 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.228 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.230 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.233 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.233 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558237.233 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.234 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.234 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.235 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.239 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.239 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558237.239 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.239 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.239 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.241 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.244 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.244 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558237.244 * * * [misc]progress:  adding candidates to table
1545558237.413 * * [misc]progress:  iteration 2 / 4
1545558237.414 * * * [misc]progress:  picking best candidate
1545558237.443 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.443 * * * [misc]progress:  localizing error
1545558237.454 * * * [misc]progress:  generating rewritten candidates
1545558237.454 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545558237.454 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1545558237.459 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1545558237.462 * * * [misc]progress:  generating series expansions
1545558237.462 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545558237.462 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.462 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558237.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.462 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.462 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.462 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.462 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.462 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.463 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.463 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558237.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.464 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558237.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.465 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558237.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.466 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.466 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558237.466 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1545558237.466 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545558237.466 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558237.466 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.466 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.466 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.467 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.467 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.467 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.467 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.467 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.467 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.467 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.467 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.467 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.468 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558237.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.468 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.468 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.468 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.468 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.469 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.469 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.469 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.469 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.469 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.469 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.469 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.469 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.469 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558237.469 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.469 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558237.469 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.470 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.470 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.470 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.470 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.470 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.470 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.470 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.470 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.470 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.470 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.470 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.470 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.470 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.471 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.471 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.471 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.471 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558237.471 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1545558237.471 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545558237.471 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545558237.471 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545558237.471 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.471 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.471 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545558237.471 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545558237.471 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.471 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.472 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545558237.472 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545558237.472 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558237.472 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.472 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545558237.472 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545558237.472 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558237.472 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558237.472 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545558237.472 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545558237.474 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545558237.474 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.474 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.474 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.480 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545558237.480 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.482 * [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
1545558237.482 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.482 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.482 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.483 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.484 * [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
1545558237.484 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.488 * [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
1545558237.488 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.488 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.488 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.488 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545558237.488 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545558237.488 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545558237.488 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545558237.488 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.488 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.488 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545558237.488 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545558237.488 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.489 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.489 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545558237.489 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545558237.489 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558237.489 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.489 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545558237.489 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545558237.489 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558237.489 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558237.489 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545558237.490 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545558237.491 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545558237.491 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.491 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.491 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.492 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545558237.492 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.494 * [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
1545558237.494 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.494 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.494 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.494 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.495 * [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
1545558237.495 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.498 * [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
1545558237.498 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.498 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.499 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.499 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545558237.499 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545558237.499 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545558237.499 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545558237.499 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.499 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.499 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545558237.499 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545558237.499 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.500 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.500 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545558237.500 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545558237.500 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558237.500 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.500 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545558237.500 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545558237.500 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558237.500 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558237.500 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545558237.501 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545558237.502 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545558237.502 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.502 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.502 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.503 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545558237.503 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.505 * [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
1545558237.505 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.505 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.505 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.505 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.506 * [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
1545558237.506 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.509 * [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
1545558237.509 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558237.509 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.509 * [misc]backup-simplify:  Simplify 0 into 0
1545558237.510 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545558237.510 * * * [misc]progress:  simplifying candidates
1545558237.510 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545558237.510 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545558237.510 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545558237.510 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545558237.510 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545558237.510 * * * * [misc]progress:  [ 6 / 49 ] 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)))))))>
1545558237.510 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545558237.510 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545558237.510 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545558237.510 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1545558237.510 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1545558237.511 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545558237.511 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545558237.511 * [enter]simplify:  Simplifying (exp 1)
1545558237.511 * * [misc]simplify:  iters left: 1 (2 enodes)
1545558237.512 * [exit]simplify:  Simplified to E
1545558237.513 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545558237.513 * * * * [misc]progress:  [ 14 / 49 ] 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))))))>
1545558237.513 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545558237.513 * * [misc]simplify:  iters left: 6 (9 enodes)
1545558237.516 * * [misc]simplify:  iters left: 5 (17 enodes)
1545558237.521 * * [misc]simplify:  iters left: 4 (20 enodes)
1545558237.526 * * [misc]simplify:  iters left: 3 (22 enodes)
1545558237.532 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545558237.532 * [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))))))
1545558237.532 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545558237.532 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545558237.532 * * [misc]simplify:  iters left: 5 (8 enodes)
1545558237.534 * * [misc]simplify:  iters left: 4 (14 enodes)
1545558237.538 * * [misc]simplify:  iters left: 3 (17 enodes)
1545558237.543 * * [misc]simplify:  iters left: 2 (19 enodes)
1545558237.547 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545558237.547 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545558237.547 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545558237.548 * [enter]simplify:  Simplifying (exp 1)
1545558237.548 * * [misc]simplify:  iters left: 1 (2 enodes)
1545558237.548 * [exit]simplify:  Simplified to E
1545558237.548 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545558237.549 * * * * [misc]progress:  [ 17 / 49 ] 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)))))))>
1545558237.549 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545558237.549 * * [misc]simplify:  iters left: 6 (9 enodes)
1545558237.552 * * [misc]simplify:  iters left: 5 (17 enodes)
1545558237.556 * * [misc]simplify:  iters left: 4 (22 enodes)
1545558237.562 * * [misc]simplify:  iters left: 3 (24 enodes)
1545558237.568 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545558237.568 * [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)))))))
1545558237.568 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545558237.568 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545558237.568 * * [misc]simplify:  iters left: 5 (8 enodes)
1545558237.571 * * [misc]simplify:  iters left: 4 (14 enodes)
1545558237.575 * * [misc]simplify:  iters left: 3 (17 enodes)
1545558237.579 * * [misc]simplify:  iters left: 2 (19 enodes)
1545558237.584 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545558237.584 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545558237.585 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545558237.585 * [enter]simplify:  Simplifying (exp (log 1))
1545558237.585 * * [misc]simplify:  iters left: 2 (3 enodes)
1545558237.588 * * [misc]simplify:  iters left: 1 (5 enodes)
1545558237.589 * [exit]simplify:  Simplified to 1
1545558237.589 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545558237.589 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.589 * [enter]simplify:  Simplifying (cosh c)
1545558237.589 * * [misc]simplify:  iters left: 1 (2 enodes)
1545558237.590 * [exit]simplify:  Simplified to (cosh c)
1545558237.590 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558237.590 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545558237.590 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545558237.590 * * * * [misc]progress:  [ 23 / 49 ] 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)))))))>
1545558237.590 * * * * [misc]progress:  [ 24 / 49 ] 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)))))))>
1545558237.590 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545558237.591 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545558237.591 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545558237.591 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545558237.591 * * * * [misc]progress:  [ 29 / 49 ] 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)))))))>
1545558237.591 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545558237.591 * * [misc]simplify:  iters left: 6 (8 enodes)
1545558237.594 * * [misc]simplify:  iters left: 5 (16 enodes)
1545558237.599 * * [misc]simplify:  iters left: 4 (19 enodes)
1545558237.604 * * [misc]simplify:  iters left: 3 (21 enodes)
1545558237.610 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545558237.610 * [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)))))))
1545558237.610 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545558237.610 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545558237.610 * * [misc]simplify:  iters left: 4 (7 enodes)
1545558237.613 * * [misc]simplify:  iters left: 3 (13 enodes)
1545558237.616 * * [misc]simplify:  iters left: 2 (16 enodes)
1545558237.620 * * [misc]simplify:  iters left: 1 (18 enodes)
1545558237.625 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545558237.625 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545558237.625 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545558237.625 * [enter]simplify:  Simplifying (log 1)
1545558237.625 * * [misc]simplify:  iters left: 1 (2 enodes)
1545558237.627 * [exit]simplify:  Simplified to 0
1545558237.627 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545558237.627 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545558237.627 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545558237.627 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.628 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.628 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.629 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.632 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.632 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558237.632 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545558237.633 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545558237.633 * * * * [misc]progress:  [ 37 / 49 ] 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)))))))>
1545558237.633 * * * * [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)))))))>
1545558237.633 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545558237.633 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545558237.633 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.633 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.633 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.635 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.638 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.638 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558237.638 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.638 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.638 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.640 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.643 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.643 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558237.643 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.646 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.646 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.648 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.651 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.651 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558237.651 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.652 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.652 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.653 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.656 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.656 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558237.656 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.657 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.657 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.658 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.660 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.660 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558237.660 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558237.661 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558237.661 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558237.661 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558237.663 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558237.663 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558237.663 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.663 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545558237.663 * * [misc]simplify:  iters left: 3 (6 enodes)
1545558237.664 * * [misc]simplify:  iters left: 2 (12 enodes)
1545558237.666 * * [misc]simplify:  iters left: 1 (15 enodes)
1545558237.668 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545558237.668 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558237.668 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.668 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545558237.668 * * [misc]simplify:  iters left: 3 (6 enodes)
1545558237.669 * * [misc]simplify:  iters left: 2 (12 enodes)
1545558237.671 * * [misc]simplify:  iters left: 1 (15 enodes)
1545558237.673 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545558237.673 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558237.673 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545558237.673 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545558237.673 * * [misc]simplify:  iters left: 3 (6 enodes)
1545558237.674 * * [misc]simplify:  iters left: 2 (12 enodes)
1545558237.676 * * [misc]simplify:  iters left: 1 (15 enodes)
1545558237.678 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545558237.678 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558237.678 * * * [misc]progress:  adding candidates to table
1545558238.232 * * [misc]progress:  iteration 3 / 4
1545558238.232 * * * [misc]progress:  picking best candidate
1545558238.341 * * * * [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)))))))>
1545558238.341 * * * [misc]progress:  localizing error
1545558238.354 * * * [misc]progress:  generating rewritten candidates
1545558238.354 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545558238.354 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1545558238.355 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545558238.355 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1545558238.361 * * * [misc]progress:  generating series expansions
1545558238.361 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.362 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558238.362 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.362 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.362 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.362 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.362 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.362 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558238.362 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.362 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.362 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.363 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.363 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.363 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.363 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558238.363 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.363 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.363 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.363 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.364 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.364 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558238.364 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.364 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558238.364 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.364 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.364 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.364 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.364 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.365 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.365 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558238.365 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.365 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.365 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.365 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.365 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.365 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.365 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.365 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.365 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.365 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558238.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.366 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558238.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.366 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.366 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.366 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.366 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558238.367 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.367 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558238.367 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.367 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.367 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.367 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.367 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.367 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558238.367 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.367 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.368 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.368 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.368 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.368 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.368 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558238.368 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.368 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.368 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.369 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.369 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.369 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.369 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.369 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.369 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.369 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558238.369 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1545558238.369 * [misc]backup-simplify:  Simplify (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) into (fmod (cosh c) (log1p a))
1545558238.369 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558238.369 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.369 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.369 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.370 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.370 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558238.370 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.370 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558238.370 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.370 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.370 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.370 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558238.370 * [misc]backup-simplify:  Simplify (exp (cbrt (* (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.370 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558238.370 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.370 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.371 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.371 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.371 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558238.371 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.371 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558238.371 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.371 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558238.371 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.371 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558238.372 * [misc]backup-simplify:  Simplify (exp (cbrt (* (* (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.372 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558238.372 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.372 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.372 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.372 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.372 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558238.372 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.372 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558238.372 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.372 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558238.372 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]backup-simplify:  Simplify 0 into 0
1545558238.372 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558238.372 * * * [misc]progress:  simplifying candidates
1545558238.373 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1545558238.373 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1545558238.373 * * * * [misc]progress:  [ 3 / 53 ] 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))))))>
1545558238.373 * * * * [misc]progress:  [ 4 / 53 ] 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)))))))))>
1545558238.373 * * * * [misc]progress:  [ 5 / 53 ] 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)))))))))>
1545558238.373 * * * * [misc]progress:  [ 6 / 53 ] 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)))))))))>
1545558238.373 * * * * [misc]progress:  [ 7 / 53 ] 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)))))))))>
1545558238.373 * * * * [misc]progress:  [ 8 / 53 ] 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)))))))))>
1545558238.373 * * * * [misc]progress:  [ 9 / 53 ] 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))))))))>
1545558238.373 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545558238.373 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545558238.373 * * * * [misc]progress:  [ 12 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 13 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 14 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 15 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 16 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 17 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 18 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545558238.373 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545558238.373 * * * * [misc]progress:  [ 21 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 22 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 23 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 24 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 25 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 26 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 27 / 53 ] 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)))))))>
1545558238.373 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545558238.373 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545558238.374 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) 1))>
1545558238.374 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545558238.374 * [enter]simplify:  Simplifying (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
1545558238.374 * * [misc]simplify:  iters left: 6 (9 enodes)
1545558238.375 * * [misc]simplify:  iters left: 5 (15 enodes)
1545558238.377 * * [misc]simplify:  iters left: 4 (18 enodes)
1545558238.380 * * [misc]simplify:  iters left: 3 (20 enodes)
1545558238.383 * [exit]simplify:  Simplified to (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
1545558238.383 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545558238.383 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558238.383 * [enter]simplify:  Simplifying (exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558238.383 * * [misc]simplify:  iters left: 6 (12 enodes)
1545558238.385 * * [misc]simplify:  iters left: 5 (21 enodes)
1545558238.388 * * [misc]simplify:  iters left: 4 (26 enodes)
1545558238.392 * * [misc]simplify:  iters left: 3 (32 enodes)
1545558238.396 * * [misc]simplify:  iters left: 2 (39 enodes)
1545558238.401 * * [misc]simplify:  iters left: 1 (44 enodes)
1545558238.406 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545558238.407 * [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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558238.407 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558238.407 * [enter]simplify:  Simplifying (exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545558238.407 * * [misc]simplify:  iters left: 6 (11 enodes)
1545558238.409 * * [misc]simplify:  iters left: 5 (18 enodes)
1545558238.411 * * [misc]simplify:  iters left: 4 (23 enodes)
1545558238.415 * * [misc]simplify:  iters left: 3 (29 enodes)
1545558238.418 * * [misc]simplify:  iters left: 2 (36 enodes)
1545558238.425 * * [misc]simplify:  iters left: 1 (41 enodes)
1545558238.429 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545558238.429 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558238.429 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545558238.429 * [enter]simplify:  Simplifying (exp 1)
1545558238.429 * * [misc]simplify:  iters left: 1 (2 enodes)
1545558238.430 * [exit]simplify:  Simplified to E
1545558238.430 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545558238.430 * * * * [misc]progress:  [ 35 / 53 ] 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)))))))>
1545558238.430 * [enter]simplify:  Simplifying (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))
1545558238.430 * * [misc]simplify:  iters left: 6 (9 enodes)
1545558238.431 * * [misc]simplify:  iters left: 5 (16 enodes)
1545558238.434 * * [misc]simplify:  iters left: 4 (21 enodes)
1545558238.437 * * [misc]simplify:  iters left: 3 (27 enodes)
1545558238.440 * * [misc]simplify:  iters left: 2 (34 enodes)
1545558238.444 * * [misc]simplify:  iters left: 1 (39 enodes)
1545558238.448 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545558238.448 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545558238.448 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545558238.448 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545558238.448 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545558238.448 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545558238.448 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545558238.448 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558238.448 * * * * [misc]progress:  [ 42 / 53 ] 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)))))))>
1545558238.448 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.448 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.449 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.451 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.451 * [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)))))))
1545558238.451 * * * * [misc]progress:  [ 43 / 53 ] 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)))))))>
1545558238.451 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.451 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.452 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.453 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.453 * [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)))))))
1545558238.454 * * * * [misc]progress:  [ 44 / 53 ] 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)))))))>
1545558238.454 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.454 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.455 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.457 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.457 * [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)))))))
1545558238.457 * * * * [misc]progress:  [ 45 / 53 ] 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)))))))>
1545558238.457 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.457 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.458 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.459 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.459 * [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)))))))
1545558238.459 * * * * [misc]progress:  [ 46 / 53 ] 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)))))))>
1545558238.459 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.460 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.460 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.462 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.462 * [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)))))))
1545558238.462 * * * * [misc]progress:  [ 47 / 53 ] 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)))))))>
1545558238.462 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.462 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.463 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.466 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.466 * [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)))))))
1545558238.466 * * * * [misc]progress:  [ 48 / 53 ] 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)))))))>
1545558238.466 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.466 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.467 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.471 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.471 * [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)))))))
1545558238.471 * * * * [misc]progress:  [ 49 / 53 ] 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)))))))>
1545558238.471 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.471 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.473 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.476 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.476 * [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)))))))
1545558238.476 * * * * [misc]progress:  [ 50 / 53 ] 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)))))))>
1545558238.476 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.476 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.477 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.480 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.480 * [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)))))))
1545558238.481 * * * * [misc]progress:  [ 51 / 53 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558238.481 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.481 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.482 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.485 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.485 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558238.485 * * * * [misc]progress:  [ 52 / 53 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558238.486 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.486 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.487 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.490 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.490 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558238.490 * * * * [misc]progress:  [ 53 / 53 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545558238.491 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558238.491 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558238.492 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558238.495 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558238.495 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545558238.495 * * * [misc]progress:  adding candidates to table
1545558239.264 * * [misc]progress:  iteration 4 / 4
1545558239.264 * * * [misc]progress:  picking best candidate
1545558239.391 * * * * [misc]pick:  Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.391 * * * [misc]progress:  localizing error
1545558239.425 * * * [misc]progress:  generating rewritten candidates
1545558239.425 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 1 2 1)
1545558239.425 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 1 1 2 1)
1545558239.425 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
1545558239.426 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1545558239.426 * * * [misc]progress:  generating series expansions
1545558239.427 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 1 2 1)
1545558239.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.427 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558239.427 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.427 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.427 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.427 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.427 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.427 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.427 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.428 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.428 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.428 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.428 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.428 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558239.428 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.428 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.428 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.428 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.428 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.429 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.429 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.429 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.429 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.429 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.429 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558239.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.430 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558239.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.431 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.431 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.431 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558239.431 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 1 1 2 1)
1545558239.431 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.431 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558239.431 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.431 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.432 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.432 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.432 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.432 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.432 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.432 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.432 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.432 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.432 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.433 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558239.433 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.433 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.433 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.433 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.433 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.433 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.434 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558239.434 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.434 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558239.434 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.434 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.434 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.435 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.435 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.435 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.435 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.436 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558239.436 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
1545558239.436 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.436 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558239.436 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.436 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.436 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.436 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.436 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.436 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.436 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.436 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.436 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.436 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.436 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.437 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.437 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.437 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558239.437 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.437 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.437 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.437 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.437 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.438 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.438 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.438 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.438 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.438 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.438 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558239.439 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.439 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558239.439 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.439 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.439 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.439 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.439 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.439 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.439 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.439 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.439 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.440 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.440 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558239.440 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1545558239.440 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.440 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545558239.440 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.440 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.440 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.441 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.441 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545558239.441 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.441 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545558239.441 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.441 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.441 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.441 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545558239.442 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.442 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545558239.442 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.442 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.442 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.442 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.442 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545558239.442 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.442 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545558239.442 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.442 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545558239.442 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.442 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.442 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.443 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.443 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.443 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545558239.443 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.443 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545558239.443 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.443 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.443 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.443 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.444 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545558239.444 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.444 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545558239.444 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.444 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545558239.444 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.444 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.444 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.444 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.445 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.445 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.445 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.445 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.445 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.445 * [misc]taylor:  Taking taylor expansion of 0 in a
1545558239.445 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.445 * [misc]backup-simplify:  Simplify 0 into 0
1545558239.445 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545558239.445 * * * [misc]progress:  simplifying candidates
1545558239.445 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a))))))))))>
1545558239.445 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))))>
1545558239.445 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1)))))))>
1545558239.445 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))))))))>
1545558239.445 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a))))))))))>
1545558239.445 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))>
1545558239.446 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))>
1545558239.446 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))>
1545558239.446 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a)))))))))>
1545558239.446 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.446 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.446 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.446 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.446 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.446 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))>
1545558239.446 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))>
1545558239.446 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))>
1545558239.446 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.446 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.446 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))>
1545558239.447 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))>
1545558239.447 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))>
1545558239.447 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.447 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.448 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.448 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.448 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.448 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.450 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.453 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.453 * [misc]simplify:  Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.453 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.453 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.453 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.455 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.458 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.458 * [misc]simplify:  Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.458 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.459 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.459 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.460 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.464 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.464 * [misc]simplify:  Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.464 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.464 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.464 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.466 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.469 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.469 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.469 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.469 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.469 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.471 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.474 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.474 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.474 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.474 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.475 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.476 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.479 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.479 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.479 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.480 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.480 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.481 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.484 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.484 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.484 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.484 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.484 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.485 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.486 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.487 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.487 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.487 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.487 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.487 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.489 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.489 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.489 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.489 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.489 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.490 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.492 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.492 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.492 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.492 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.492 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.493 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.496 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.496 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.497 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545558239.497 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545558239.497 * * [misc]simplify:  iters left: 2 (5 enodes)
1545558239.498 * * [misc]simplify:  iters left: 1 (11 enodes)
1545558239.499 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545558239.499 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545558239.499 * * * [misc]progress:  adding candidates to table
1545558240.364 * [misc]progress:  [Phase 3 of 3] Extracting.
1545558240.364 * * [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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (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)))))))))> #<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) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
1545558240.372 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545558240.374 * * * * [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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (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)))))))))> #<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) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
1545558240.521 * * * * [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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (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)))))))))> #<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) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
1545558240.652 * * * * [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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (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)))))))))> #<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) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
1545558240.768 * * * * [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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (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)))))))))> #<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) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
1545558240.971 * * * * [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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (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)))))))))> #<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) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
1545558241.153 * * * [misc]regime:  Found split indices: #<option (#s(si 15 256))>
1545558241.153 * [enter]simplify:  Simplifying (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
1545558241.153 * * [misc]simplify:  iters left: 6 (10 enodes)
1545558241.154 * [exit]simplify:  Simplified to (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
1545558241.154 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545558252.597 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558252.599 * * * * [misc]points:  Sampling 4970 additional inputs, on iter 1 have 3030 / 8000
1545558259.282 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558259.283 * * * * [misc]points:  Sampling 3038 additional inputs, on iter 2 have 4962 / 8000
1545558263.769 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558263.770 * * * * [misc]points:  Sampling 1870 additional inputs, on iter 3 have 6130 / 8000
1545558266.102 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558266.102 * * * * [misc]points:  Sampling 1159 additional inputs, on iter 4 have 6841 / 8000
1545558267.980 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558267.981 * * * * [misc]points:  Sampling 709 additional inputs, on iter 5 have 7291 / 8000
1545558268.756 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558268.757 * * * * [misc]points:  Sampling 428 additional inputs, on iter 6 have 7572 / 8000
1545558269.244 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558269.244 * * * * [misc]points:  Sampling 256 additional inputs, on iter 7 have 7744 / 8000
1545558269.596 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558269.597 * * * * [misc]points:  Sampling 145 additional inputs, on iter 8 have 7855 / 8000
1545558269.800 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558269.801 * * * * [misc]points:  Sampling 89 additional inputs, on iter 9 have 7911 / 8000
1545558269.890 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558269.890 * * * * [misc]points:  Sampling 60 additional inputs, on iter 10 have 7940 / 8000
1545558269.945 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558269.945 * * * * [misc]points:  Sampling 43 additional inputs, on iter 11 have 7957 / 8000
1545558269.985 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558269.985 * * * * [misc]points:  Sampling 24 additional inputs, on iter 12 have 7976 / 8000
1545558270.027 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.028 * * * * [misc]points:  Sampling 16 additional inputs, on iter 13 have 7984 / 8000
1545558270.056 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.056 * * * * [misc]points:  Sampling 12 additional inputs, on iter 14 have 7988 / 8000
1545558270.065 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.065 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 7995 / 8000
1545558270.071 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.071 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1545558270.074 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.074 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1545558270.078 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.078 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7997 / 8000
1545558270.083 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.083 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7997 / 8000
1545558270.092 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.092 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 7999 / 8000
1545558270.098 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545558270.098 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545558273.439 * [misc]regime-testing:  Baseline error score: 34.31287766906767
1545558273.440 * [misc]regime-testing:  Oracle error score: 34.27051901142477