1553942107.599 * [progress]: [Phase 1 of 3] Setting up.
1553942107.600 * * * [progress]: [1/2] Preparing points
1553942108.251 * * * [progress]: [2/2] Setting up program.
1553942108.259 * [progress]: [Phase 2 of 3] Improving.
1553942108.259 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.261 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.262 * * [simplify]: iters left: 2 (5 enodes)
1553942108.269 * * [simplify]: iters left: 1 (21 enodes)
1553942108.281 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.281 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.281 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.283 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.284 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.284 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.284 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.285 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.285 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.293 * * [progress]: iteration 1 / 4
1553942108.293 * * * [progress]: picking best candidate
1553942108.298 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.298 * * * [progress]: localizing error
1553942108.351 * * * [progress]: generating rewritten candidates
1553942108.351 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1553942108.354 * * * [progress]: generating series expansions
1553942108.355 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1553942108.359 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.359 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1553942108.360 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.362 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.362 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.362 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.362 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.362 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.363 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.363 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.363 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.363 * [taylor]: Taking taylor expansion of 0 in a
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [taylor]: Taking taylor expansion of 0 in a
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [taylor]: Taking taylor expansion of 0 in a
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [backup-simplify]: Simplify 0 into 0
1553942108.364 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.366 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.366 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1553942108.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.367 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.367 * [taylor]: Taking taylor expansion of 0 in a
1553942108.367 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [taylor]: Taking taylor expansion of 0 in a
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [taylor]: Taking taylor expansion of 0 in a
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [backup-simplify]: Simplify 0 into 0
1553942108.368 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942108.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.369 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1553942108.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.369 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.369 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.370 * [taylor]: Taking taylor expansion of 0 in a
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [taylor]: Taking taylor expansion of 0 in a
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [taylor]: Taking taylor expansion of 0 in a
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [backup-simplify]: Simplify 0 into 0
1553942108.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942108.371 * * * [progress]: simplifying candidates
1553942108.371 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1553942108.371 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.371 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1553942108.371 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1553942108.371 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1553942108.371 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1553942108.371 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1553942108.371 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1553942108.371 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.371 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.371 * * [simplify]: iters left: 2 (5 enodes)
1553942108.373 * * [simplify]: iters left: 1 (21 enodes)
1553942108.381 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.381 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.381 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.381 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.381 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.381 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.382 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.382 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.382 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.382 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.382 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.383 * * [simplify]: iters left: 2 (5 enodes)
1553942108.384 * * [simplify]: iters left: 1 (21 enodes)
1553942108.391 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.391 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.391 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.391 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.392 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.392 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.392 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.393 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.393 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.393 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.393 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.393 * * [simplify]: iters left: 2 (5 enodes)
1553942108.395 * * [simplify]: iters left: 1 (21 enodes)
1553942108.401 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.402 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.402 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.402 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.402 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.402 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.402 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.403 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.403 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.403 * * * [progress]: adding candidates to table
1553942108.544 * * [progress]: iteration 2 / 4
1553942108.544 * * * [progress]: picking best candidate
1553942108.574 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.575 * * * [progress]: localizing error
1553942108.586 * * * [progress]: generating rewritten candidates
1553942108.586 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1553942108.586 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1553942108.594 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1553942108.600 * * * [progress]: generating series expansions
1553942108.600 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1553942108.600 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.600 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1553942108.600 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.600 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.600 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.600 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.600 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.601 * [taylor]: Taking taylor expansion of 0 in a
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [taylor]: Taking taylor expansion of 0 in a
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [taylor]: Taking taylor expansion of 0 in a
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [backup-simplify]: Simplify 0 into 0
1553942108.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.601 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.601 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1553942108.601 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.602 * [taylor]: Taking taylor expansion of 0 in a
1553942108.602 * [backup-simplify]: Simplify 0 into 0
1553942108.602 * [backup-simplify]: Simplify 0 into 0
1553942108.602 * [backup-simplify]: Simplify 0 into 0
1553942108.602 * [taylor]: Taking taylor expansion of 0 in a
1553942108.602 * [backup-simplify]: Simplify 0 into 0
1553942108.602 * [backup-simplify]: Simplify 0 into 0
1553942108.602 * [backup-simplify]: Simplify 0 into 0
1553942108.603 * [backup-simplify]: Simplify 0 into 0
1553942108.603 * [taylor]: Taking taylor expansion of 0 in a
1553942108.603 * [backup-simplify]: Simplify 0 into 0
1553942108.603 * [backup-simplify]: Simplify 0 into 0
1553942108.603 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942108.603 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.603 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1553942108.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.604 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.604 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.604 * [taylor]: Taking taylor expansion of 0 in a
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [taylor]: Taking taylor expansion of 0 in a
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [taylor]: Taking taylor expansion of 0 in a
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [backup-simplify]: Simplify 0 into 0
1553942108.604 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942108.604 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1553942108.604 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942108.605 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1553942108.605 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1553942108.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.605 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942108.605 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942108.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.605 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942108.605 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942108.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.605 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942108.605 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1553942108.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.606 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942108.606 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942108.607 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1553942108.607 * [taylor]: Taking taylor expansion of 0 in a
1553942108.607 * [backup-simplify]: Simplify 0 into 0
1553942108.608 * [backup-simplify]: Simplify 0 into 0
1553942108.608 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1553942108.608 * [backup-simplify]: Simplify 0 into 0
1553942108.612 * [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
1553942108.612 * [taylor]: Taking taylor expansion of 0 in a
1553942108.612 * [backup-simplify]: Simplify 0 into 0
1553942108.612 * [backup-simplify]: Simplify 0 into 0
1553942108.612 * [backup-simplify]: Simplify 0 into 0
1553942108.614 * [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
1553942108.614 * [backup-simplify]: Simplify 0 into 0
1553942108.617 * [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
1553942108.617 * [taylor]: Taking taylor expansion of 0 in a
1553942108.617 * [backup-simplify]: Simplify 0 into 0
1553942108.617 * [backup-simplify]: Simplify 0 into 0
1553942108.617 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942108.617 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942108.617 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1553942108.617 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1553942108.617 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.617 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942108.618 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942108.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942108.618 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942108.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942108.618 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1553942108.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942108.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942108.619 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1553942108.619 * [taylor]: Taking taylor expansion of 0 in a
1553942108.619 * [backup-simplify]: Simplify 0 into 0
1553942108.619 * [backup-simplify]: Simplify 0 into 0
1553942108.619 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1553942108.619 * [backup-simplify]: Simplify 0 into 0
1553942108.621 * [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
1553942108.621 * [taylor]: Taking taylor expansion of 0 in a
1553942108.621 * [backup-simplify]: Simplify 0 into 0
1553942108.621 * [backup-simplify]: Simplify 0 into 0
1553942108.621 * [backup-simplify]: Simplify 0 into 0
1553942108.622 * [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
1553942108.622 * [backup-simplify]: Simplify 0 into 0
1553942108.624 * [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
1553942108.624 * [taylor]: Taking taylor expansion of 0 in a
1553942108.624 * [backup-simplify]: Simplify 0 into 0
1553942108.624 * [backup-simplify]: Simplify 0 into 0
1553942108.624 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1553942108.624 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942108.624 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1553942108.624 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1553942108.624 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.624 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942108.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942108.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.625 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942108.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942108.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.625 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942108.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1553942108.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.625 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942108.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942108.626 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1553942108.626 * [taylor]: Taking taylor expansion of 0 in a
1553942108.626 * [backup-simplify]: Simplify 0 into 0
1553942108.626 * [backup-simplify]: Simplify 0 into 0
1553942108.626 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1553942108.626 * [backup-simplify]: Simplify 0 into 0
1553942108.627 * [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
1553942108.627 * [taylor]: Taking taylor expansion of 0 in a
1553942108.627 * [backup-simplify]: Simplify 0 into 0
1553942108.627 * [backup-simplify]: Simplify 0 into 0
1553942108.627 * [backup-simplify]: Simplify 0 into 0
1553942108.628 * [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
1553942108.629 * [backup-simplify]: Simplify 0 into 0
1553942108.630 * [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
1553942108.630 * [taylor]: Taking taylor expansion of 0 in a
1553942108.630 * [backup-simplify]: Simplify 0 into 0
1553942108.630 * [backup-simplify]: Simplify 0 into 0
1553942108.630 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1553942108.630 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1553942108.631 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1553942108.631 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1553942108.631 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.631 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.631 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.631 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.631 * [taylor]: Taking taylor expansion of 0 in a
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [taylor]: Taking taylor expansion of 0 in a
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [taylor]: Taking taylor expansion of 0 in a
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [backup-simplify]: Simplify 0 into 0
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942108.631 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.631 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1553942108.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.631 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.632 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942108.632 * [taylor]: Taking taylor expansion of 0 in a
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [taylor]: Taking taylor expansion of 0 in a
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [taylor]: Taking taylor expansion of 0 in a
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [backup-simplify]: Simplify 0 into 0
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942108.632 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.632 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1553942108.632 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.632 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.632 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.632 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942108.632 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.633 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942108.633 * [taylor]: Taking taylor expansion of 0 in a
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [taylor]: Taking taylor expansion of 0 in a
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [taylor]: Taking taylor expansion of 0 in a
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [backup-simplify]: Simplify 0 into 0
1553942108.633 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942108.633 * * * [progress]: simplifying candidates
1553942108.633 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1553942108.633 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.633 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1553942108.633 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1553942108.633 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1553942108.633 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1553942108.633 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1553942108.633 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1553942108.633 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1553942108.634 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1553942108.634 * * [simplify]: iters left: 6 (8 enodes)
1553942108.635 * * [simplify]: iters left: 5 (32 enodes)
1553942108.640 * * [simplify]: iters left: 4 (47 enodes)
1553942108.646 * * [simplify]: iters left: 3 (51 enodes)
1553942108.658 * * [simplify]: iters left: 2 (53 enodes)
1553942108.672 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.673 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.673 * * [simplify]: Extracting #2: cost 7 inf + 0
1553942108.673 * * [simplify]: Extracting #3: cost 9 inf + 0
1553942108.673 * * [simplify]: Extracting #4: cost 12 inf + 0
1553942108.673 * * [simplify]: Extracting #5: cost 18 inf + 0
1553942108.673 * * [simplify]: Extracting #6: cost 16 inf + 185
1553942108.673 * * [simplify]: Extracting #7: cost 18 inf + 312
1553942108.673 * * [simplify]: Extracting #8: cost 12 inf + 1292
1553942108.674 * * [simplify]: Extracting #9: cost 1 inf + 4069
1553942108.675 * * [simplify]: Extracting #10: cost 0 inf + 4436
1553942108.676 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1553942108.676 * [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)))))))
1553942108.676 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1553942108.676 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1553942108.677 * * [simplify]: iters left: 4 (7 enodes)
1553942108.679 * * [simplify]: iters left: 3 (27 enodes)
1553942108.688 * * [simplify]: iters left: 2 (40 enodes)
1553942108.699 * * [simplify]: iters left: 1 (44 enodes)
1553942108.712 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.712 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942108.712 * * [simplify]: Extracting #2: cost 5 inf + 0
1553942108.712 * * [simplify]: Extracting #3: cost 8 inf + 0
1553942108.712 * * [simplify]: Extracting #4: cost 14 inf + 0
1553942108.713 * * [simplify]: Extracting #5: cost 13 inf + 94
1553942108.713 * * [simplify]: Extracting #6: cost 13 inf + 368
1553942108.713 * * [simplify]: Extracting #7: cost 7 inf + 1177
1553942108.713 * * [simplify]: Extracting #8: cost 0 inf + 2788
1553942108.714 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1553942108.714 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1553942108.714 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1553942108.714 * [simplify]: Simplifying (log 1)
1553942108.714 * * [simplify]: iters left: 1 (2 enodes)
1553942108.716 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.716 * * [simplify]: Extracting #1: cost 0 inf + 1
1553942108.716 * [simplify]: Simplified to 0
1553942108.716 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1553942108.716 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1553942108.716 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1553942108.716 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.716 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.716 * * [simplify]: iters left: 2 (5 enodes)
1553942108.717 * * [simplify]: iters left: 1 (21 enodes)
1553942108.723 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.723 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.723 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.723 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.723 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.723 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.723 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.723 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.724 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1553942108.724 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1553942108.724 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.724 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1553942108.724 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942108.724 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1553942108.724 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1553942108.724 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1553942108.724 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1553942108.724 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1553942108.724 * [simplify]: Simplifying (exp 1)
1553942108.724 * * [simplify]: iters left: 1 (2 enodes)
1553942108.725 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.725 * * [simplify]: Extracting #1: cost 0 inf + 1
1553942108.725 * [simplify]: Simplified to E
1553942108.725 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942108.725 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1553942108.725 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1553942108.725 * * [simplify]: iters left: 6 (9 enodes)
1553942108.727 * * [simplify]: iters left: 5 (35 enodes)
1553942108.732 * * [simplify]: iters left: 4 (50 enodes)
1553942108.739 * * [simplify]: iters left: 3 (54 enodes)
1553942108.747 * * [simplify]: iters left: 2 (56 enodes)
1553942108.763 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.763 * * [simplify]: Extracting #1: cost 5 inf + 0
1553942108.763 * * [simplify]: Extracting #2: cost 9 inf + 0
1553942108.763 * * [simplify]: Extracting #3: cost 11 inf + 0
1553942108.763 * * [simplify]: Extracting #4: cost 14 inf + 0
1553942108.763 * * [simplify]: Extracting #5: cost 20 inf + 0
1553942108.763 * * [simplify]: Extracting #6: cost 19 inf + 94
1553942108.763 * * [simplify]: Extracting #7: cost 20 inf + 312
1553942108.764 * * [simplify]: Extracting #8: cost 11 inf + 1649
1553942108.765 * * [simplify]: Extracting #9: cost 2 inf + 4656
1553942108.766 * * [simplify]: Extracting #10: cost 0 inf + 5570
1553942108.767 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1553942108.767 * [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))))))
1553942108.767 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1553942108.767 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1553942108.768 * * [simplify]: iters left: 5 (8 enodes)
1553942108.771 * * [simplify]: iters left: 4 (30 enodes)
1553942108.779 * * [simplify]: iters left: 3 (43 enodes)
1553942108.791 * * [simplify]: iters left: 2 (47 enodes)
1553942108.804 * * [simplify]: iters left: 1 (49 enodes)
1553942108.818 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.818 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942108.818 * * [simplify]: Extracting #2: cost 5 inf + 0
1553942108.818 * * [simplify]: Extracting #3: cost 7 inf + 0
1553942108.818 * * [simplify]: Extracting #4: cost 10 inf + 0
1553942108.818 * * [simplify]: Extracting #5: cost 16 inf + 0
1553942108.818 * * [simplify]: Extracting #6: cost 15 inf + 94
1553942108.818 * * [simplify]: Extracting #7: cost 16 inf + 312
1553942108.819 * * [simplify]: Extracting #8: cost 9 inf + 1489
1553942108.820 * * [simplify]: Extracting #9: cost 0 inf + 3642
1553942108.820 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1553942108.820 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1553942108.821 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1553942108.821 * [simplify]: Simplifying (exp 1)
1553942108.821 * * [simplify]: iters left: 1 (2 enodes)
1553942108.822 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.822 * * [simplify]: Extracting #1: cost 0 inf + 1
1553942108.822 * [simplify]: Simplified to E
1553942108.822 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942108.822 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1553942108.822 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1553942108.822 * * [simplify]: iters left: 6 (9 enodes)
1553942108.824 * * [simplify]: iters left: 5 (33 enodes)
1553942108.829 * * [simplify]: iters left: 4 (50 enodes)
1553942108.836 * * [simplify]: iters left: 3 (54 enodes)
1553942108.844 * * [simplify]: iters left: 2 (56 enodes)
1553942108.854 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.854 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.854 * * [simplify]: Extracting #2: cost 8 inf + 0
1553942108.854 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942108.854 * * [simplify]: Extracting #4: cost 18 inf + 0
1553942108.854 * * [simplify]: Extracting #5: cost 17 inf + 94
1553942108.855 * * [simplify]: Extracting #6: cost 18 inf + 312
1553942108.855 * * [simplify]: Extracting #7: cost 9 inf + 1659
1553942108.856 * * [simplify]: Extracting #8: cost 3 inf + 3255
1553942108.856 * * [simplify]: Extracting #9: cost 1 inf + 4029
1553942108.857 * * [simplify]: Extracting #10: cost 0 inf + 4436
1553942108.858 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1553942108.858 * [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)))))))
1553942108.859 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1553942108.859 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1553942108.859 * * [simplify]: iters left: 5 (8 enodes)
1553942108.862 * * [simplify]: iters left: 4 (28 enodes)
1553942108.871 * * [simplify]: iters left: 3 (41 enodes)
1553942108.880 * * [simplify]: iters left: 2 (45 enodes)
1553942108.886 * * [simplify]: iters left: 1 (47 enodes)
1553942108.892 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.892 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.892 * * [simplify]: Extracting #2: cost 8 inf + 0
1553942108.892 * * [simplify]: Extracting #3: cost 14 inf + 0
1553942108.892 * * [simplify]: Extracting #4: cost 13 inf + 94
1553942108.893 * * [simplify]: Extracting #5: cost 14 inf + 312
1553942108.893 * * [simplify]: Extracting #6: cost 7 inf + 1429
1553942108.893 * * [simplify]: Extracting #7: cost 1 inf + 2567
1553942108.893 * * [simplify]: Extracting #8: cost 0 inf + 2788
1553942108.894 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a)))
1553942108.894 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1553942108.894 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1553942108.894 * [simplify]: Simplifying (exp (log 1))
1553942108.894 * * [simplify]: iters left: 2 (3 enodes)
1553942108.895 * * [simplify]: iters left: 1 (9 enodes)
1553942108.897 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.897 * * [simplify]: Extracting #1: cost 0 inf + 1
1553942108.897 * [simplify]: Simplified to 1
1553942108.897 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1553942108.897 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.897 * [simplify]: Simplifying (cosh c)
1553942108.897 * * [simplify]: iters left: 1 (2 enodes)
1553942108.898 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.898 * * [simplify]: Extracting #1: cost 5 inf + 0
1553942108.898 * * [simplify]: Extracting #2: cost 5 inf + 2
1553942108.898 * * [simplify]: Extracting #3: cost 3 inf + 185
1553942108.898 * * [simplify]: Extracting #4: cost 0 inf + 558
1553942108.898 * [simplify]: Simplified to (cosh c)
1553942108.898 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.898 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.898 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.898 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.898 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.898 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.898 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1553942108.898 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1553942108.898 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.898 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.898 * * [simplify]: iters left: 2 (5 enodes)
1553942108.899 * * [simplify]: iters left: 1 (21 enodes)
1553942108.903 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.903 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.903 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.903 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.903 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.903 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.903 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.903 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.903 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1553942108.903 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.904 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.904 * * [simplify]: iters left: 2 (5 enodes)
1553942108.905 * * [simplify]: iters left: 1 (21 enodes)
1553942108.908 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.908 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.908 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.908 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.908 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.908 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.909 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.909 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.909 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1553942108.909 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.909 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.909 * * [simplify]: iters left: 2 (5 enodes)
1553942108.910 * * [simplify]: iters left: 1 (21 enodes)
1553942108.913 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.913 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.913 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.913 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.914 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.914 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.914 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.914 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.914 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1553942108.914 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.914 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942108.914 * * [simplify]: iters left: 3 (6 enodes)
1553942108.916 * * [simplify]: iters left: 2 (24 enodes)
1553942108.919 * * [simplify]: iters left: 1 (37 enodes)
1553942108.924 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.924 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942108.924 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942108.924 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942108.924 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942108.925 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942108.925 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942108.925 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942108.925 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942108.925 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942108.926 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1553942108.926 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.926 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942108.926 * * [simplify]: iters left: 3 (6 enodes)
1553942108.927 * * [simplify]: iters left: 2 (24 enodes)
1553942108.930 * * [simplify]: iters left: 1 (37 enodes)
1553942108.937 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.937 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942108.937 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942108.937 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942108.937 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942108.937 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942108.937 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942108.938 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942108.938 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942108.938 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942108.938 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1553942108.938 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1553942108.938 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942108.939 * * [simplify]: iters left: 3 (6 enodes)
1553942108.940 * * [simplify]: iters left: 2 (24 enodes)
1553942108.943 * * [simplify]: iters left: 1 (37 enodes)
1553942108.948 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.948 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942108.948 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942108.948 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942108.948 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942108.948 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942108.949 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942108.949 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942108.949 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942108.949 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942108.949 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1553942108.949 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.950 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.950 * * [simplify]: iters left: 2 (5 enodes)
1553942108.951 * * [simplify]: iters left: 1 (21 enodes)
1553942108.954 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.954 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.954 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.954 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.954 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.954 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.954 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.955 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.955 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.955 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.955 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.955 * * [simplify]: iters left: 2 (5 enodes)
1553942108.956 * * [simplify]: iters left: 1 (21 enodes)
1553942108.961 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.961 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.961 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.961 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.961 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.962 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.962 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.962 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.962 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.962 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942108.963 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942108.963 * * [simplify]: iters left: 2 (5 enodes)
1553942108.964 * * [simplify]: iters left: 1 (21 enodes)
1553942108.970 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942108.970 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942108.970 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942108.970 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942108.970 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942108.971 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942108.971 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942108.971 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942108.971 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942108.972 * * * [progress]: adding candidates to table
1553942109.581 * * [progress]: iteration 3 / 4
1553942109.581 * * * [progress]: picking best candidate
1553942109.665 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942109.665 * * * [progress]: localizing error
1553942109.670 * * * [progress]: generating rewritten candidates
1553942109.670 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1553942109.671 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1553942109.671 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1553942109.673 * * * [progress]: generating series expansions
1553942109.673 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1553942109.674 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.674 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1553942109.674 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942109.674 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.674 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942109.674 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.674 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942109.674 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.674 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942109.674 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.674 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.674 * [taylor]: Taking taylor expansion of 0 in a
1553942109.674 * [backup-simplify]: Simplify 0 into 0
1553942109.674 * [backup-simplify]: Simplify 0 into 0
1553942109.674 * [backup-simplify]: Simplify 0 into 0
1553942109.674 * [taylor]: Taking taylor expansion of 0 in a
1553942109.674 * [backup-simplify]: Simplify 0 into 0
1553942109.674 * [backup-simplify]: Simplify 0 into 0
1553942109.674 * [backup-simplify]: Simplify 0 into 0
1553942109.674 * [backup-simplify]: Simplify 0 into 0
1553942109.675 * [taylor]: Taking taylor expansion of 0 in a
1553942109.675 * [backup-simplify]: Simplify 0 into 0
1553942109.675 * [backup-simplify]: Simplify 0 into 0
1553942109.675 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.675 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.675 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1553942109.675 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942109.675 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.675 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942109.675 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.675 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942109.675 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.675 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942109.675 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.676 * [taylor]: Taking taylor expansion of 0 in a
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [taylor]: Taking taylor expansion of 0 in a
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [taylor]: Taking taylor expansion of 0 in a
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [backup-simplify]: Simplify 0 into 0
1553942109.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942109.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.676 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1553942109.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942109.676 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942109.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942109.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942109.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.677 * [taylor]: Taking taylor expansion of 0 in a
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [taylor]: Taking taylor expansion of 0 in a
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [taylor]: Taking taylor expansion of 0 in a
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.677 * [backup-simplify]: Simplify 0 into 0
1553942109.678 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942109.678 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1553942109.678 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.678 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1553942109.678 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1553942109.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942109.678 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.678 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.678 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942109.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942109.678 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.678 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.678 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942109.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942109.678 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.679 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.679 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1553942109.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942109.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.679 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.679 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.680 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1553942109.680 * [taylor]: Taking taylor expansion of 0 in a
1553942109.680 * [backup-simplify]: Simplify 0 into 0
1553942109.680 * [backup-simplify]: Simplify 0 into 0
1553942109.681 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1553942109.681 * [backup-simplify]: Simplify 0 into 0
1553942109.683 * [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
1553942109.683 * [taylor]: Taking taylor expansion of 0 in a
1553942109.683 * [backup-simplify]: Simplify 0 into 0
1553942109.683 * [backup-simplify]: Simplify 0 into 0
1553942109.683 * [backup-simplify]: Simplify 0 into 0
1553942109.685 * [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
1553942109.685 * [backup-simplify]: Simplify 0 into 0
1553942109.688 * [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
1553942109.688 * [taylor]: Taking taylor expansion of 0 in a
1553942109.688 * [backup-simplify]: Simplify 0 into 0
1553942109.688 * [backup-simplify]: Simplify 0 into 0
1553942109.688 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.689 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.689 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1553942109.689 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1553942109.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942109.689 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.689 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.689 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942109.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942109.689 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.689 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.689 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942109.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942109.689 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.689 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.689 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1553942109.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942109.689 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.689 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.689 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.690 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1553942109.690 * [taylor]: Taking taylor expansion of 0 in a
1553942109.690 * [backup-simplify]: Simplify 0 into 0
1553942109.690 * [backup-simplify]: Simplify 0 into 0
1553942109.691 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1553942109.691 * [backup-simplify]: Simplify 0 into 0
1553942109.692 * [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
1553942109.692 * [taylor]: Taking taylor expansion of 0 in a
1553942109.692 * [backup-simplify]: Simplify 0 into 0
1553942109.692 * [backup-simplify]: Simplify 0 into 0
1553942109.692 * [backup-simplify]: Simplify 0 into 0
1553942109.693 * [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
1553942109.693 * [backup-simplify]: Simplify 0 into 0
1553942109.694 * [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
1553942109.694 * [taylor]: Taking taylor expansion of 0 in a
1553942109.694 * [backup-simplify]: Simplify 0 into 0
1553942109.695 * [backup-simplify]: Simplify 0 into 0
1553942109.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1553942109.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.695 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1553942109.695 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1553942109.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942109.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.695 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942109.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942109.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.695 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942109.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942109.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.695 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1553942109.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942109.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.696 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.696 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1553942109.696 * [taylor]: Taking taylor expansion of 0 in a
1553942109.696 * [backup-simplify]: Simplify 0 into 0
1553942109.696 * [backup-simplify]: Simplify 0 into 0
1553942109.697 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1553942109.697 * [backup-simplify]: Simplify 0 into 0
1553942109.700 * [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
1553942109.700 * [taylor]: Taking taylor expansion of 0 in a
1553942109.700 * [backup-simplify]: Simplify 0 into 0
1553942109.700 * [backup-simplify]: Simplify 0 into 0
1553942109.700 * [backup-simplify]: Simplify 0 into 0
1553942109.701 * [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
1553942109.701 * [backup-simplify]: Simplify 0 into 0
1553942109.703 * [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
1553942109.703 * [taylor]: Taking taylor expansion of 0 in a
1553942109.703 * [backup-simplify]: Simplify 0 into 0
1553942109.703 * [backup-simplify]: Simplify 0 into 0
1553942109.703 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1553942109.703 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1553942109.703 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
1553942109.703 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
1553942109.703 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
1553942109.703 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
1553942109.703 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
1553942109.703 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1553942109.703 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942109.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.703 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.703 * [taylor]: Taking taylor expansion of (log E) in a
1553942109.703 * [taylor]: Taking taylor expansion of E in a
1553942109.703 * [backup-simplify]: Simplify E into E
1553942109.703 * [backup-simplify]: Simplify (log E) into 1
1553942109.704 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1553942109.704 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1553942109.704 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1553942109.704 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1553942109.704 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1553942109.704 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942109.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942109.704 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.704 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.704 * [taylor]: Taking taylor expansion of (log E) in c
1553942109.704 * [taylor]: Taking taylor expansion of E in c
1553942109.704 * [backup-simplify]: Simplify E into E
1553942109.704 * [backup-simplify]: Simplify (log E) into 1
1553942109.704 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1553942109.704 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1553942109.704 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1553942109.704 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1553942109.704 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1553942109.704 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942109.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942109.704 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.704 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942109.704 * [taylor]: Taking taylor expansion of (log E) in c
1553942109.704 * [taylor]: Taking taylor expansion of E in c
1553942109.704 * [backup-simplify]: Simplify E into E
1553942109.704 * [backup-simplify]: Simplify (log E) into 1
1553942109.704 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1553942109.704 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1553942109.705 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942109.705 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.705 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.706 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1553942109.706 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1553942109.707 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
1553942109.707 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1553942109.707 * [taylor]: Taking taylor expansion of 0 in a
1553942109.707 * [backup-simplify]: Simplify 0 into 0
1553942109.707 * [backup-simplify]: Simplify 0 into 0
1553942109.707 * [backup-simplify]: Simplify 0 into 0
1553942109.709 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1553942109.710 * [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
1553942109.710 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
1553942109.711 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1553942109.711 * [taylor]: Taking taylor expansion of 0 in a
1553942109.711 * [backup-simplify]: Simplify 0 into 0
1553942109.711 * [backup-simplify]: Simplify 0 into 0
1553942109.711 * [backup-simplify]: Simplify 0 into 0
1553942109.711 * [backup-simplify]: Simplify 0 into 0
1553942109.714 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1553942109.716 * [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
1553942109.717 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553942109.718 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1553942109.718 * [taylor]: Taking taylor expansion of 0 in a
1553942109.718 * [backup-simplify]: Simplify 0 into 0
1553942109.718 * [backup-simplify]: Simplify 0 into 0
1553942109.718 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942109.718 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
1553942109.718 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
1553942109.718 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1553942109.718 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
1553942109.718 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
1553942109.718 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1553942109.718 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942109.718 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.718 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.718 * [taylor]: Taking taylor expansion of (log E) in a
1553942109.718 * [taylor]: Taking taylor expansion of E in a
1553942109.718 * [backup-simplify]: Simplify E into E
1553942109.718 * [backup-simplify]: Simplify (log E) into 1
1553942109.719 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.719 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.719 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1553942109.719 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1553942109.719 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1553942109.719 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942109.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942109.719 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.719 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.719 * [taylor]: Taking taylor expansion of (log E) in c
1553942109.719 * [taylor]: Taking taylor expansion of E in c
1553942109.719 * [backup-simplify]: Simplify E into E
1553942109.719 * [backup-simplify]: Simplify (log E) into 1
1553942109.719 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.719 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.719 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1553942109.719 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1553942109.719 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1553942109.719 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942109.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942109.719 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.719 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.719 * [taylor]: Taking taylor expansion of (log E) in c
1553942109.719 * [taylor]: Taking taylor expansion of E in c
1553942109.719 * [backup-simplify]: Simplify E into E
1553942109.719 * [backup-simplify]: Simplify (log E) into 1
1553942109.719 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942109.719 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942109.720 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.720 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942109.721 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1553942109.722 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1553942109.722 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
1553942109.723 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1553942109.723 * [taylor]: Taking taylor expansion of 0 in a
1553942109.723 * [backup-simplify]: Simplify 0 into 0
1553942109.723 * [backup-simplify]: Simplify 0 into 0
1553942109.723 * [backup-simplify]: Simplify 0 into 0
1553942109.726 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1553942109.728 * [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
1553942109.729 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1553942109.730 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1553942109.730 * [taylor]: Taking taylor expansion of 0 in a
1553942109.730 * [backup-simplify]: Simplify 0 into 0
1553942109.730 * [backup-simplify]: Simplify 0 into 0
1553942109.730 * [backup-simplify]: Simplify 0 into 0
1553942109.730 * [backup-simplify]: Simplify 0 into 0
1553942109.736 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1553942109.739 * [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
1553942109.740 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553942109.741 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1553942109.741 * [taylor]: Taking taylor expansion of 0 in a
1553942109.741 * [backup-simplify]: Simplify 0 into 0
1553942109.742 * [backup-simplify]: Simplify 0 into 0
1553942109.742 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942109.742 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
1553942109.742 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
1553942109.742 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1553942109.742 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
1553942109.742 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
1553942109.742 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1553942109.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942109.742 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.742 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.742 * [taylor]: Taking taylor expansion of (log E) in a
1553942109.742 * [taylor]: Taking taylor expansion of E in a
1553942109.742 * [backup-simplify]: Simplify E into E
1553942109.743 * [backup-simplify]: Simplify (log E) into 1
1553942109.743 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.743 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.743 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1553942109.743 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1553942109.743 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1553942109.743 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942109.743 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942109.743 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.743 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.743 * [taylor]: Taking taylor expansion of (log E) in c
1553942109.743 * [taylor]: Taking taylor expansion of E in c
1553942109.743 * [backup-simplify]: Simplify E into E
1553942109.743 * [backup-simplify]: Simplify (log E) into 1
1553942109.744 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.744 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.744 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1553942109.744 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1553942109.744 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1553942109.744 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942109.744 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942109.744 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.744 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.744 * [taylor]: Taking taylor expansion of (log E) in c
1553942109.744 * [taylor]: Taking taylor expansion of E in c
1553942109.744 * [backup-simplify]: Simplify E into E
1553942109.744 * [backup-simplify]: Simplify (log E) into 1
1553942109.744 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942109.745 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.745 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942109.745 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.745 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942109.747 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1553942109.748 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1553942109.749 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
1553942109.750 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1553942109.750 * [taylor]: Taking taylor expansion of 0 in a
1553942109.750 * [backup-simplify]: Simplify 0 into 0
1553942109.750 * [backup-simplify]: Simplify 0 into 0
1553942109.750 * [backup-simplify]: Simplify 0 into 0
1553942109.753 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1553942109.755 * [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
1553942109.756 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1553942109.757 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1553942109.757 * [taylor]: Taking taylor expansion of 0 in a
1553942109.757 * [backup-simplify]: Simplify 0 into 0
1553942109.757 * [backup-simplify]: Simplify 0 into 0
1553942109.757 * [backup-simplify]: Simplify 0 into 0
1553942109.757 * [backup-simplify]: Simplify 0 into 0
1553942109.762 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1553942109.766 * [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
1553942109.766 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1553942109.768 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1553942109.768 * [taylor]: Taking taylor expansion of 0 in a
1553942109.768 * [backup-simplify]: Simplify 0 into 0
1553942109.768 * [backup-simplify]: Simplify 0 into 0
1553942109.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942109.769 * * * [progress]: simplifying candidates
1553942109.769 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
1553942109.769 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1553942109.769 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
1553942109.769 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1553942109.769 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1553942109.769 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1553942109.769 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
1553942109.769 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1553942109.769 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1553942109.769 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1553942109.770 * * [simplify]: iters left: 6 (8 enodes)
1553942109.773 * * [simplify]: iters left: 5 (32 enodes)
1553942109.782 * * [simplify]: iters left: 4 (47 enodes)
1553942109.795 * * [simplify]: iters left: 3 (51 enodes)
1553942109.801 * * [simplify]: iters left: 2 (53 enodes)
1553942109.808 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.808 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942109.808 * * [simplify]: Extracting #2: cost 7 inf + 0
1553942109.808 * * [simplify]: Extracting #3: cost 9 inf + 0
1553942109.808 * * [simplify]: Extracting #4: cost 12 inf + 0
1553942109.808 * * [simplify]: Extracting #5: cost 18 inf + 0
1553942109.809 * * [simplify]: Extracting #6: cost 16 inf + 185
1553942109.809 * * [simplify]: Extracting #7: cost 18 inf + 312
1553942109.809 * * [simplify]: Extracting #8: cost 12 inf + 1292
1553942109.809 * * [simplify]: Extracting #9: cost 1 inf + 4069
1553942109.810 * * [simplify]: Extracting #10: cost 0 inf + 4436
1553942109.810 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1553942109.810 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
1553942109.810 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1553942109.810 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1553942109.810 * * [simplify]: iters left: 4 (7 enodes)
1553942109.812 * * [simplify]: iters left: 3 (27 enodes)
1553942109.817 * * [simplify]: iters left: 2 (40 enodes)
1553942109.823 * * [simplify]: iters left: 1 (44 enodes)
1553942109.829 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.829 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942109.829 * * [simplify]: Extracting #2: cost 5 inf + 0
1553942109.829 * * [simplify]: Extracting #3: cost 8 inf + 0
1553942109.829 * * [simplify]: Extracting #4: cost 14 inf + 0
1553942109.829 * * [simplify]: Extracting #5: cost 13 inf + 94
1553942109.829 * * [simplify]: Extracting #6: cost 13 inf + 368
1553942109.830 * * [simplify]: Extracting #7: cost 7 inf + 1177
1553942109.830 * * [simplify]: Extracting #8: cost 0 inf + 2788
1553942109.830 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1553942109.830 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1553942109.830 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1553942109.831 * [simplify]: Simplifying (log 1)
1553942109.831 * * [simplify]: iters left: 1 (2 enodes)
1553942109.832 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.832 * * [simplify]: Extracting #1: cost 0 inf + 1
1553942109.832 * [simplify]: Simplified to 0
1553942109.832 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ 0 (log (fmod (cosh c) (log1p a))))))
1553942109.832 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1553942109.832 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
1553942109.832 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942109.832 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942109.832 * * [simplify]: iters left: 2 (5 enodes)
1553942109.833 * * [simplify]: iters left: 1 (21 enodes)
1553942109.836 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.836 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942109.836 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942109.836 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942109.836 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942109.837 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942109.837 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942109.837 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942109.837 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942109.837 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
1553942109.837 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1553942109.837 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1553942109.837 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942109.837 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1553942109.837 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1553942109.837 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1553942109.837 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
1553942109.837 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1553942109.838 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942109.838 * * [simplify]: iters left: 3 (6 enodes)
1553942109.839 * * [simplify]: iters left: 2 (24 enodes)
1553942109.842 * * [simplify]: iters left: 1 (37 enodes)
1553942109.847 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.847 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942109.847 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942109.847 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942109.847 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942109.847 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942109.848 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942109.848 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942109.848 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942109.848 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942109.848 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1553942109.849 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1553942109.849 * [simplify]: Simplifying (cbrt (log (fmod (cosh c) (log1p a))))
1553942109.849 * * [simplify]: iters left: 4 (7 enodes)
1553942109.850 * * [simplify]: iters left: 3 (27 enodes)
1553942109.854 * * [simplify]: iters left: 2 (40 enodes)
1553942109.860 * * [simplify]: iters left: 1 (44 enodes)
1553942109.866 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.866 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942109.866 * * [simplify]: Extracting #2: cost 5 inf + 0
1553942109.866 * * [simplify]: Extracting #3: cost 8 inf + 0
1553942109.866 * * [simplify]: Extracting #4: cost 14 inf + 0
1553942109.866 * * [simplify]: Extracting #5: cost 13 inf + 94
1553942109.866 * * [simplify]: Extracting #6: cost 13 inf + 368
1553942109.866 * * [simplify]: Extracting #7: cost 7 inf + 1207
1553942109.867 * * [simplify]: Extracting #8: cost 0 inf + 2928
1553942109.867 * [simplify]: Simplified to (cbrt (log (fmod (cosh c) (log1p a))))
1553942109.867 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1553942109.867 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1553942109.867 * [simplify]: Simplifying (sqrt (log (fmod (cosh c) (log1p a))))
1553942109.867 * * [simplify]: iters left: 4 (7 enodes)
1553942109.869 * * [simplify]: iters left: 3 (27 enodes)
1553942109.877 * * [simplify]: iters left: 2 (40 enodes)
1553942109.888 * * [simplify]: iters left: 1 (44 enodes)
1553942109.900 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.900 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942109.900 * * [simplify]: Extracting #2: cost 5 inf + 0
1553942109.900 * * [simplify]: Extracting #3: cost 8 inf + 0
1553942109.900 * * [simplify]: Extracting #4: cost 14 inf + 0
1553942109.900 * * [simplify]: Extracting #5: cost 13 inf + 94
1553942109.901 * * [simplify]: Extracting #6: cost 13 inf + 368
1553942109.901 * * [simplify]: Extracting #7: cost 7 inf + 1207
1553942109.901 * * [simplify]: Extracting #8: cost 0 inf + 2848
1553942109.902 * [simplify]: Simplified to (sqrt (log (fmod (cosh c) (log1p a))))
1553942109.902 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1553942109.902 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1553942109.903 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942109.903 * * [simplify]: iters left: 3 (6 enodes)
1553942109.905 * * [simplify]: iters left: 2 (24 enodes)
1553942109.913 * * [simplify]: iters left: 1 (37 enodes)
1553942109.925 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.925 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942109.925 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942109.925 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942109.925 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942109.925 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942109.925 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942109.925 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942109.926 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942109.926 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942109.926 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1553942109.926 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>
1553942109.926 * [simplify]: Simplifying (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1553942109.926 * * [simplify]: iters left: 5 (9 enodes)
1553942109.928 * * [simplify]: iters left: 4 (35 enodes)
1553942109.933 * * [simplify]: iters left: 3 (51 enodes)
1553942109.940 * * [simplify]: iters left: 2 (53 enodes)
1553942109.947 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.947 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942109.947 * * [simplify]: Extracting #2: cost 5 inf + 1
1553942109.947 * * [simplify]: Extracting #3: cost 7 inf + 1
1553942109.947 * * [simplify]: Extracting #4: cost 10 inf + 1
1553942109.947 * * [simplify]: Extracting #5: cost 16 inf + 1
1553942109.947 * * [simplify]: Extracting #6: cost 16 inf + 4
1553942109.947 * * [simplify]: Extracting #7: cost 14 inf + 586
1553942109.948 * * [simplify]: Extracting #8: cost 4 inf + 3154
1553942109.948 * * [simplify]: Extracting #9: cost 0 inf + 4105
1553942109.948 * [simplify]: Simplified to (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1553942109.948 * [simplify]: Simplified (2 2) to (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))
1553942109.948 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
1553942109.949 * [simplify]: Simplifying (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1553942109.949 * * [simplify]: iters left: 5 (9 enodes)
1553942109.950 * * [simplify]: iters left: 4 (35 enodes)
1553942109.959 * * [simplify]: iters left: 3 (51 enodes)
1553942109.973 * * [simplify]: iters left: 2 (53 enodes)
1553942109.987 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942109.987 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942109.987 * * [simplify]: Extracting #2: cost 5 inf + 1
1553942109.987 * * [simplify]: Extracting #3: cost 7 inf + 1
1553942109.987 * * [simplify]: Extracting #4: cost 10 inf + 1
1553942109.987 * * [simplify]: Extracting #5: cost 16 inf + 1
1553942109.987 * * [simplify]: Extracting #6: cost 16 inf + 4
1553942109.988 * * [simplify]: Extracting #7: cost 14 inf + 586
1553942109.988 * * [simplify]: Extracting #8: cost 4 inf + 2954
1553942109.989 * * [simplify]: Extracting #9: cost 0 inf + 3865
1553942109.990 * [simplify]: Simplified to (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1553942109.990 * [simplify]: Simplified (2 2) to (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))
1553942109.990 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
1553942109.990 * [simplify]: Simplifying (pow E (log (fmod (cosh c) (log1p a))))
1553942109.990 * * [simplify]: iters left: 4 (8 enodes)
1553942109.993 * * [simplify]: iters left: 3 (32 enodes)
1553942110.003 * * [simplify]: iters left: 2 (48 enodes)
1553942110.017 * * [simplify]: iters left: 1 (50 enodes)
1553942110.030 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.030 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.030 * * [simplify]: Extracting #2: cost 5 inf + 1
1553942110.030 * * [simplify]: Extracting #3: cost 8 inf + 1
1553942110.030 * * [simplify]: Extracting #4: cost 14 inf + 1
1553942110.030 * * [simplify]: Extracting #5: cost 14 inf + 4
1553942110.031 * * [simplify]: Extracting #6: cost 11 inf + 803
1553942110.031 * * [simplify]: Extracting #7: cost 5 inf + 2486
1553942110.032 * * [simplify]: Extracting #8: cost 0 inf + 3191
1553942110.032 * [simplify]: Simplified to (pow E (log (fmod (cosh c) (log1p a))))
1553942110.032 * [simplify]: Simplified (2 2) to (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))
1553942110.032 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
1553942110.032 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
1553942110.032 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
1553942110.032 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))>
1553942110.033 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))>
1553942110.033 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
1553942110.033 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
1553942110.033 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))))>
1553942110.033 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942110.033 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.033 * * [simplify]: iters left: 2 (5 enodes)
1553942110.035 * * [simplify]: iters left: 1 (21 enodes)
1553942110.042 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.042 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.042 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.042 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.042 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.042 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.043 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.043 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.043 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942110.043 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942110.044 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.044 * * [simplify]: iters left: 2 (5 enodes)
1553942110.046 * * [simplify]: iters left: 1 (21 enodes)
1553942110.054 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.054 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.054 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.054 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.054 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.054 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.055 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.055 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.055 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942110.055 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942110.056 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.056 * * [simplify]: iters left: 2 (5 enodes)
1553942110.058 * * [simplify]: iters left: 1 (21 enodes)
1553942110.064 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.065 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.065 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.065 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.065 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.065 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.066 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.066 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.066 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942110.066 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942110.067 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942110.067 * * [simplify]: iters left: 3 (6 enodes)
1553942110.070 * * [simplify]: iters left: 2 (24 enodes)
1553942110.077 * * [simplify]: iters left: 1 (37 enodes)
1553942110.088 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.088 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942110.088 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942110.088 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942110.088 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942110.088 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942110.089 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942110.089 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942110.090 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942110.090 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942110.090 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942110.090 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942110.091 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942110.091 * * [simplify]: iters left: 3 (6 enodes)
1553942110.093 * * [simplify]: iters left: 2 (24 enodes)
1553942110.101 * * [simplify]: iters left: 1 (37 enodes)
1553942110.112 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.112 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942110.112 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942110.112 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942110.112 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942110.112 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942110.112 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942110.113 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942110.113 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942110.114 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942110.114 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942110.114 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1553942110.114 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942110.115 * * [simplify]: iters left: 3 (6 enodes)
1553942110.117 * * [simplify]: iters left: 2 (24 enodes)
1553942110.124 * * [simplify]: iters left: 1 (37 enodes)
1553942110.136 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.136 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942110.136 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942110.136 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942110.136 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942110.136 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942110.136 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942110.137 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942110.137 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942110.138 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942110.138 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1553942110.138 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942110.138 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.138 * * [simplify]: iters left: 2 (5 enodes)
1553942110.140 * * [simplify]: iters left: 1 (21 enodes)
1553942110.148 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.148 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.148 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.148 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.148 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.148 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.149 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.149 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.149 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942110.149 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942110.150 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.150 * * [simplify]: iters left: 2 (5 enodes)
1553942110.152 * * [simplify]: iters left: 1 (21 enodes)
1553942110.158 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.159 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.159 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.159 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.159 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.159 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.160 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.160 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.160 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942110.160 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1553942110.161 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.161 * * [simplify]: iters left: 2 (5 enodes)
1553942110.163 * * [simplify]: iters left: 1 (21 enodes)
1553942110.169 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.169 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.170 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.170 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.170 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.170 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.170 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.171 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.171 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1553942110.171 * * * [progress]: adding candidates to table
1553942110.724 * * [progress]: iteration 4 / 4
1553942110.724 * * * [progress]: picking best candidate
1553942110.851 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.851 * * * [progress]: localizing error
1553942110.863 * * * [progress]: generating rewritten candidates
1553942110.863 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
1553942110.863 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1)
1553942110.863 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
1553942110.863 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1553942110.864 * * * [progress]: generating series expansions
1553942110.864 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
1553942110.864 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.864 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1553942110.864 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.865 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.865 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.865 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.865 * [taylor]: Taking taylor expansion of 0 in a
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [taylor]: Taking taylor expansion of 0 in a
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [taylor]: Taking taylor expansion of 0 in a
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [backup-simplify]: Simplify 0 into 0
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.865 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1553942110.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.866 * [taylor]: Taking taylor expansion of 0 in a
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [taylor]: Taking taylor expansion of 0 in a
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [taylor]: Taking taylor expansion of 0 in a
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [backup-simplify]: Simplify 0 into 0
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.866 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1553942110.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.866 * [taylor]: Taking taylor expansion of 0 in a
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [taylor]: Taking taylor expansion of 0 in a
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [taylor]: Taking taylor expansion of 0 in a
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942110.867 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1)
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.867 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1553942110.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.867 * [taylor]: Taking taylor expansion of 0 in a
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [taylor]: Taking taylor expansion of 0 in a
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [taylor]: Taking taylor expansion of 0 in a
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify 0 into 0
1553942110.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.868 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1553942110.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.868 * [taylor]: Taking taylor expansion of 0 in a
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [taylor]: Taking taylor expansion of 0 in a
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [taylor]: Taking taylor expansion of 0 in a
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [backup-simplify]: Simplify 0 into 0
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942110.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.868 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1553942110.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.869 * [taylor]: Taking taylor expansion of 0 in a
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [taylor]: Taking taylor expansion of 0 in a
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [taylor]: Taking taylor expansion of 0 in a
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [backup-simplify]: Simplify 0 into 0
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942110.869 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.869 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1553942110.869 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.869 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.869 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.869 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.870 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.870 * [taylor]: Taking taylor expansion of 0 in a
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [taylor]: Taking taylor expansion of 0 in a
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [taylor]: Taking taylor expansion of 0 in a
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.870 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1553942110.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.870 * [taylor]: Taking taylor expansion of 0 in a
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.870 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [taylor]: Taking taylor expansion of 0 in a
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [taylor]: Taking taylor expansion of 0 in a
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1553942110.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.871 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1553942110.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.871 * [taylor]: Taking taylor expansion of 0 in a
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [taylor]: Taking taylor expansion of 0 in a
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [taylor]: Taking taylor expansion of 0 in a
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.871 * [backup-simplify]: Simplify 0 into 0
1553942110.872 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1553942110.872 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1553942110.872 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942110.872 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1553942110.872 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1553942110.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.872 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942110.872 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942110.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.872 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942110.872 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1553942110.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1553942110.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.872 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942110.872 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1553942110.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1553942110.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1553942110.872 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942110.872 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942110.873 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1553942110.873 * [taylor]: Taking taylor expansion of 0 in a
1553942110.873 * [backup-simplify]: Simplify 0 into 0
1553942110.873 * [backup-simplify]: Simplify 0 into 0
1553942110.874 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1553942110.874 * [backup-simplify]: Simplify 0 into 0
1553942110.876 * [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
1553942110.876 * [taylor]: Taking taylor expansion of 0 in a
1553942110.876 * [backup-simplify]: Simplify 0 into 0
1553942110.876 * [backup-simplify]: Simplify 0 into 0
1553942110.876 * [backup-simplify]: Simplify 0 into 0
1553942110.878 * [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
1553942110.878 * [backup-simplify]: Simplify 0 into 0
1553942110.880 * [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
1553942110.881 * [taylor]: Taking taylor expansion of 0 in a
1553942110.881 * [backup-simplify]: Simplify 0 into 0
1553942110.881 * [backup-simplify]: Simplify 0 into 0
1553942110.881 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1553942110.881 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942110.881 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1553942110.881 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1553942110.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.881 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942110.881 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942110.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.882 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942110.882 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1553942110.882 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1553942110.882 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.882 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942110.882 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1553942110.882 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1553942110.882 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1553942110.882 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942110.882 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1553942110.887 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1553942110.887 * [taylor]: Taking taylor expansion of 0 in a
1553942110.887 * [backup-simplify]: Simplify 0 into 0
1553942110.887 * [backup-simplify]: Simplify 0 into 0
1553942110.888 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1553942110.888 * [backup-simplify]: Simplify 0 into 0
1553942110.890 * [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
1553942110.890 * [taylor]: Taking taylor expansion of 0 in a
1553942110.890 * [backup-simplify]: Simplify 0 into 0
1553942110.890 * [backup-simplify]: Simplify 0 into 0
1553942110.890 * [backup-simplify]: Simplify 0 into 0
1553942110.892 * [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
1553942110.892 * [backup-simplify]: Simplify 0 into 0
1553942110.895 * [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
1553942110.895 * [taylor]: Taking taylor expansion of 0 in a
1553942110.895 * [backup-simplify]: Simplify 0 into 0
1553942110.895 * [backup-simplify]: Simplify 0 into 0
1553942110.895 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1553942110.896 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942110.896 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1553942110.896 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1553942110.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.896 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.896 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942110.896 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942110.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.896 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.896 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942110.896 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1553942110.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1553942110.896 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.897 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942110.897 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1553942110.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1553942110.897 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1553942110.897 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942110.897 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1553942110.898 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1553942110.898 * [taylor]: Taking taylor expansion of 0 in a
1553942110.898 * [backup-simplify]: Simplify 0 into 0
1553942110.898 * [backup-simplify]: Simplify 0 into 0
1553942110.899 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1553942110.899 * [backup-simplify]: Simplify 0 into 0
1553942110.901 * [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
1553942110.901 * [taylor]: Taking taylor expansion of 0 in a
1553942110.901 * [backup-simplify]: Simplify 0 into 0
1553942110.901 * [backup-simplify]: Simplify 0 into 0
1553942110.901 * [backup-simplify]: Simplify 0 into 0
1553942110.903 * [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
1553942110.903 * [backup-simplify]: Simplify 0 into 0
1553942110.906 * [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
1553942110.906 * [taylor]: Taking taylor expansion of 0 in a
1553942110.907 * [backup-simplify]: Simplify 0 into 0
1553942110.907 * [backup-simplify]: Simplify 0 into 0
1553942110.907 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1553942110.907 * * * [progress]: simplifying candidates
1553942110.907 * * * * [progress]: [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1553942110.907 * * * * [progress]: [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1553942110.907 * * * * [progress]: [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1553942110.907 * * * * [progress]: [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1553942110.907 * * * * [progress]: [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1553942110.907 * * * * [progress]: [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1553942110.907 * * * * [progress]: [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1553942110.907 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
1553942110.907 * * * * [progress]: [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.907 * * * * [progress]: [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.908 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.909 * * * * [progress]: [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1553942110.909 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1553942110.909 * * [simplify]: iters left: 6 (8 enodes)
1553942110.912 * * [simplify]: iters left: 5 (32 enodes)
1553942110.922 * * [simplify]: iters left: 4 (47 enodes)
1553942110.935 * * [simplify]: iters left: 3 (51 enodes)
1553942110.949 * * [simplify]: iters left: 2 (53 enodes)
1553942110.960 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.960 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.960 * * [simplify]: Extracting #2: cost 7 inf + 0
1553942110.960 * * [simplify]: Extracting #3: cost 9 inf + 0
1553942110.960 * * [simplify]: Extracting #4: cost 12 inf + 0
1553942110.960 * * [simplify]: Extracting #5: cost 18 inf + 0
1553942110.960 * * [simplify]: Extracting #6: cost 16 inf + 185
1553942110.961 * * [simplify]: Extracting #7: cost 18 inf + 312
1553942110.961 * * [simplify]: Extracting #8: cost 12 inf + 1292
1553942110.961 * * [simplify]: Extracting #9: cost 1 inf + 4069
1553942110.962 * * [simplify]: Extracting #10: cost 0 inf + 4436
1553942110.962 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1553942110.962 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1553942110.962 * * * * [progress]: [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1553942110.962 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1553942110.962 * * [simplify]: iters left: 4 (7 enodes)
1553942110.964 * * [simplify]: iters left: 3 (27 enodes)
1553942110.968 * * [simplify]: iters left: 2 (40 enodes)
1553942110.973 * * [simplify]: iters left: 1 (44 enodes)
1553942110.979 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.979 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942110.979 * * [simplify]: Extracting #2: cost 5 inf + 0
1553942110.979 * * [simplify]: Extracting #3: cost 8 inf + 0
1553942110.979 * * [simplify]: Extracting #4: cost 14 inf + 0
1553942110.980 * * [simplify]: Extracting #5: cost 13 inf + 94
1553942110.980 * * [simplify]: Extracting #6: cost 13 inf + 368
1553942110.980 * * [simplify]: Extracting #7: cost 7 inf + 1177
1553942110.980 * * [simplify]: Extracting #8: cost 0 inf + 2788
1553942110.980 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1553942110.980 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1553942110.981 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1553942110.981 * [simplify]: Simplifying (log 1)
1553942110.981 * * [simplify]: iters left: 1 (2 enodes)
1553942110.982 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.982 * * [simplify]: Extracting #1: cost 0 inf + 1
1553942110.982 * [simplify]: Simplified to 0
1553942110.982 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1553942110.982 * * * * [progress]: [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1553942110.982 * * * * [progress]: [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1553942110.982 * * * * [progress]: [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.982 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.983 * * [simplify]: iters left: 2 (5 enodes)
1553942110.983 * * [simplify]: iters left: 1 (21 enodes)
1553942110.987 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.987 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.987 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.987 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.987 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.987 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.987 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.987 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.987 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942110.988 * * * * [progress]: [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1553942110.988 * * * * [progress]: [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1553942110.988 * * * * [progress]: [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1553942110.988 * * * * [progress]: [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1553942110.988 * * * * [progress]: [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1553942110.988 * * * * [progress]: [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1553942110.988 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))>
1553942110.988 * * * * [progress]: [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.988 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.988 * * [simplify]: iters left: 2 (5 enodes)
1553942110.989 * * [simplify]: iters left: 1 (21 enodes)
1553942110.992 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.993 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.993 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.993 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.993 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.993 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.993 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.993 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.993 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942110.993 * * * * [progress]: [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.994 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.994 * * [simplify]: iters left: 2 (5 enodes)
1553942110.995 * * [simplify]: iters left: 1 (21 enodes)
1553942110.998 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942110.998 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942110.998 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942110.998 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942110.998 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942110.998 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942110.999 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942110.999 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942110.999 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942110.999 * * * * [progress]: [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942110.999 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942110.999 * * [simplify]: iters left: 2 (5 enodes)
1553942111.000 * * [simplify]: iters left: 1 (21 enodes)
1553942111.009 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.009 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942111.009 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942111.009 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942111.009 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942111.009 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942111.010 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942111.010 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942111.010 * [simplify]: Simplified (2 2 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.010 * * * * [progress]: [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.011 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942111.011 * * [simplify]: iters left: 2 (5 enodes)
1553942111.013 * * [simplify]: iters left: 1 (21 enodes)
1553942111.019 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.019 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942111.019 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942111.019 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942111.019 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942111.020 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942111.020 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942111.020 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942111.021 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.021 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.021 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942111.021 * * [simplify]: iters left: 2 (5 enodes)
1553942111.023 * * [simplify]: iters left: 1 (21 enodes)
1553942111.029 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.029 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942111.030 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942111.030 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942111.030 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942111.030 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942111.030 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942111.030 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942111.030 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.030 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.030 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942111.031 * * [simplify]: iters left: 2 (5 enodes)
1553942111.031 * * [simplify]: iters left: 1 (21 enodes)
1553942111.035 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.035 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942111.035 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942111.035 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942111.035 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942111.035 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942111.035 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942111.035 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942111.035 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.036 * * * * [progress]: [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.036 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942111.036 * * [simplify]: iters left: 2 (5 enodes)
1553942111.037 * * [simplify]: iters left: 1 (21 enodes)
1553942111.040 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.040 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942111.040 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942111.040 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942111.040 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942111.040 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942111.040 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942111.041 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942111.041 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.041 * * * * [progress]: [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.041 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942111.041 * * [simplify]: iters left: 2 (5 enodes)
1553942111.042 * * [simplify]: iters left: 1 (21 enodes)
1553942111.045 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.045 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942111.045 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942111.045 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942111.045 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942111.046 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942111.046 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942111.046 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942111.046 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.046 * * * * [progress]: [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.046 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1553942111.046 * * [simplify]: iters left: 2 (5 enodes)
1553942111.047 * * [simplify]: iters left: 1 (21 enodes)
1553942111.050 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.051 * * [simplify]: Extracting #1: cost 4 inf + 0
1553942111.051 * * [simplify]: Extracting #2: cost 10 inf + 0
1553942111.051 * * [simplify]: Extracting #3: cost 10 inf + 3
1553942111.051 * * [simplify]: Extracting #4: cost 9 inf + 368
1553942111.051 * * [simplify]: Extracting #5: cost 5 inf + 809
1553942111.051 * * [simplify]: Extracting #6: cost 0 inf + 1620
1553942111.051 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1553942111.051 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.051 * * * * [progress]: [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.052 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942111.052 * * [simplify]: iters left: 3 (6 enodes)
1553942111.053 * * [simplify]: iters left: 2 (24 enodes)
1553942111.056 * * [simplify]: iters left: 1 (37 enodes)
1553942111.062 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.062 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942111.062 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942111.062 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942111.062 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942111.062 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942111.062 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942111.062 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942111.063 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942111.063 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942111.063 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.064 * * * * [progress]: [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.064 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942111.064 * * [simplify]: iters left: 3 (6 enodes)
1553942111.066 * * [simplify]: iters left: 2 (24 enodes)
1553942111.072 * * [simplify]: iters left: 1 (37 enodes)
1553942111.081 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.081 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942111.081 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942111.081 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942111.082 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942111.082 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942111.082 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942111.082 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942111.083 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942111.083 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942111.083 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.083 * * * * [progress]: [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1553942111.084 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1553942111.084 * * [simplify]: iters left: 3 (6 enodes)
1553942111.086 * * [simplify]: iters left: 2 (24 enodes)
1553942111.092 * * [simplify]: iters left: 1 (37 enodes)
1553942111.103 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942111.103 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942111.103 * * [simplify]: Extracting #2: cost 6 inf + 0
1553942111.103 * * [simplify]: Extracting #3: cost 12 inf + 0
1553942111.103 * * [simplify]: Extracting #4: cost 12 inf + 3
1553942111.103 * * [simplify]: Extracting #5: cost 13 inf + 221
1553942111.103 * * [simplify]: Extracting #6: cost 6 inf + 1202
1553942111.104 * * [simplify]: Extracting #7: cost 1 inf + 1973
1553942111.104 * * [simplify]: Extracting #8: cost 0 inf + 2194
1553942111.105 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1553942111.105 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1553942111.105 * * * [progress]: adding candidates to table
1553942111.965 * [progress]: [Phase 3 of 3] Extracting.
1553942111.965 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (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) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1553942111.970 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1553942111.971 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (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) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1553942112.152 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (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) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1553942112.332 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (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) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1553942112.541 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (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) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1553942112.702 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (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) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
1553942112.921 * * * [regime]: Found split indices: #<option (#s(si 21 255))>
1553942112.922 * [simplify]: Simplifying (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1553942112.922 * * [simplify]: iters left: 6 (14 enodes)
1553942112.923 * * [simplify]: iters left: 5 (18 enodes)
1553942112.924 * * [simplify]: iters left: 4 (20 enodes)
1553942112.925 * * [simplify]: Extracting #0: cost 1 inf + 0
1553942112.925 * * [simplify]: Extracting #1: cost 3 inf + 0
1553942112.925 * * [simplify]: Extracting #2: cost 3 inf + 1
1553942112.925 * * [simplify]: Extracting #3: cost 5 inf + 1
1553942112.926 * * [simplify]: Extracting #4: cost 8 inf + 1
1553942112.926 * * [simplify]: Extracting #5: cost 9 inf + 1
1553942112.926 * * [simplify]: Extracting #6: cost 11 inf + 1
1553942112.926 * * [simplify]: Extracting #7: cost 13 inf + 1
1553942112.926 * * [simplify]: Extracting #8: cost 11 inf + 3
1553942112.926 * * [simplify]: Extracting #9: cost 8 inf + 367
1553942112.926 * * [simplify]: Extracting #10: cost 4 inf + 1755
1553942112.927 * * [simplify]: Extracting #11: cost 2 inf + 2729
1553942112.927 * * [simplify]: Extracting #12: cost 0 inf + 4154
1553942112.928 * [simplify]: Simplified to (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1553942134.751 * [regime-testing]: Baseline error score: 34.10465040608063
1553942134.752 * [regime-testing]: Oracle error score: 33.87740118563981
1553942134.754 * [regime-testing]: End program error score: 34.10465040608063