1547111762.065 * [misc]progress:  [Phase 1 of 3] Setting up.
1547111762.065 * * * [misc]progress:  [1/2] Preparing points
1547111762.065 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547111762.384 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111762.384 * * * * [misc]points:  Sampling 164 additional inputs, on iter 1 have 92 / 256
1547111762.593 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111762.593 * * * * [misc]points:  Sampling 101 additional inputs, on iter 2 have 155 / 256
1547111762.700 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111762.700 * * * * [misc]points:  Sampling 61 additional inputs, on iter 3 have 195 / 256
1547111762.739 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111762.739 * * * * [misc]points:  Sampling 42 additional inputs, on iter 4 have 214 / 256
1547111762.769 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111762.769 * * * * [misc]points:  Sampling 23 additional inputs, on iter 5 have 233 / 256
1547111762.788 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111762.788 * * * * [misc]points:  Sampling 13 additional inputs, on iter 6 have 243 / 256
1547111763.124 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111763.124 * * * * [misc]points:  Sampling 8 additional inputs, on iter 7 have 248 / 256
1547111763.137 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111763.137 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 252 / 256
1547111763.140 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111763.141 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 253 / 256
1547111763.144 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111763.145 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
1547111763.149 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111763.149 * * * * [exit]points:  Sampled 256 points with exact outputs
1547111763.149 * * * [misc]progress:  [2/2] Setting up program.
1547111763.153 * [misc]progress:  [Phase 2 of 3] Improving.
1547111763.153 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.154 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.155 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.159 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.161 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.161 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.165 * * [misc]progress:  iteration 1 / 4
1547111763.165 * * * [misc]progress:  picking best candidate
1547111763.168 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.168 * * * [misc]progress:  localizing error
1547111763.181 * * * [misc]progress:  generating rewritten candidates
1547111763.181 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1547111763.183 * * * [misc]progress:  generating series expansions
1547111763.184 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1547111763.186 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.186 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111763.187 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.188 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.188 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.188 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.188 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.188 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.188 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.188 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.189 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.189 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.189 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.191 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.191 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111763.191 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.191 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.191 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.191 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.191 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.191 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.191 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.191 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.191 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.191 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.191 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111763.192 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.192 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111763.192 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.192 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.192 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.192 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.192 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.192 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.192 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.192 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.193 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.193 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.193 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111763.193 * * * [misc]progress:  simplifying candidates
1547111763.193 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1547111763.193 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1547111763.193 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1547111763.193 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.193 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1547111763.193 * * * * [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)))))>
1547111763.193 * * * * [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)))))>
1547111763.193 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1547111763.193 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1547111763.193 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.193 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.193 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.194 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.196 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.196 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.196 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.196 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.196 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.197 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.198 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.198 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.198 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.198 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.199 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.199 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.201 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.201 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.201 * * * [misc]progress:  adding candidates to table
1547111763.348 * * [misc]progress:  iteration 2 / 4
1547111763.348 * * * [misc]progress:  picking best candidate
1547111763.380 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.380 * * * [misc]progress:  localizing error
1547111763.387 * * * [misc]progress:  generating rewritten candidates
1547111763.387 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1547111763.387 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1547111763.389 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1547111763.391 * * * [misc]progress:  generating series expansions
1547111763.391 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1547111763.391 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.391 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111763.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.391 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.392 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.392 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111763.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.393 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111763.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.394 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.394 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.394 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111763.394 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1547111763.394 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111763.394 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547111763.394 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547111763.394 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.394 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111763.394 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547111763.394 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.394 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111763.394 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547111763.394 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.394 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111763.394 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547111763.395 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.395 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.395 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111763.395 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111763.396 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547111763.396 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.397 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.397 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.397 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547111763.397 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.399 * [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
1547111763.399 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.399 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.399 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.399 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.400 * [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
1547111763.400 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.402 * [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
1547111763.402 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.402 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.402 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.402 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111763.402 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111763.402 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547111763.402 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547111763.402 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.402 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.402 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111763.403 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547111763.403 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.403 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.403 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111763.403 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547111763.403 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.403 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.403 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111763.403 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547111763.403 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.403 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.403 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111763.403 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111763.404 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547111763.404 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.404 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.404 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.405 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547111763.405 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.406 * [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
1547111763.406 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.406 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.406 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.406 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.407 * [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
1547111763.407 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.409 * [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
1547111763.409 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.409 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.409 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.409 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547111763.409 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111763.409 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547111763.409 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547111763.409 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.409 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.409 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111763.409 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547111763.409 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.409 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.409 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111763.409 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547111763.409 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.409 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.409 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111763.410 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547111763.410 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.410 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.410 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111763.410 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111763.410 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547111763.410 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.410 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.410 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.411 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547111763.411 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.412 * [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
1547111763.412 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.412 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.412 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.412 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.413 * [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
1547111763.413 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.415 * [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
1547111763.415 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.415 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.415 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.415 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547111763.415 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1547111763.416 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1547111763.416 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111763.416 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.416 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.416 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.416 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.416 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111763.416 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.416 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111763.416 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.416 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.416 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.416 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111763.416 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.416 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111763.416 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.416 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.416 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.417 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.417 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111763.417 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.417 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111763.417 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.417 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111763.417 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.417 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111763.417 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.417 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111763.417 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.417 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.417 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.417 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.418 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111763.418 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.418 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111763.418 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.418 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111763.418 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]backup-simplify:  Simplify 0 into 0
1547111763.418 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111763.418 * * * [misc]progress:  simplifying candidates
1547111763.418 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1547111763.418 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1547111763.418 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1547111763.418 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547111763.418 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1547111763.418 * * * * [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)))))))>
1547111763.418 * * * * [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)))))))>
1547111763.418 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1547111763.418 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1547111763.418 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1547111763.419 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1547111763.419 * * * * [misc]progress:  [ 12 / 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)))))))>
1547111763.419 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547111763.419 * * [misc]simplify:  iters left: 6 (8 enodes)
1547111763.420 * * [misc]simplify:  iters left: 5 (16 enodes)
1547111763.423 * * [misc]simplify:  iters left: 4 (19 enodes)
1547111763.426 * * [misc]simplify:  iters left: 3 (21 enodes)
1547111763.429 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547111763.429 * [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)))))))
1547111763.429 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1547111763.429 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547111763.429 * * [misc]simplify:  iters left: 4 (7 enodes)
1547111763.430 * * [misc]simplify:  iters left: 3 (13 enodes)
1547111763.432 * * [misc]simplify:  iters left: 2 (16 enodes)
1547111763.436 * * [misc]simplify:  iters left: 1 (18 enodes)
1547111763.440 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547111763.441 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1547111763.441 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1547111763.441 * [enter]simplify:  Simplifying (log 1)
1547111763.441 * * [misc]simplify:  iters left: 1 (2 enodes)
1547111763.443 * [exit]simplify:  Simplified to 0
1547111763.443 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1547111763.443 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547111763.443 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1547111763.443 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.443 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.443 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.445 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.448 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.448 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547111763.448 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1547111763.448 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547111763.448 * * * * [misc]progress:  [ 20 / 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)))))))>
1547111763.448 * * * * [misc]progress:  [ 21 / 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)))))))>
1547111763.448 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1547111763.448 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547111763.448 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1547111763.449 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1547111763.449 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1547111763.449 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547111763.449 * [enter]simplify:  Simplifying (exp 1)
1547111763.449 * * [misc]simplify:  iters left: 1 (2 enodes)
1547111763.450 * [exit]simplify:  Simplified to E
1547111763.450 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547111763.450 * * * * [misc]progress:  [ 28 / 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))))))>
1547111763.450 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547111763.450 * * [misc]simplify:  iters left: 6 (9 enodes)
1547111763.453 * * [misc]simplify:  iters left: 5 (17 enodes)
1547111763.458 * * [misc]simplify:  iters left: 4 (20 enodes)
1547111763.467 * * [misc]simplify:  iters left: 3 (22 enodes)
1547111763.472 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547111763.472 * [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))))))
1547111763.472 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1547111763.472 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547111763.473 * * [misc]simplify:  iters left: 5 (8 enodes)
1547111763.474 * * [misc]simplify:  iters left: 4 (14 enodes)
1547111763.475 * * [misc]simplify:  iters left: 3 (17 enodes)
1547111763.478 * * [misc]simplify:  iters left: 2 (19 enodes)
1547111763.480 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547111763.480 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1547111763.480 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547111763.480 * [enter]simplify:  Simplifying (exp 1)
1547111763.480 * * [misc]simplify:  iters left: 1 (2 enodes)
1547111763.481 * [exit]simplify:  Simplified to E
1547111763.481 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547111763.481 * * * * [misc]progress:  [ 31 / 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)))))))>
1547111763.481 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1547111763.481 * * [misc]simplify:  iters left: 6 (9 enodes)
1547111763.482 * * [misc]simplify:  iters left: 5 (17 enodes)
1547111763.484 * * [misc]simplify:  iters left: 4 (22 enodes)
1547111763.487 * * [misc]simplify:  iters left: 3 (24 enodes)
1547111763.490 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1547111763.490 * [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)))))))
1547111763.490 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1547111763.490 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1547111763.490 * * [misc]simplify:  iters left: 5 (8 enodes)
1547111763.492 * * [misc]simplify:  iters left: 4 (14 enodes)
1547111763.493 * * [misc]simplify:  iters left: 3 (17 enodes)
1547111763.496 * * [misc]simplify:  iters left: 2 (19 enodes)
1547111763.498 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1547111763.498 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1547111763.498 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1547111763.498 * [enter]simplify:  Simplifying (exp (log 1))
1547111763.498 * * [misc]simplify:  iters left: 2 (3 enodes)
1547111763.499 * * [misc]simplify:  iters left: 1 (5 enodes)
1547111763.500 * [exit]simplify:  Simplified to 1
1547111763.500 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1547111763.500 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.500 * [enter]simplify:  Simplifying (cosh c)
1547111763.500 * * [misc]simplify:  iters left: 1 (2 enodes)
1547111763.500 * [exit]simplify:  Simplified to (cosh c)
1547111763.500 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.500 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547111763.500 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1547111763.500 * * * * [misc]progress:  [ 37 / 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)))))))>
1547111763.501 * * * * [misc]progress:  [ 38 / 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)))))))>
1547111763.501 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1547111763.501 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1547111763.501 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.501 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.501 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.501 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.503 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.503 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547111763.503 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.503 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.503 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.504 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.505 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.505 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547111763.505 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.506 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.506 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.506 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.508 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.508 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547111763.508 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.508 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547111763.508 * * [misc]simplify:  iters left: 3 (6 enodes)
1547111763.509 * * [misc]simplify:  iters left: 2 (12 enodes)
1547111763.510 * * [misc]simplify:  iters left: 1 (15 enodes)
1547111763.513 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547111763.513 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547111763.513 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.513 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547111763.513 * * [misc]simplify:  iters left: 3 (6 enodes)
1547111763.514 * * [misc]simplify:  iters left: 2 (12 enodes)
1547111763.515 * * [misc]simplify:  iters left: 1 (15 enodes)
1547111763.517 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547111763.517 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547111763.517 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547111763.518 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547111763.518 * * [misc]simplify:  iters left: 3 (6 enodes)
1547111763.518 * * [misc]simplify:  iters left: 2 (12 enodes)
1547111763.520 * * [misc]simplify:  iters left: 1 (15 enodes)
1547111763.522 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547111763.522 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547111763.522 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.522 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.522 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.523 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.525 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.525 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.525 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.525 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.525 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.526 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.527 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.527 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.527 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547111763.527 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111763.527 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111763.528 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111763.530 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111763.530 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547111763.530 * * * [misc]progress:  adding candidates to table
1547111764.104 * * [misc]progress:  iteration 3 / 4
1547111764.104 * * * [misc]progress:  picking best candidate
1547111764.152 * * * * [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)))))))>
1547111764.152 * * * [misc]progress:  localizing error
1547111764.162 * * * [misc]progress:  generating rewritten candidates
1547111764.162 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1547111764.163 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1547111764.163 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1547111764.163 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1547111764.164 * * * [misc]progress:  generating series expansions
1547111764.164 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1547111764.164 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.164 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111764.164 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.164 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.165 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.165 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.165 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.165 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.165 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111764.165 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.165 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.165 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.165 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.166 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.166 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.166 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111764.166 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.166 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.166 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.166 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.167 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.167 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111764.167 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.167 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111764.167 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.167 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.167 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.167 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.167 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.167 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.167 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.168 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.168 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111764.168 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.168 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.168 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.168 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.168 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.168 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.168 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.168 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.168 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.168 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.168 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111764.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.169 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111764.169 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.169 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.169 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.169 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.169 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.169 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111764.170 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.170 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111764.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.170 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111764.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.171 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111764.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.172 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.172 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.172 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111764.172 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1547111764.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111764.172 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547111764.172 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547111764.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.172 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111764.172 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547111764.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.172 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111764.172 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547111764.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111764.172 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111764.173 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547111764.173 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111764.173 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111764.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111764.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111764.173 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547111764.174 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.174 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.174 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.174 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547111764.174 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.175 * [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
1547111764.175 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.175 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.175 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.175 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.176 * [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
1547111764.176 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.178 * [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
1547111764.178 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.178 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.178 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.178 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547111764.178 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111764.178 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547111764.178 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547111764.178 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.178 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.178 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111764.178 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547111764.178 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.178 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.178 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111764.178 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547111764.178 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111764.179 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.179 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111764.179 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547111764.179 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111764.179 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111764.179 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111764.179 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547111764.180 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547111764.180 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.180 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.180 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.180 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547111764.180 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.181 * [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
1547111764.181 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.181 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.181 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.181 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.182 * [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
1547111764.182 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.184 * [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
1547111764.184 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.184 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.184 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.184 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547111764.185 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111764.185 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547111764.185 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547111764.185 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.185 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.185 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111764.185 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547111764.185 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.185 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.185 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111764.185 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547111764.185 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111764.185 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.185 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111764.185 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547111764.185 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111764.185 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111764.185 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111764.185 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547111764.186 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547111764.186 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.186 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.186 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.187 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547111764.187 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.188 * [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
1547111764.188 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.188 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.188 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.188 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.189 * [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
1547111764.189 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.191 * [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
1547111764.191 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111764.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.191 * [misc]backup-simplify:  Simplify 0 into 0
1547111764.191 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547111764.191 * * * [misc]progress:  simplifying candidates
1547111764.191 * * * * [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)))))))))>
1547111764.191 * * * * [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)))))))))>
1547111764.191 * * * * [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))))))>
1547111764.191 * * * * [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)))))))))>
1547111764.191 * * * * [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)))))))))>
1547111764.191 * * * * [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)))))))))>
1547111764.192 * * * * [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)))))))))>
1547111764.192 * * * * [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)))))))))>
1547111764.192 * * * * [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))))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [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)))))))>
1547111764.192 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1547111764.192 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1547111764.192 * * * * [misc]progress:  [ 30 / 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))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1547111764.193 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547111764.193 * * [misc]simplify:  iters left: 6 (8 enodes)
1547111764.194 * * [misc]simplify:  iters left: 5 (16 enodes)
1547111764.196 * * [misc]simplify:  iters left: 4 (19 enodes)
1547111764.199 * * [misc]simplify:  iters left: 3 (21 enodes)
1547111764.201 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547111764.201 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1547111764.202 * * * * [misc]progress:  [ 31 / 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)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1547111764.202 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547111764.202 * * [misc]simplify:  iters left: 4 (7 enodes)
1547111764.203 * * [misc]simplify:  iters left: 3 (13 enodes)
1547111764.205 * * [misc]simplify:  iters left: 2 (16 enodes)
1547111764.207 * * [misc]simplify:  iters left: 1 (18 enodes)
1547111764.209 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547111764.209 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1547111764.209 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1547111764.209 * [enter]simplify:  Simplifying (log 1)
1547111764.209 * * [misc]simplify:  iters left: 1 (2 enodes)
1547111764.210 * [exit]simplify:  Simplified to 0
1547111764.210 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1547111764.210 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1547111764.210 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1547111764.210 * * * * [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)))))))>
1547111764.210 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.211 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.211 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.213 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.213 * [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)))))))
1547111764.213 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1547111764.213 * * * * [misc]progress:  [ 37 / 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)))))))))>
1547111764.213 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547111764.213 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111764.213 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1547111764.213 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1547111764.213 * * * * [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)))))))>
1547111764.213 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.213 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.214 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.216 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.217 * [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)))))))
1547111764.217 * * * * [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)))))))>
1547111764.220 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.220 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.222 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.225 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.225 * [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)))))))
1547111764.225 * * * * [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)))))))>
1547111764.226 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.226 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.227 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.231 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.231 * [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)))))))
1547111764.231 * * * * [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)))))))>
1547111764.231 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.231 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.233 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.236 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.236 * [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)))))))
1547111764.236 * * * * [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)))))))>
1547111764.236 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.237 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.238 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.242 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.242 * [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)))))))
1547111764.242 * * * * [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)))))))>
1547111764.242 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.242 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.244 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.247 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.247 * [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)))))))
1547111764.247 * * * * [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)))))))>
1547111764.247 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.247 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.249 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.252 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.252 * [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)))))))
1547111764.252 * * * * [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)))))))>
1547111764.253 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.253 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.254 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.258 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.258 * [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)))))))
1547111764.258 * * * * [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)))))))>
1547111764.258 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111764.258 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111764.260 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111764.263 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111764.263 * [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)))))))
1547111764.263 * * * * [misc]progress:  [ 51 / 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)))))))>
1547111764.264 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547111764.264 * * [misc]simplify:  iters left: 3 (6 enodes)
1547111764.265 * * [misc]simplify:  iters left: 2 (12 enodes)
1547111764.269 * * [misc]simplify:  iters left: 1 (15 enodes)
1547111764.273 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547111764.273 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1547111764.273 * * * * [misc]progress:  [ 52 / 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)))))))>
1547111764.274 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547111764.274 * * [misc]simplify:  iters left: 3 (6 enodes)
1547111764.275 * * [misc]simplify:  iters left: 2 (12 enodes)
1547111764.279 * * [misc]simplify:  iters left: 1 (15 enodes)
1547111764.283 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547111764.283 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1547111764.283 * * * * [misc]progress:  [ 53 / 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)))))))>
1547111764.283 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547111764.283 * * [misc]simplify:  iters left: 3 (6 enodes)
1547111764.284 * * [misc]simplify:  iters left: 2 (12 enodes)
1547111764.286 * * [misc]simplify:  iters left: 1 (15 enodes)
1547111764.288 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547111764.288 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1547111764.288 * * * [misc]progress:  adding candidates to table
1547111765.106 * * [misc]progress:  iteration 4 / 4
1547111765.106 * * * [misc]progress:  picking best candidate
1547111765.221 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.221 * * * [misc]progress:  localizing error
1547111765.243 * * * [misc]progress:  generating rewritten candidates
1547111765.243 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
1547111765.243 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1547111765.244 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1547111765.244 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1547111765.245 * * * [misc]progress:  generating series expansions
1547111765.245 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
1547111765.245 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.245 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111765.245 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.245 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.245 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.245 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.245 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.245 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.246 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.246 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.246 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.246 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.246 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.247 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111765.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111765.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.248 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111765.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.249 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.249 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.249 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.249 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.249 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.249 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.249 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.249 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.250 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.250 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.250 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111765.250 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1547111765.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.250 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111765.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.251 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111765.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.252 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.252 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.252 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.253 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.253 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.253 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.253 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.253 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.253 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111765.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.253 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111765.253 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.253 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.253 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.254 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.255 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111765.255 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1547111765.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.255 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111765.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.255 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.255 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.255 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.255 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.255 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.255 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.256 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.256 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.256 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.256 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.256 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.256 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.256 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111765.256 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.256 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.256 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.257 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111765.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.258 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111765.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.259 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111765.259 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1547111765.259 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.259 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547111765.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.259 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.259 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547111765.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547111765.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547111765.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.261 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547111765.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547111765.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547111765.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547111765.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547111765.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.262 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547111765.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547111765.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547111765.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547111765.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.263 * [misc]backup-simplify:  Simplify 0 into 0
1547111765.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547111765.264 * * * [misc]progress:  simplifying candidates
1547111765.264 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1547111765.264 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1547111765.264 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1547111765.264 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1547111765.264 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1547111765.264 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1547111765.264 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1547111765.264 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1547111765.264 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1547111765.264 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.264 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.264 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.264 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.265 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.266 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.267 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.268 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.271 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.271 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.271 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.272 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.272 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.273 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.279 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.280 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.280 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.280 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.280 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.282 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.285 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.285 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.285 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.286 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.286 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.288 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.291 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.291 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.291 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.291 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.291 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.293 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.296 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.296 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.296 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.296 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.296 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.298 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.301 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.301 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.301 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.301 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.301 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.303 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.306 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.306 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.306 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.306 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.306 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.308 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.311 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.311 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.311 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.311 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.311 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.313 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.316 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.316 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.316 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.317 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.317 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.318 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.321 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.322 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.322 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.322 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.322 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.323 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.327 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.327 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.327 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547111765.327 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111765.327 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111765.329 * * [misc]simplify:  iters left: 1 (11 enodes)
1547111765.332 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111765.332 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1547111765.332 * * * [misc]progress:  adding candidates to table
1547111766.024 * [misc]progress:  [Phase 3 of 3] Extracting.
1547111766.024 * * [misc]regime:  Finding splitpoints for: (#<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1547111766.027 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1547111766.028 * * * * [misc]regimes:  Trying to branch on a from (#<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1547111766.124 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1547111766.251 * * * * [misc]regimes:  Trying to branch on c from (#<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1547111766.387 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1547111766.536 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>)
1547111766.662 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1547111766.662 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547111766.663 * * [misc]simplify:  iters left: 2 (5 enodes)
1547111766.663 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547111766.663 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547111774.959 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111774.960 * * * * [misc]points:  Sampling 4910 additional inputs, on iter 1 have 3090 / 8000
1547111780.629 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111780.630 * * * * [misc]points:  Sampling 3098 additional inputs, on iter 2 have 4902 / 8000
1547111784.099 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111784.099 * * * * [misc]points:  Sampling 1938 additional inputs, on iter 3 have 6062 / 8000
1547111786.177 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111786.178 * * * * [misc]points:  Sampling 1161 additional inputs, on iter 4 have 6839 / 8000
1547111787.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111787.255 * * * * [misc]points:  Sampling 726 additional inputs, on iter 5 have 7274 / 8000
1547111788.097 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111788.097 * * * * [misc]points:  Sampling 468 additional inputs, on iter 6 have 7532 / 8000
1547111788.539 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111788.539 * * * * [misc]points:  Sampling 285 additional inputs, on iter 7 have 7715 / 8000
1547111788.818 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111788.818 * * * * [misc]points:  Sampling 178 additional inputs, on iter 8 have 7822 / 8000
1547111788.970 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111788.971 * * * * [misc]points:  Sampling 104 additional inputs, on iter 9 have 7896 / 8000
1547111789.475 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.476 * * * * [misc]points:  Sampling 61 additional inputs, on iter 10 have 7939 / 8000
1547111789.511 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.511 * * * * [misc]points:  Sampling 38 additional inputs, on iter 11 have 7962 / 8000
1547111789.538 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.538 * * * * [misc]points:  Sampling 19 additional inputs, on iter 12 have 7981 / 8000
1547111789.554 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.554 * * * * [misc]points:  Sampling 13 additional inputs, on iter 13 have 7987 / 8000
1547111789.565 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.565 * * * * [misc]points:  Sampling 7 additional inputs, on iter 14 have 7993 / 8000
1547111789.575 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.575 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 7994 / 8000
1547111789.582 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.582 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1547111789.587 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.587 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7999 / 8000
1547111789.590 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547111789.590 * * * * [exit]points:  Sampled 8001 points with exact outputs
1547111791.879 * [misc]regime-testing:  Baseline error score: 34.02622121569216
1547111791.880 * [misc]regime-testing:  Oracle error score: 33.99215798961597
1547111791.882 * [misc]regime-testing:  End program error score: 34.02622121569216