1552120236.792 * [progress]: [Phase 1 of 3] Setting up.
1552120236.792 * * * [progress]: [1/2] Preparing points
1552120237.456 * * * [progress]: [2/2] Setting up program.
1552120237.463 * [progress]: [Phase 2 of 3] Improving.
1552120237.463 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120237.464 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120237.466 * * [simplify]: iters left: 2 (5 enodes)
1552120237.473 * * [simplify]: iters left: 1 (21 enodes)
1552120237.520 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.520 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120237.520 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120237.521 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120237.521 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120237.521 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120237.521 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120237.522 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120237.522 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120237.531 * * [progress]: iteration 1 / 4
1552120237.531 * * * [progress]: picking best candidate
1552120237.536 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120237.536 * * * [progress]: localizing error
1552120237.557 * * * [progress]: generating rewritten candidates
1552120237.557 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1552120237.560 * * * [progress]: generating series expansions
1552120237.561 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1552120237.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.564 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1552120237.565 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.567 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.567 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.567 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.567 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.567 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.568 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.568 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.568 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.568 * [taylor]: Taking taylor expansion of 0 in a
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [taylor]: Taking taylor expansion of 0 in a
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [taylor]: Taking taylor expansion of 0 in a
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [backup-simplify]: Simplify 0 into 0
1552120237.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.572 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.572 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1552120237.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.572 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.572 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.572 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.572 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.573 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.573 * [taylor]: Taking taylor expansion of 0 in a
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [taylor]: Taking taylor expansion of 0 in a
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [taylor]: Taking taylor expansion of 0 in a
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [backup-simplify]: Simplify 0 into 0
1552120237.573 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1552120237.574 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.574 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1552120237.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.574 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.574 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.574 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.575 * [taylor]: Taking taylor expansion of 0 in a
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [taylor]: Taking taylor expansion of 0 in a
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [taylor]: Taking taylor expansion of 0 in a
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [backup-simplify]: Simplify 0 into 0
1552120237.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1552120237.575 * * * [progress]: simplifying candidates
1552120237.575 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1552120237.575 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120237.575 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1552120237.576 * * * * [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)))))>
1552120237.576 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1552120237.576 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1552120237.576 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1552120237.576 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1552120237.576 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120237.576 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120237.576 * * [simplify]: iters left: 2 (5 enodes)
1552120237.578 * * [simplify]: iters left: 1 (21 enodes)
1552120237.584 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.584 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120237.584 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120237.584 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120237.584 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120237.585 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120237.585 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120237.585 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120237.585 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120237.585 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120237.586 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120237.586 * * [simplify]: iters left: 2 (5 enodes)
1552120237.587 * * [simplify]: iters left: 1 (21 enodes)
1552120237.593 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.594 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120237.594 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120237.594 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120237.594 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120237.594 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120237.594 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120237.595 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120237.595 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120237.595 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120237.595 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120237.595 * * [simplify]: iters left: 2 (5 enodes)
1552120237.597 * * [simplify]: iters left: 1 (21 enodes)
1552120237.603 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.603 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120237.603 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120237.603 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120237.603 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120237.603 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120237.604 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120237.604 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120237.604 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120237.604 * * * [progress]: adding candidates to table
1552120237.753 * * [progress]: iteration 2 / 4
1552120237.753 * * * [progress]: picking best candidate
1552120237.787 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120237.787 * * * [progress]: localizing error
1552120237.792 * * * [progress]: generating rewritten candidates
1552120237.792 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1552120237.793 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1552120237.796 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1552120237.797 * * * [progress]: generating series expansions
1552120237.797 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1552120237.797 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.797 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1552120237.797 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.798 * [taylor]: Taking taylor expansion of 0 in a
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [taylor]: Taking taylor expansion of 0 in a
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [taylor]: Taking taylor expansion of 0 in a
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [backup-simplify]: Simplify 0 into 0
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.798 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1552120237.798 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.798 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.798 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.798 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.799 * [taylor]: Taking taylor expansion of 0 in a
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [taylor]: Taking taylor expansion of 0 in a
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [taylor]: Taking taylor expansion of 0 in a
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [backup-simplify]: Simplify 0 into 0
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.799 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1552120237.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.799 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.800 * [taylor]: Taking taylor expansion of 0 in a
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [taylor]: Taking taylor expansion of 0 in a
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [taylor]: Taking taylor expansion of 0 in a
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1552120237.800 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1552120237.800 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1552120237.800 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1552120237.800 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.800 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.800 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.800 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.800 * [taylor]: Taking taylor expansion of 0 in a
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.800 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [taylor]: Taking taylor expansion of 0 in a
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [taylor]: Taking taylor expansion of 0 in a
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.801 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.801 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1552120237.801 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.801 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.801 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.801 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.801 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.801 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.801 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.801 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.801 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.801 * [taylor]: Taking taylor expansion of 0 in a
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [taylor]: Taking taylor expansion of 0 in a
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.801 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [taylor]: Taking taylor expansion of 0 in a
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1552120237.802 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.802 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1552120237.802 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.802 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.802 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.802 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.802 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.802 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.802 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.802 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.802 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.802 * [taylor]: Taking taylor expansion of 0 in a
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [taylor]: Taking taylor expansion of 0 in a
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [taylor]: Taking taylor expansion of 0 in a
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.802 * [backup-simplify]: Simplify 0 into 0
1552120237.803 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1552120237.803 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1552120237.803 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120237.803 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1552120237.803 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1552120237.803 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.803 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.803 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120237.803 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120237.803 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.803 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.803 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120237.803 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120237.803 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120237.803 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.803 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120237.803 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1552120237.803 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120237.803 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120237.803 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120237.803 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120237.804 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1552120237.804 * [taylor]: Taking taylor expansion of 0 in a
1552120237.804 * [backup-simplify]: Simplify 0 into 0
1552120237.804 * [backup-simplify]: Simplify 0 into 0
1552120237.805 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1552120237.805 * [backup-simplify]: Simplify 0 into 0
1552120237.807 * [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
1552120237.807 * [taylor]: Taking taylor expansion of 0 in a
1552120237.807 * [backup-simplify]: Simplify 0 into 0
1552120237.807 * [backup-simplify]: Simplify 0 into 0
1552120237.807 * [backup-simplify]: Simplify 0 into 0
1552120237.809 * [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
1552120237.809 * [backup-simplify]: Simplify 0 into 0
1552120237.812 * [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
1552120237.812 * [taylor]: Taking taylor expansion of 0 in a
1552120237.812 * [backup-simplify]: Simplify 0 into 0
1552120237.812 * [backup-simplify]: Simplify 0 into 0
1552120237.812 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120237.812 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120237.812 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1552120237.812 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1552120237.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.812 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.812 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120237.812 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120237.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.813 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120237.813 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120237.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120237.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.813 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120237.813 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1552120237.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120237.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120237.813 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120237.813 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120237.814 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1552120237.814 * [taylor]: Taking taylor expansion of 0 in a
1552120237.814 * [backup-simplify]: Simplify 0 into 0
1552120237.814 * [backup-simplify]: Simplify 0 into 0
1552120237.815 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1552120237.815 * [backup-simplify]: Simplify 0 into 0
1552120237.817 * [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
1552120237.817 * [taylor]: Taking taylor expansion of 0 in a
1552120237.817 * [backup-simplify]: Simplify 0 into 0
1552120237.817 * [backup-simplify]: Simplify 0 into 0
1552120237.817 * [backup-simplify]: Simplify 0 into 0
1552120237.819 * [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
1552120237.819 * [backup-simplify]: Simplify 0 into 0
1552120237.821 * [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
1552120237.821 * [taylor]: Taking taylor expansion of 0 in a
1552120237.821 * [backup-simplify]: Simplify 0 into 0
1552120237.822 * [backup-simplify]: Simplify 0 into 0
1552120237.822 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1552120237.822 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120237.822 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1552120237.822 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1552120237.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.822 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.822 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120237.822 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120237.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.822 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.822 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120237.823 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120237.823 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120237.823 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.823 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120237.823 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1552120237.823 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120237.823 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120237.823 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120237.823 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120237.824 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1552120237.824 * [taylor]: Taking taylor expansion of 0 in a
1552120237.824 * [backup-simplify]: Simplify 0 into 0
1552120237.824 * [backup-simplify]: Simplify 0 into 0
1552120237.825 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1552120237.825 * [backup-simplify]: Simplify 0 into 0
1552120237.827 * [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
1552120237.827 * [taylor]: Taking taylor expansion of 0 in a
1552120237.827 * [backup-simplify]: Simplify 0 into 0
1552120237.827 * [backup-simplify]: Simplify 0 into 0
1552120237.827 * [backup-simplify]: Simplify 0 into 0
1552120237.829 * [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
1552120237.829 * [backup-simplify]: Simplify 0 into 0
1552120237.831 * [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
1552120237.831 * [taylor]: Taking taylor expansion of 0 in a
1552120237.831 * [backup-simplify]: Simplify 0 into 0
1552120237.831 * [backup-simplify]: Simplify 0 into 0
1552120237.832 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1552120237.832 * * * [progress]: simplifying candidates
1552120237.832 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1552120237.832 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120237.832 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1552120237.832 * * * * [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)))))))>
1552120237.832 * * * * [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)))))))>
1552120237.832 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1552120237.832 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1552120237.832 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1552120237.832 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1552120237.832 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1552120237.833 * [simplify]: Simplifying (exp 1)
1552120237.833 * * [simplify]: iters left: 1 (2 enodes)
1552120237.834 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.834 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120237.834 * [simplify]: Simplified to E
1552120237.834 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120237.834 * * * * [progress]: [ 11 / 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))))))>
1552120237.835 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1552120237.835 * * [simplify]: iters left: 6 (9 enodes)
1552120237.838 * * [simplify]: iters left: 5 (35 enodes)
1552120237.847 * * [simplify]: iters left: 4 (50 enodes)
1552120237.860 * * [simplify]: iters left: 3 (54 enodes)
1552120237.874 * * [simplify]: iters left: 2 (56 enodes)
1552120237.889 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.889 * * [simplify]: Extracting #1: cost 5 inf + 0
1552120237.889 * * [simplify]: Extracting #2: cost 9 inf + 0
1552120237.889 * * [simplify]: Extracting #3: cost 11 inf + 0
1552120237.889 * * [simplify]: Extracting #4: cost 14 inf + 0
1552120237.889 * * [simplify]: Extracting #5: cost 20 inf + 0
1552120237.889 * * [simplify]: Extracting #6: cost 19 inf + 94
1552120237.890 * * [simplify]: Extracting #7: cost 20 inf + 312
1552120237.890 * * [simplify]: Extracting #8: cost 11 inf + 1649
1552120237.891 * * [simplify]: Extracting #9: cost 2 inf + 4656
1552120237.892 * * [simplify]: Extracting #10: cost 0 inf + 5570
1552120237.893 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1552120237.893 * [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))))))
1552120237.893 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1552120237.893 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1552120237.893 * * [simplify]: iters left: 5 (8 enodes)
1552120237.896 * * [simplify]: iters left: 4 (30 enodes)
1552120237.908 * * [simplify]: iters left: 3 (43 enodes)
1552120237.919 * * [simplify]: iters left: 2 (47 enodes)
1552120237.930 * * [simplify]: iters left: 1 (49 enodes)
1552120237.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.943 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120237.943 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120237.943 * * [simplify]: Extracting #3: cost 7 inf + 0
1552120237.943 * * [simplify]: Extracting #4: cost 10 inf + 0
1552120237.943 * * [simplify]: Extracting #5: cost 16 inf + 0
1552120237.943 * * [simplify]: Extracting #6: cost 15 inf + 94
1552120237.943 * * [simplify]: Extracting #7: cost 16 inf + 312
1552120237.943 * * [simplify]: Extracting #8: cost 9 inf + 1489
1552120237.944 * * [simplify]: Extracting #9: cost 0 inf + 3642
1552120237.945 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1552120237.945 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1552120237.945 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1552120237.945 * [simplify]: Simplifying (exp 1)
1552120237.945 * * [simplify]: iters left: 1 (2 enodes)
1552120237.947 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.947 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120237.947 * [simplify]: Simplified to E
1552120237.947 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120237.947 * * * * [progress]: [ 14 / 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)))))))>
1552120237.947 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1552120237.948 * * [simplify]: iters left: 6 (9 enodes)
1552120237.952 * * [simplify]: iters left: 5 (33 enodes)
1552120237.962 * * [simplify]: iters left: 4 (50 enodes)
1552120237.971 * * [simplify]: iters left: 3 (54 enodes)
1552120237.978 * * [simplify]: iters left: 2 (56 enodes)
1552120237.985 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120237.985 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120237.985 * * [simplify]: Extracting #2: cost 8 inf + 0
1552120237.985 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120237.985 * * [simplify]: Extracting #4: cost 18 inf + 0
1552120237.985 * * [simplify]: Extracting #5: cost 17 inf + 94
1552120237.985 * * [simplify]: Extracting #6: cost 18 inf + 312
1552120237.986 * * [simplify]: Extracting #7: cost 9 inf + 1659
1552120237.986 * * [simplify]: Extracting #8: cost 3 inf + 3255
1552120237.986 * * [simplify]: Extracting #9: cost 1 inf + 4029
1552120237.987 * * [simplify]: Extracting #10: cost 0 inf + 4436
1552120237.987 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1552120237.987 * [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)))))))
1552120237.987 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1552120237.987 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1552120237.988 * * [simplify]: iters left: 5 (8 enodes)
1552120237.989 * * [simplify]: iters left: 4 (28 enodes)
1552120237.993 * * [simplify]: iters left: 3 (41 enodes)
1552120237.999 * * [simplify]: iters left: 2 (45 enodes)
1552120238.006 * * [simplify]: iters left: 1 (47 enodes)
1552120238.012 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.012 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.012 * * [simplify]: Extracting #2: cost 8 inf + 0
1552120238.012 * * [simplify]: Extracting #3: cost 14 inf + 0
1552120238.012 * * [simplify]: Extracting #4: cost 13 inf + 94
1552120238.012 * * [simplify]: Extracting #5: cost 14 inf + 312
1552120238.012 * * [simplify]: Extracting #6: cost 7 inf + 1429
1552120238.012 * * [simplify]: Extracting #7: cost 1 inf + 2567
1552120238.013 * * [simplify]: Extracting #8: cost 0 inf + 2788
1552120238.015 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a)))
1552120238.015 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1552120238.015 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1552120238.016 * [simplify]: Simplifying (exp (log 1))
1552120238.016 * * [simplify]: iters left: 2 (3 enodes)
1552120238.018 * * [simplify]: iters left: 1 (9 enodes)
1552120238.019 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.019 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120238.019 * [simplify]: Simplified to 1
1552120238.019 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1552120238.019 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120238.019 * [simplify]: Simplifying (cosh c)
1552120238.019 * * [simplify]: iters left: 1 (2 enodes)
1552120238.020 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.020 * * [simplify]: Extracting #1: cost 5 inf + 0
1552120238.020 * * [simplify]: Extracting #2: cost 5 inf + 2
1552120238.020 * * [simplify]: Extracting #3: cost 3 inf + 185
1552120238.020 * * [simplify]: Extracting #4: cost 0 inf + 558
1552120238.020 * [simplify]: Simplified to (cosh c)
1552120238.020 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120238.020 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120238.020 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1552120238.020 * * * * [progress]: [ 20 / 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)))))))>
1552120238.020 * * * * [progress]: [ 21 / 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)))))))>
1552120238.020 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1552120238.020 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1552120238.020 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1552120238.020 * * * * [progress]: [ 25 / 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)))))))>
1552120238.021 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1552120238.021 * * [simplify]: iters left: 6 (8 enodes)
1552120238.022 * * [simplify]: iters left: 5 (32 enodes)
1552120238.027 * * [simplify]: iters left: 4 (47 enodes)
1552120238.034 * * [simplify]: iters left: 3 (51 enodes)
1552120238.041 * * [simplify]: iters left: 2 (53 enodes)
1552120238.048 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.048 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.048 * * [simplify]: Extracting #2: cost 7 inf + 0
1552120238.048 * * [simplify]: Extracting #3: cost 9 inf + 0
1552120238.048 * * [simplify]: Extracting #4: cost 12 inf + 0
1552120238.048 * * [simplify]: Extracting #5: cost 18 inf + 0
1552120238.048 * * [simplify]: Extracting #6: cost 16 inf + 185
1552120238.048 * * [simplify]: Extracting #7: cost 18 inf + 312
1552120238.048 * * [simplify]: Extracting #8: cost 12 inf + 1292
1552120238.049 * * [simplify]: Extracting #9: cost 1 inf + 4069
1552120238.049 * * [simplify]: Extracting #10: cost 0 inf + 4436
1552120238.050 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1552120238.050 * [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)))))))
1552120238.050 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1552120238.051 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1552120238.051 * * [simplify]: iters left: 4 (7 enodes)
1552120238.054 * * [simplify]: iters left: 3 (27 enodes)
1552120238.062 * * [simplify]: iters left: 2 (40 enodes)
1552120238.073 * * [simplify]: iters left: 1 (44 enodes)
1552120238.086 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.086 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120238.086 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120238.086 * * [simplify]: Extracting #3: cost 8 inf + 0
1552120238.086 * * [simplify]: Extracting #4: cost 14 inf + 0
1552120238.086 * * [simplify]: Extracting #5: cost 13 inf + 94
1552120238.086 * * [simplify]: Extracting #6: cost 13 inf + 368
1552120238.086 * * [simplify]: Extracting #7: cost 7 inf + 1177
1552120238.087 * * [simplify]: Extracting #8: cost 0 inf + 2788
1552120238.087 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1552120238.088 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1552120238.088 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1552120238.088 * [simplify]: Simplifying (log 1)
1552120238.088 * * [simplify]: iters left: 1 (2 enodes)
1552120238.090 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.090 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120238.090 * [simplify]: Simplified to 0
1552120238.090 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1552120238.091 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1552120238.091 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1552120238.091 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120238.091 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120238.091 * * [simplify]: iters left: 2 (5 enodes)
1552120238.093 * * [simplify]: iters left: 1 (21 enodes)
1552120238.097 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.097 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.097 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120238.097 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120238.097 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120238.097 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120238.098 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120238.098 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120238.098 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120238.098 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1552120238.098 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120238.098 * * * * [progress]: [ 33 / 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)))))))>
1552120238.098 * * * * [progress]: [ 34 / 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)))))))>
1552120238.098 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1552120238.098 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1552120238.098 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1552120238.098 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120238.098 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120238.098 * * [simplify]: iters left: 2 (5 enodes)
1552120238.099 * * [simplify]: iters left: 1 (21 enodes)
1552120238.103 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.103 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.103 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120238.103 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120238.103 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120238.103 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120238.103 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120238.103 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120238.103 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120238.104 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120238.104 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120238.104 * * [simplify]: iters left: 2 (5 enodes)
1552120238.105 * * [simplify]: iters left: 1 (21 enodes)
1552120238.108 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.108 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.108 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120238.108 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120238.108 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120238.108 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120238.109 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120238.109 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120238.109 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120238.109 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120238.109 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120238.109 * * [simplify]: iters left: 2 (5 enodes)
1552120238.110 * * [simplify]: iters left: 1 (21 enodes)
1552120238.114 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.114 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.114 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120238.114 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120238.114 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120238.114 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120238.114 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120238.114 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120238.114 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120238.114 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120238.115 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120238.115 * * [simplify]: iters left: 2 (5 enodes)
1552120238.116 * * [simplify]: iters left: 1 (21 enodes)
1552120238.120 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.121 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.121 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120238.121 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120238.121 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120238.121 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120238.121 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120238.121 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120238.121 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120238.121 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120238.121 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120238.122 * * [simplify]: iters left: 2 (5 enodes)
1552120238.122 * * [simplify]: iters left: 1 (21 enodes)
1552120238.126 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.126 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.126 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120238.126 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120238.126 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120238.126 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120238.126 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120238.126 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120238.127 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120238.127 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120238.127 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120238.127 * * [simplify]: iters left: 2 (5 enodes)
1552120238.128 * * [simplify]: iters left: 1 (21 enodes)
1552120238.131 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.131 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120238.131 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120238.131 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120238.131 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120238.132 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120238.132 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120238.132 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120238.132 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120238.132 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120238.132 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120238.132 * * [simplify]: iters left: 3 (6 enodes)
1552120238.133 * * [simplify]: iters left: 2 (24 enodes)
1552120238.137 * * [simplify]: iters left: 1 (37 enodes)
1552120238.142 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.142 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120238.142 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120238.142 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120238.143 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120238.143 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120238.143 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120238.143 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120238.143 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120238.143 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120238.143 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120238.144 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120238.144 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120238.144 * * [simplify]: iters left: 3 (6 enodes)
1552120238.145 * * [simplify]: iters left: 2 (24 enodes)
1552120238.149 * * [simplify]: iters left: 1 (37 enodes)
1552120238.154 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.155 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120238.155 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120238.155 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120238.155 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120238.155 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120238.155 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120238.155 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120238.155 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120238.156 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120238.156 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120238.156 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120238.156 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120238.156 * * [simplify]: iters left: 3 (6 enodes)
1552120238.157 * * [simplify]: iters left: 2 (24 enodes)
1552120238.161 * * [simplify]: iters left: 1 (37 enodes)
1552120238.166 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120238.166 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120238.166 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120238.166 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120238.167 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120238.167 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120238.167 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120238.167 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120238.167 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120238.167 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120238.167 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120238.168 * * * [progress]: adding candidates to table
1552120238.782 * * [progress]: iteration 3 / 4
1552120238.782 * * * [progress]: picking best candidate
1552120238.880 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120238.880 * * * [progress]: localizing error
1552120238.889 * * * [progress]: generating rewritten candidates
1552120238.889 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1552120238.890 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1552120238.892 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1552120238.895 * * * [progress]: generating series expansions
1552120238.895 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1552120238.895 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.895 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1552120238.895 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120238.895 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.895 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120238.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.896 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120238.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.896 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120238.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.896 * [taylor]: Taking taylor expansion of 0 in a
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [taylor]: Taking taylor expansion of 0 in a
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [taylor]: Taking taylor expansion of 0 in a
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [backup-simplify]: Simplify 0 into 0
1552120238.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.897 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1552120238.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120238.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120238.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120238.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120238.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.897 * [taylor]: Taking taylor expansion of 0 in a
1552120238.897 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [taylor]: Taking taylor expansion of 0 in a
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [taylor]: Taking taylor expansion of 0 in a
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [backup-simplify]: Simplify 0 into 0
1552120238.898 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1552120238.898 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.898 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1552120238.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120238.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120238.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120238.899 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120238.899 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.899 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.899 * [taylor]: Taking taylor expansion of 0 in a
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [taylor]: Taking taylor expansion of 0 in a
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [taylor]: Taking taylor expansion of 0 in a
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.899 * [backup-simplify]: Simplify 0 into 0
1552120238.900 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1552120238.900 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1552120238.900 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
1552120238.900 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
1552120238.900 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
1552120238.900 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
1552120238.900 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
1552120238.900 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1552120238.900 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120238.900 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.900 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.900 * [taylor]: Taking taylor expansion of (log E) in a
1552120238.900 * [taylor]: Taking taylor expansion of E in a
1552120238.900 * [backup-simplify]: Simplify E into E
1552120238.900 * [backup-simplify]: Simplify (log E) into 1
1552120238.901 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1552120238.901 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1552120238.901 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1552120238.901 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1552120238.901 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1552120238.901 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120238.901 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120238.901 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.901 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.901 * [taylor]: Taking taylor expansion of (log E) in c
1552120238.901 * [taylor]: Taking taylor expansion of E in c
1552120238.901 * [backup-simplify]: Simplify E into E
1552120238.901 * [backup-simplify]: Simplify (log E) into 1
1552120238.901 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1552120238.902 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1552120238.902 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1552120238.902 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1552120238.902 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1552120238.902 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120238.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120238.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.902 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.902 * [taylor]: Taking taylor expansion of (log E) in c
1552120238.902 * [taylor]: Taking taylor expansion of E in c
1552120238.902 * [backup-simplify]: Simplify E into E
1552120238.902 * [backup-simplify]: Simplify (log E) into 1
1552120238.902 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1552120238.902 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1552120238.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120238.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.902 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.905 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1552120238.905 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1552120238.906 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
1552120238.907 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1552120238.907 * [taylor]: Taking taylor expansion of 0 in a
1552120238.907 * [backup-simplify]: Simplify 0 into 0
1552120238.907 * [backup-simplify]: Simplify 0 into 0
1552120238.907 * [backup-simplify]: Simplify 0 into 0
1552120238.910 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1552120238.912 * [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
1552120238.912 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
1552120238.913 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1552120238.914 * [taylor]: Taking taylor expansion of 0 in a
1552120238.914 * [backup-simplify]: Simplify 0 into 0
1552120238.914 * [backup-simplify]: Simplify 0 into 0
1552120238.914 * [backup-simplify]: Simplify 0 into 0
1552120238.914 * [backup-simplify]: Simplify 0 into 0
1552120238.920 * [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
1552120238.921 * [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
1552120238.922 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1552120238.923 * [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
1552120238.923 * [taylor]: Taking taylor expansion of 0 in a
1552120238.923 * [backup-simplify]: Simplify 0 into 0
1552120238.923 * [backup-simplify]: Simplify 0 into 0
1552120238.923 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.923 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
1552120238.923 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
1552120238.923 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1552120238.923 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
1552120238.923 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
1552120238.923 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1552120238.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120238.923 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.923 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.923 * [taylor]: Taking taylor expansion of (log E) in a
1552120238.923 * [taylor]: Taking taylor expansion of E in a
1552120238.923 * [backup-simplify]: Simplify E into E
1552120238.924 * [backup-simplify]: Simplify (log E) into 1
1552120238.924 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.924 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.924 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1552120238.924 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1552120238.924 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1552120238.924 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120238.924 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120238.924 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.924 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.924 * [taylor]: Taking taylor expansion of (log E) in c
1552120238.924 * [taylor]: Taking taylor expansion of E in c
1552120238.924 * [backup-simplify]: Simplify E into E
1552120238.924 * [backup-simplify]: Simplify (log E) into 1
1552120238.924 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.924 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.924 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1552120238.924 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1552120238.924 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1552120238.924 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120238.924 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120238.924 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.924 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.924 * [taylor]: Taking taylor expansion of (log E) in c
1552120238.924 * [taylor]: Taking taylor expansion of E in c
1552120238.924 * [backup-simplify]: Simplify E into E
1552120238.924 * [backup-simplify]: Simplify (log E) into 1
1552120238.925 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.925 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120238.925 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.925 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.926 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1552120238.926 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1552120238.927 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
1552120238.927 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1552120238.927 * [taylor]: Taking taylor expansion of 0 in a
1552120238.927 * [backup-simplify]: Simplify 0 into 0
1552120238.927 * [backup-simplify]: Simplify 0 into 0
1552120238.927 * [backup-simplify]: Simplify 0 into 0
1552120238.929 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1552120238.930 * [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
1552120238.930 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1552120238.931 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1552120238.931 * [taylor]: Taking taylor expansion of 0 in a
1552120238.931 * [backup-simplify]: Simplify 0 into 0
1552120238.931 * [backup-simplify]: Simplify 0 into 0
1552120238.931 * [backup-simplify]: Simplify 0 into 0
1552120238.931 * [backup-simplify]: Simplify 0 into 0
1552120238.934 * [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
1552120238.936 * [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
1552120238.936 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1552120238.937 * [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
1552120238.937 * [taylor]: Taking taylor expansion of 0 in a
1552120238.937 * [backup-simplify]: Simplify 0 into 0
1552120238.937 * [backup-simplify]: Simplify 0 into 0
1552120238.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1552120238.937 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
1552120238.937 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
1552120238.937 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1552120238.938 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
1552120238.938 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
1552120238.938 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1552120238.938 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120238.938 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.938 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.938 * [taylor]: Taking taylor expansion of (log E) in a
1552120238.938 * [taylor]: Taking taylor expansion of E in a
1552120238.938 * [backup-simplify]: Simplify E into E
1552120238.938 * [backup-simplify]: Simplify (log E) into 1
1552120238.938 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.938 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.938 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1552120238.938 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1552120238.938 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1552120238.938 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120238.938 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120238.938 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.938 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.938 * [taylor]: Taking taylor expansion of (log E) in c
1552120238.938 * [taylor]: Taking taylor expansion of E in c
1552120238.938 * [backup-simplify]: Simplify E into E
1552120238.938 * [backup-simplify]: Simplify (log E) into 1
1552120238.938 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.938 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.938 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1552120238.938 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1552120238.938 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1552120238.938 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120238.938 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120238.939 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.939 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.939 * [taylor]: Taking taylor expansion of (log E) in c
1552120238.939 * [taylor]: Taking taylor expansion of E in c
1552120238.939 * [backup-simplify]: Simplify E into E
1552120238.939 * [backup-simplify]: Simplify (log E) into 1
1552120238.939 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.939 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120238.939 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.939 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.940 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1552120238.941 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1552120238.941 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
1552120238.941 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1552120238.941 * [taylor]: Taking taylor expansion of 0 in a
1552120238.941 * [backup-simplify]: Simplify 0 into 0
1552120238.941 * [backup-simplify]: Simplify 0 into 0
1552120238.941 * [backup-simplify]: Simplify 0 into 0
1552120238.943 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1552120238.945 * [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
1552120238.945 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1552120238.946 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1552120238.947 * [taylor]: Taking taylor expansion of 0 in a
1552120238.947 * [backup-simplify]: Simplify 0 into 0
1552120238.947 * [backup-simplify]: Simplify 0 into 0
1552120238.947 * [backup-simplify]: Simplify 0 into 0
1552120238.947 * [backup-simplify]: Simplify 0 into 0
1552120238.952 * [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
1552120238.955 * [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
1552120238.956 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1552120238.958 * [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
1552120238.958 * [taylor]: Taking taylor expansion of 0 in a
1552120238.958 * [backup-simplify]: Simplify 0 into 0
1552120238.958 * [backup-simplify]: Simplify 0 into 0
1552120238.958 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1552120238.958 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1552120238.958 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.958 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1552120238.958 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1552120238.958 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120238.958 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.958 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.959 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120238.959 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120238.959 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.959 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.959 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120238.959 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120238.959 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.959 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.959 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1552120238.959 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120238.959 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120238.959 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.959 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.960 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1552120238.960 * [taylor]: Taking taylor expansion of 0 in a
1552120238.960 * [backup-simplify]: Simplify 0 into 0
1552120238.960 * [backup-simplify]: Simplify 0 into 0
1552120238.961 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1552120238.961 * [backup-simplify]: Simplify 0 into 0
1552120238.963 * [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
1552120238.963 * [taylor]: Taking taylor expansion of 0 in a
1552120238.963 * [backup-simplify]: Simplify 0 into 0
1552120238.963 * [backup-simplify]: Simplify 0 into 0
1552120238.963 * [backup-simplify]: Simplify 0 into 0
1552120238.965 * [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
1552120238.965 * [backup-simplify]: Simplify 0 into 0
1552120238.968 * [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
1552120238.968 * [taylor]: Taking taylor expansion of 0 in a
1552120238.968 * [backup-simplify]: Simplify 0 into 0
1552120238.968 * [backup-simplify]: Simplify 0 into 0
1552120238.968 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120238.968 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.968 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1552120238.968 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1552120238.968 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120238.968 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.969 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.969 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120238.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120238.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.969 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.969 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120238.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120238.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.969 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.969 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1552120238.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120238.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120238.970 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.970 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120238.971 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1552120238.971 * [taylor]: Taking taylor expansion of 0 in a
1552120238.971 * [backup-simplify]: Simplify 0 into 0
1552120238.971 * [backup-simplify]: Simplify 0 into 0
1552120238.972 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1552120238.972 * [backup-simplify]: Simplify 0 into 0
1552120238.974 * [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
1552120238.974 * [taylor]: Taking taylor expansion of 0 in a
1552120238.974 * [backup-simplify]: Simplify 0 into 0
1552120238.974 * [backup-simplify]: Simplify 0 into 0
1552120238.974 * [backup-simplify]: Simplify 0 into 0
1552120238.976 * [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
1552120238.976 * [backup-simplify]: Simplify 0 into 0
1552120238.979 * [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
1552120238.979 * [taylor]: Taking taylor expansion of 0 in a
1552120238.979 * [backup-simplify]: Simplify 0 into 0
1552120238.979 * [backup-simplify]: Simplify 0 into 0
1552120238.979 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1552120238.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.980 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1552120238.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1552120238.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120238.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120238.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120238.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120238.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120238.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.981 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.981 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1552120238.981 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120238.981 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120238.981 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.981 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120238.982 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1552120238.982 * [taylor]: Taking taylor expansion of 0 in a
1552120238.982 * [backup-simplify]: Simplify 0 into 0
1552120238.982 * [backup-simplify]: Simplify 0 into 0
1552120238.983 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1552120238.983 * [backup-simplify]: Simplify 0 into 0
1552120238.985 * [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
1552120238.985 * [taylor]: Taking taylor expansion of 0 in a
1552120238.985 * [backup-simplify]: Simplify 0 into 0
1552120238.985 * [backup-simplify]: Simplify 0 into 0
1552120238.985 * [backup-simplify]: Simplify 0 into 0
1552120238.987 * [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
1552120238.987 * [backup-simplify]: Simplify 0 into 0
1552120238.990 * [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
1552120238.990 * [taylor]: Taking taylor expansion of 0 in a
1552120238.990 * [backup-simplify]: Simplify 0 into 0
1552120238.990 * [backup-simplify]: Simplify 0 into 0
1552120238.990 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1552120238.990 * * * [progress]: simplifying candidates
1552120238.990 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
1552120238.990 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120238.990 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
1552120238.990 * * * * [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)))))))>
1552120238.990 * * * * [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)))))))>
1552120238.991 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1552120238.991 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
1552120238.991 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1552120238.991 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
1552120238.991 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1552120238.991 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120238.991 * * [simplify]: iters left: 3 (6 enodes)
1552120238.993 * * [simplify]: iters left: 2 (24 enodes)
1552120239.001 * * [simplify]: iters left: 1 (37 enodes)
1552120239.011 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.011 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.011 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120239.011 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120239.011 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120239.012 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120239.012 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120239.012 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120239.013 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120239.013 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120239.013 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1552120239.013 * * * * [progress]: [ 11 / 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))))))>
1552120239.014 * [simplify]: Simplifying (cbrt (log (fmod (cosh c) (log1p a))))
1552120239.014 * * [simplify]: iters left: 4 (7 enodes)
1552120239.016 * * [simplify]: iters left: 3 (27 enodes)
1552120239.024 * * [simplify]: iters left: 2 (40 enodes)
1552120239.035 * * [simplify]: iters left: 1 (44 enodes)
1552120239.052 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.052 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.052 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120239.052 * * [simplify]: Extracting #3: cost 8 inf + 0
1552120239.053 * * [simplify]: Extracting #4: cost 14 inf + 0
1552120239.053 * * [simplify]: Extracting #5: cost 13 inf + 94
1552120239.053 * * [simplify]: Extracting #6: cost 13 inf + 368
1552120239.053 * * [simplify]: Extracting #7: cost 7 inf + 1207
1552120239.054 * * [simplify]: Extracting #8: cost 0 inf + 2928
1552120239.054 * [simplify]: Simplified to (cbrt (log (fmod (cosh c) (log1p a))))
1552120239.054 * [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))))))
1552120239.055 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1552120239.055 * [simplify]: Simplifying (sqrt (log (fmod (cosh c) (log1p a))))
1552120239.055 * * [simplify]: iters left: 4 (7 enodes)
1552120239.058 * * [simplify]: iters left: 3 (27 enodes)
1552120239.067 * * [simplify]: iters left: 2 (40 enodes)
1552120239.077 * * [simplify]: iters left: 1 (44 enodes)
1552120239.083 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.083 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.083 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120239.083 * * [simplify]: Extracting #3: cost 8 inf + 0
1552120239.083 * * [simplify]: Extracting #4: cost 14 inf + 0
1552120239.083 * * [simplify]: Extracting #5: cost 13 inf + 94
1552120239.083 * * [simplify]: Extracting #6: cost 13 inf + 368
1552120239.083 * * [simplify]: Extracting #7: cost 7 inf + 1207
1552120239.084 * * [simplify]: Extracting #8: cost 0 inf + 2848
1552120239.084 * [simplify]: Simplified to (sqrt (log (fmod (cosh c) (log1p a))))
1552120239.084 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1552120239.084 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1552120239.084 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120239.084 * * [simplify]: iters left: 3 (6 enodes)
1552120239.085 * * [simplify]: iters left: 2 (24 enodes)
1552120239.089 * * [simplify]: iters left: 1 (37 enodes)
1552120239.094 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.094 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.094 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120239.095 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120239.095 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120239.095 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120239.095 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120239.095 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120239.095 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120239.095 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120239.096 * [simplify]: Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1552120239.096 * * * * [progress]: [ 14 / 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)))))))>
1552120239.096 * [simplify]: Simplifying (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1552120239.096 * * [simplify]: iters left: 5 (9 enodes)
1552120239.098 * * [simplify]: iters left: 4 (35 enodes)
1552120239.103 * * [simplify]: iters left: 3 (51 enodes)
1552120239.111 * * [simplify]: iters left: 2 (53 enodes)
1552120239.118 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.118 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.118 * * [simplify]: Extracting #2: cost 5 inf + 1
1552120239.118 * * [simplify]: Extracting #3: cost 7 inf + 1
1552120239.118 * * [simplify]: Extracting #4: cost 10 inf + 1
1552120239.118 * * [simplify]: Extracting #5: cost 16 inf + 1
1552120239.118 * * [simplify]: Extracting #6: cost 16 inf + 4
1552120239.118 * * [simplify]: Extracting #7: cost 14 inf + 586
1552120239.119 * * [simplify]: Extracting #8: cost 4 inf + 3154
1552120239.119 * * [simplify]: Extracting #9: cost 0 inf + 4105
1552120239.119 * [simplify]: Simplified to (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1552120239.119 * [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)))))))
1552120239.119 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
1552120239.120 * [simplify]: Simplifying (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1552120239.120 * * [simplify]: iters left: 5 (9 enodes)
1552120239.121 * * [simplify]: iters left: 4 (35 enodes)
1552120239.127 * * [simplify]: iters left: 3 (51 enodes)
1552120239.133 * * [simplify]: iters left: 2 (53 enodes)
1552120239.142 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.142 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.142 * * [simplify]: Extracting #2: cost 5 inf + 1
1552120239.142 * * [simplify]: Extracting #3: cost 7 inf + 1
1552120239.142 * * [simplify]: Extracting #4: cost 10 inf + 1
1552120239.142 * * [simplify]: Extracting #5: cost 16 inf + 1
1552120239.143 * * [simplify]: Extracting #6: cost 16 inf + 4
1552120239.143 * * [simplify]: Extracting #7: cost 14 inf + 586
1552120239.143 * * [simplify]: Extracting #8: cost 4 inf + 2954
1552120239.143 * * [simplify]: Extracting #9: cost 0 inf + 3865
1552120239.144 * [simplify]: Simplified to (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1552120239.144 * [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)))))))
1552120239.144 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
1552120239.144 * [simplify]: Simplifying (pow E (log (fmod (cosh c) (log1p a))))
1552120239.144 * * [simplify]: iters left: 4 (8 enodes)
1552120239.147 * * [simplify]: iters left: 3 (32 enodes)
1552120239.152 * * [simplify]: iters left: 2 (48 enodes)
1552120239.158 * * [simplify]: iters left: 1 (50 enodes)
1552120239.165 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.165 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.165 * * [simplify]: Extracting #2: cost 5 inf + 1
1552120239.165 * * [simplify]: Extracting #3: cost 8 inf + 1
1552120239.165 * * [simplify]: Extracting #4: cost 14 inf + 1
1552120239.165 * * [simplify]: Extracting #5: cost 14 inf + 4
1552120239.165 * * [simplify]: Extracting #6: cost 11 inf + 803
1552120239.165 * * [simplify]: Extracting #7: cost 5 inf + 2486
1552120239.166 * * [simplify]: Extracting #8: cost 0 inf + 3191
1552120239.166 * [simplify]: Simplified to (pow E (log (fmod (cosh c) (log1p a))))
1552120239.166 * [simplify]: Simplified (2 2) to (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))
1552120239.166 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
1552120239.166 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
1552120239.166 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
1552120239.166 * * * * [progress]: [ 20 / 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)))))))>
1552120239.166 * * * * [progress]: [ 21 / 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)))))))>
1552120239.166 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
1552120239.166 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
1552120239.166 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))))>
1552120239.166 * * * * [progress]: [ 25 / 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)))))))>
1552120239.167 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1552120239.167 * * [simplify]: iters left: 6 (8 enodes)
1552120239.168 * * [simplify]: iters left: 5 (32 enodes)
1552120239.177 * * [simplify]: iters left: 4 (47 enodes)
1552120239.190 * * [simplify]: iters left: 3 (51 enodes)
1552120239.201 * * [simplify]: iters left: 2 (53 enodes)
1552120239.208 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.208 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.208 * * [simplify]: Extracting #2: cost 7 inf + 0
1552120239.208 * * [simplify]: Extracting #3: cost 9 inf + 0
1552120239.208 * * [simplify]: Extracting #4: cost 12 inf + 0
1552120239.208 * * [simplify]: Extracting #5: cost 18 inf + 0
1552120239.208 * * [simplify]: Extracting #6: cost 16 inf + 185
1552120239.208 * * [simplify]: Extracting #7: cost 18 inf + 312
1552120239.208 * * [simplify]: Extracting #8: cost 12 inf + 1292
1552120239.209 * * [simplify]: Extracting #9: cost 1 inf + 4069
1552120239.209 * * [simplify]: Extracting #10: cost 0 inf + 4436
1552120239.210 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1552120239.210 * [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)))))))
1552120239.210 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1552120239.210 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1552120239.210 * * [simplify]: iters left: 4 (7 enodes)
1552120239.211 * * [simplify]: iters left: 3 (27 enodes)
1552120239.215 * * [simplify]: iters left: 2 (40 enodes)
1552120239.221 * * [simplify]: iters left: 1 (44 enodes)
1552120239.227 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.227 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.227 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120239.227 * * [simplify]: Extracting #3: cost 8 inf + 0
1552120239.227 * * [simplify]: Extracting #4: cost 14 inf + 0
1552120239.228 * * [simplify]: Extracting #5: cost 13 inf + 94
1552120239.228 * * [simplify]: Extracting #6: cost 13 inf + 368
1552120239.228 * * [simplify]: Extracting #7: cost 7 inf + 1177
1552120239.228 * * [simplify]: Extracting #8: cost 0 inf + 2788
1552120239.228 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1552120239.228 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1552120239.228 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1552120239.229 * [simplify]: Simplifying (log 1)
1552120239.229 * * [simplify]: iters left: 1 (2 enodes)
1552120239.231 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.231 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120239.231 * [simplify]: Simplified to 0
1552120239.231 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (+ 0 (log (fmod (cosh c) (log1p a))))))
1552120239.231 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1552120239.231 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
1552120239.231 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120239.231 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120239.231 * * [simplify]: iters left: 2 (5 enodes)
1552120239.233 * * [simplify]: iters left: 1 (21 enodes)
1552120239.241 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.241 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.241 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120239.241 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120239.241 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120239.241 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120239.242 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120239.242 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120239.242 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120239.242 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
1552120239.242 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120239.242 * * * * [progress]: [ 33 / 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)))))))>
1552120239.242 * * * * [progress]: [ 34 / 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)))))))>
1552120239.243 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1552120239.243 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1552120239.243 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1552120239.243 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120239.243 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120239.243 * * [simplify]: iters left: 2 (5 enodes)
1552120239.245 * * [simplify]: iters left: 1 (21 enodes)
1552120239.254 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.254 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.254 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120239.254 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120239.254 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120239.254 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120239.255 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120239.255 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120239.255 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120239.255 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120239.255 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120239.256 * * [simplify]: iters left: 2 (5 enodes)
1552120239.258 * * [simplify]: iters left: 1 (21 enodes)
1552120239.264 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.264 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.264 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120239.265 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120239.265 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120239.265 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120239.265 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120239.266 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120239.266 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120239.266 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120239.266 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120239.266 * * [simplify]: iters left: 2 (5 enodes)
1552120239.268 * * [simplify]: iters left: 1 (21 enodes)
1552120239.274 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.275 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.275 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120239.275 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120239.275 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120239.275 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120239.275 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120239.276 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120239.276 * [simplify]: Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120239.276 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120239.276 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120239.276 * * [simplify]: iters left: 2 (5 enodes)
1552120239.278 * * [simplify]: iters left: 1 (21 enodes)
1552120239.285 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.285 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.285 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120239.285 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120239.285 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120239.285 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120239.286 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120239.286 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120239.286 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120239.286 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120239.286 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120239.286 * * [simplify]: iters left: 2 (5 enodes)
1552120239.288 * * [simplify]: iters left: 1 (21 enodes)
1552120239.292 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.292 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.292 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120239.292 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120239.292 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120239.292 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120239.293 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120239.293 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120239.293 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120239.293 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120239.293 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120239.293 * * [simplify]: iters left: 2 (5 enodes)
1552120239.294 * * [simplify]: iters left: 1 (21 enodes)
1552120239.297 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.297 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120239.297 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120239.297 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120239.297 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120239.297 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120239.298 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120239.298 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120239.298 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120239.298 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120239.298 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120239.298 * * [simplify]: iters left: 3 (6 enodes)
1552120239.299 * * [simplify]: iters left: 2 (24 enodes)
1552120239.303 * * [simplify]: iters left: 1 (37 enodes)
1552120239.308 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.308 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.308 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120239.308 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120239.308 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120239.309 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120239.309 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120239.309 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120239.309 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120239.309 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120239.309 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120239.309 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120239.310 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120239.310 * * [simplify]: iters left: 3 (6 enodes)
1552120239.311 * * [simplify]: iters left: 2 (24 enodes)
1552120239.314 * * [simplify]: iters left: 1 (37 enodes)
1552120239.322 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.322 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.322 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120239.322 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120239.322 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120239.322 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120239.323 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120239.323 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120239.323 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120239.324 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120239.324 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120239.324 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1552120239.324 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120239.325 * * [simplify]: iters left: 3 (6 enodes)
1552120239.327 * * [simplify]: iters left: 2 (24 enodes)
1552120239.334 * * [simplify]: iters left: 1 (37 enodes)
1552120239.344 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120239.344 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120239.345 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120239.345 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120239.345 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120239.345 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120239.345 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120239.346 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120239.346 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120239.347 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120239.347 * [simplify]: Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120239.347 * * * [progress]: adding candidates to table
1552120239.887 * * [progress]: iteration 4 / 4
1552120239.887 * * * [progress]: picking best candidate
1552120240.006 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.006 * * * [progress]: localizing error
1552120240.007 * * * [progress]: generating rewritten candidates
1552120240.007 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1552120240.007 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1552120240.010 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1552120240.011 * * * [progress]: generating series expansions
1552120240.011 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1552120240.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.011 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1552120240.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120240.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120240.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.012 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.012 * [taylor]: Taking taylor expansion of 0 in a
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [taylor]: Taking taylor expansion of 0 in a
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [taylor]: Taking taylor expansion of 0 in a
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [backup-simplify]: Simplify 0 into 0
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.012 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1552120240.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120240.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120240.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.013 * [taylor]: Taking taylor expansion of 0 in a
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [taylor]: Taking taylor expansion of 0 in a
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [taylor]: Taking taylor expansion of 0 in a
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [backup-simplify]: Simplify 0 into 0
1552120240.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1552120240.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.013 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1552120240.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120240.013 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120240.013 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120240.013 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.014 * [taylor]: Taking taylor expansion of 0 in a
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [taylor]: Taking taylor expansion of 0 in a
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [taylor]: Taking taylor expansion of 0 in a
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1552120240.014 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1552120240.014 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1552120240.014 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1552120240.014 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.014 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.014 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.014 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.014 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.014 * [taylor]: Taking taylor expansion of 0 in a
1552120240.014 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [taylor]: Taking taylor expansion of 0 in a
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [taylor]: Taking taylor expansion of 0 in a
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.015 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.015 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1552120240.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120240.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120240.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120240.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120240.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.015 * [taylor]: Taking taylor expansion of 0 in a
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.015 * [taylor]: Taking taylor expansion of 0 in a
1552120240.015 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [taylor]: Taking taylor expansion of 0 in a
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1552120240.016 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.016 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1552120240.016 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120240.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.016 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120240.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.016 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120240.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.016 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120240.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.016 * [taylor]: Taking taylor expansion of 0 in a
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [taylor]: Taking taylor expansion of 0 in a
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.016 * [backup-simplify]: Simplify 0 into 0
1552120240.017 * [taylor]: Taking taylor expansion of 0 in a
1552120240.017 * [backup-simplify]: Simplify 0 into 0
1552120240.017 * [backup-simplify]: Simplify 0 into 0
1552120240.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1552120240.017 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1552120240.017 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120240.017 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1552120240.017 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1552120240.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120240.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.017 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120240.017 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120240.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120240.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.017 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120240.017 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1552120240.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1552120240.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.017 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120240.017 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1552120240.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1552120240.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1552120240.017 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120240.018 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120240.019 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1552120240.019 * [taylor]: Taking taylor expansion of 0 in a
1552120240.019 * [backup-simplify]: Simplify 0 into 0
1552120240.019 * [backup-simplify]: Simplify 0 into 0
1552120240.020 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1552120240.020 * [backup-simplify]: Simplify 0 into 0
1552120240.022 * [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
1552120240.022 * [taylor]: Taking taylor expansion of 0 in a
1552120240.022 * [backup-simplify]: Simplify 0 into 0
1552120240.022 * [backup-simplify]: Simplify 0 into 0
1552120240.022 * [backup-simplify]: Simplify 0 into 0
1552120240.024 * [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
1552120240.024 * [backup-simplify]: Simplify 0 into 0
1552120240.026 * [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
1552120240.026 * [taylor]: Taking taylor expansion of 0 in a
1552120240.027 * [backup-simplify]: Simplify 0 into 0
1552120240.027 * [backup-simplify]: Simplify 0 into 0
1552120240.027 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1552120240.027 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120240.027 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1552120240.027 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1552120240.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120240.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.027 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120240.027 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120240.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120240.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.028 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120240.028 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1552120240.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1552120240.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.028 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120240.028 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1552120240.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1552120240.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1552120240.028 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120240.029 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1552120240.030 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1552120240.030 * [taylor]: Taking taylor expansion of 0 in a
1552120240.030 * [backup-simplify]: Simplify 0 into 0
1552120240.030 * [backup-simplify]: Simplify 0 into 0
1552120240.031 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1552120240.031 * [backup-simplify]: Simplify 0 into 0
1552120240.033 * [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
1552120240.033 * [taylor]: Taking taylor expansion of 0 in a
1552120240.033 * [backup-simplify]: Simplify 0 into 0
1552120240.033 * [backup-simplify]: Simplify 0 into 0
1552120240.033 * [backup-simplify]: Simplify 0 into 0
1552120240.034 * [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
1552120240.034 * [backup-simplify]: Simplify 0 into 0
1552120240.037 * [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
1552120240.037 * [taylor]: Taking taylor expansion of 0 in a
1552120240.037 * [backup-simplify]: Simplify 0 into 0
1552120240.037 * [backup-simplify]: Simplify 0 into 0
1552120240.038 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1552120240.038 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120240.038 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1552120240.038 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1552120240.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120240.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.038 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120240.038 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120240.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120240.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.039 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120240.039 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1552120240.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1552120240.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.039 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120240.039 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1552120240.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1552120240.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1552120240.039 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120240.039 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1552120240.040 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1552120240.040 * [taylor]: Taking taylor expansion of 0 in a
1552120240.040 * [backup-simplify]: Simplify 0 into 0
1552120240.040 * [backup-simplify]: Simplify 0 into 0
1552120240.041 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1552120240.041 * [backup-simplify]: Simplify 0 into 0
1552120240.042 * [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
1552120240.042 * [taylor]: Taking taylor expansion of 0 in a
1552120240.042 * [backup-simplify]: Simplify 0 into 0
1552120240.042 * [backup-simplify]: Simplify 0 into 0
1552120240.042 * [backup-simplify]: Simplify 0 into 0
1552120240.043 * [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
1552120240.043 * [backup-simplify]: Simplify 0 into 0
1552120240.045 * [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
1552120240.045 * [taylor]: Taking taylor expansion of 0 in a
1552120240.045 * [backup-simplify]: Simplify 0 into 0
1552120240.045 * [backup-simplify]: Simplify 0 into 0
1552120240.045 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1552120240.045 * * * [progress]: simplifying candidates
1552120240.045 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1552120240.045 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120240.045 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1552120240.045 * * * * [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)))))))>
1552120240.045 * * * * [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)))))))>
1552120240.045 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1552120240.045 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1552120240.046 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
1552120240.046 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1552120240.046 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1552120240.046 * [simplify]: Simplifying (exp 1)
1552120240.046 * * [simplify]: iters left: 1 (2 enodes)
1552120240.047 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.047 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120240.047 * [simplify]: Simplified to E
1552120240.047 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120240.047 * * * * [progress]: [ 11 / 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))))))>
1552120240.049 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1552120240.049 * * [simplify]: iters left: 6 (9 enodes)
1552120240.051 * * [simplify]: iters left: 5 (35 enodes)
1552120240.056 * * [simplify]: iters left: 4 (50 enodes)
1552120240.063 * * [simplify]: iters left: 3 (54 enodes)
1552120240.070 * * [simplify]: iters left: 2 (56 enodes)
1552120240.086 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.086 * * [simplify]: Extracting #1: cost 5 inf + 0
1552120240.086 * * [simplify]: Extracting #2: cost 9 inf + 0
1552120240.086 * * [simplify]: Extracting #3: cost 11 inf + 0
1552120240.086 * * [simplify]: Extracting #4: cost 14 inf + 0
1552120240.086 * * [simplify]: Extracting #5: cost 20 inf + 0
1552120240.086 * * [simplify]: Extracting #6: cost 19 inf + 94
1552120240.086 * * [simplify]: Extracting #7: cost 20 inf + 312
1552120240.087 * * [simplify]: Extracting #8: cost 11 inf + 1649
1552120240.088 * * [simplify]: Extracting #9: cost 2 inf + 4656
1552120240.089 * * [simplify]: Extracting #10: cost 0 inf + 5570
1552120240.090 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1552120240.090 * [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))))))
1552120240.090 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1552120240.090 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1552120240.090 * * [simplify]: iters left: 5 (8 enodes)
1552120240.093 * * [simplify]: iters left: 4 (30 enodes)
1552120240.102 * * [simplify]: iters left: 3 (43 enodes)
1552120240.112 * * [simplify]: iters left: 2 (47 enodes)
1552120240.118 * * [simplify]: iters left: 1 (49 enodes)
1552120240.125 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.125 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120240.125 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120240.125 * * [simplify]: Extracting #3: cost 7 inf + 0
1552120240.125 * * [simplify]: Extracting #4: cost 10 inf + 0
1552120240.125 * * [simplify]: Extracting #5: cost 16 inf + 0
1552120240.125 * * [simplify]: Extracting #6: cost 15 inf + 94
1552120240.125 * * [simplify]: Extracting #7: cost 16 inf + 312
1552120240.125 * * [simplify]: Extracting #8: cost 9 inf + 1489
1552120240.125 * * [simplify]: Extracting #9: cost 0 inf + 3642
1552120240.126 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1552120240.126 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1552120240.126 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1552120240.126 * [simplify]: Simplifying (exp 1)
1552120240.126 * * [simplify]: iters left: 1 (2 enodes)
1552120240.127 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.127 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120240.127 * [simplify]: Simplified to E
1552120240.127 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1552120240.127 * * * * [progress]: [ 14 / 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)))))))>
1552120240.127 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1552120240.127 * * [simplify]: iters left: 6 (9 enodes)
1552120240.129 * * [simplify]: iters left: 5 (33 enodes)
1552120240.134 * * [simplify]: iters left: 4 (50 enodes)
1552120240.147 * * [simplify]: iters left: 3 (54 enodes)
1552120240.163 * * [simplify]: iters left: 2 (56 enodes)
1552120240.176 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.176 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.176 * * [simplify]: Extracting #2: cost 8 inf + 0
1552120240.176 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120240.177 * * [simplify]: Extracting #4: cost 18 inf + 0
1552120240.177 * * [simplify]: Extracting #5: cost 17 inf + 94
1552120240.177 * * [simplify]: Extracting #6: cost 18 inf + 312
1552120240.177 * * [simplify]: Extracting #7: cost 9 inf + 1659
1552120240.178 * * [simplify]: Extracting #8: cost 3 inf + 3255
1552120240.178 * * [simplify]: Extracting #9: cost 1 inf + 4029
1552120240.179 * * [simplify]: Extracting #10: cost 0 inf + 4436
1552120240.179 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1552120240.179 * [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)))))))
1552120240.179 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1552120240.180 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1552120240.180 * * [simplify]: iters left: 5 (8 enodes)
1552120240.181 * * [simplify]: iters left: 4 (28 enodes)
1552120240.185 * * [simplify]: iters left: 3 (41 enodes)
1552120240.191 * * [simplify]: iters left: 2 (45 enodes)
1552120240.197 * * [simplify]: iters left: 1 (47 enodes)
1552120240.203 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.203 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.203 * * [simplify]: Extracting #2: cost 8 inf + 0
1552120240.203 * * [simplify]: Extracting #3: cost 14 inf + 0
1552120240.203 * * [simplify]: Extracting #4: cost 13 inf + 94
1552120240.203 * * [simplify]: Extracting #5: cost 14 inf + 312
1552120240.204 * * [simplify]: Extracting #6: cost 7 inf + 1429
1552120240.204 * * [simplify]: Extracting #7: cost 1 inf + 2567
1552120240.204 * * [simplify]: Extracting #8: cost 0 inf + 2788
1552120240.204 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a)))
1552120240.204 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1552120240.204 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1552120240.205 * [simplify]: Simplifying (exp (log 1))
1552120240.205 * * [simplify]: iters left: 2 (3 enodes)
1552120240.206 * * [simplify]: iters left: 1 (9 enodes)
1552120240.207 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.207 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120240.207 * [simplify]: Simplified to 1
1552120240.207 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1552120240.207 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120240.208 * [simplify]: Simplifying (cosh c)
1552120240.208 * * [simplify]: iters left: 1 (2 enodes)
1552120240.208 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.208 * * [simplify]: Extracting #1: cost 5 inf + 0
1552120240.208 * * [simplify]: Extracting #2: cost 5 inf + 2
1552120240.208 * * [simplify]: Extracting #3: cost 3 inf + 185
1552120240.208 * * [simplify]: Extracting #4: cost 0 inf + 558
1552120240.208 * [simplify]: Simplified to (cosh c)
1552120240.208 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120240.208 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120240.208 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1552120240.208 * * * * [progress]: [ 20 / 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)))))))>
1552120240.209 * * * * [progress]: [ 21 / 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)))))))>
1552120240.209 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1552120240.209 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1552120240.209 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
1552120240.209 * * * * [progress]: [ 25 / 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)))))))>
1552120240.209 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1552120240.209 * * [simplify]: iters left: 6 (8 enodes)
1552120240.210 * * [simplify]: iters left: 5 (32 enodes)
1552120240.216 * * [simplify]: iters left: 4 (47 enodes)
1552120240.228 * * [simplify]: iters left: 3 (51 enodes)
1552120240.240 * * [simplify]: iters left: 2 (53 enodes)
1552120240.254 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.255 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.255 * * [simplify]: Extracting #2: cost 7 inf + 0
1552120240.255 * * [simplify]: Extracting #3: cost 9 inf + 0
1552120240.255 * * [simplify]: Extracting #4: cost 12 inf + 0
1552120240.255 * * [simplify]: Extracting #5: cost 18 inf + 0
1552120240.255 * * [simplify]: Extracting #6: cost 16 inf + 185
1552120240.255 * * [simplify]: Extracting #7: cost 18 inf + 312
1552120240.255 * * [simplify]: Extracting #8: cost 12 inf + 1292
1552120240.256 * * [simplify]: Extracting #9: cost 1 inf + 4069
1552120240.257 * * [simplify]: Extracting #10: cost 0 inf + 4436
1552120240.258 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1552120240.258 * [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)))))))
1552120240.258 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1552120240.259 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1552120240.259 * * [simplify]: iters left: 4 (7 enodes)
1552120240.262 * * [simplify]: iters left: 3 (27 enodes)
1552120240.270 * * [simplify]: iters left: 2 (40 enodes)
1552120240.283 * * [simplify]: iters left: 1 (44 enodes)
1552120240.289 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.289 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120240.289 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120240.289 * * [simplify]: Extracting #3: cost 8 inf + 0
1552120240.289 * * [simplify]: Extracting #4: cost 14 inf + 0
1552120240.289 * * [simplify]: Extracting #5: cost 13 inf + 94
1552120240.289 * * [simplify]: Extracting #6: cost 13 inf + 368
1552120240.289 * * [simplify]: Extracting #7: cost 7 inf + 1177
1552120240.290 * * [simplify]: Extracting #8: cost 0 inf + 2788
1552120240.290 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1552120240.290 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1552120240.290 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1552120240.290 * [simplify]: Simplifying (log 1)
1552120240.290 * * [simplify]: iters left: 1 (2 enodes)
1552120240.291 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.291 * * [simplify]: Extracting #1: cost 0 inf + 1
1552120240.291 * [simplify]: Simplified to 0
1552120240.291 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1552120240.292 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1552120240.292 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1552120240.292 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.292 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120240.292 * * [simplify]: iters left: 2 (5 enodes)
1552120240.293 * * [simplify]: iters left: 1 (21 enodes)
1552120240.296 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.296 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.296 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120240.296 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120240.296 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120240.296 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120240.296 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120240.297 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120240.297 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120240.297 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1552120240.297 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1552120240.297 * * * * [progress]: [ 33 / 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)))))))>
1552120240.297 * * * * [progress]: [ 34 / 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)))))))>
1552120240.297 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1552120240.297 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1552120240.297 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
1552120240.297 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.297 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120240.297 * * [simplify]: iters left: 2 (5 enodes)
1552120240.298 * * [simplify]: iters left: 1 (21 enodes)
1552120240.301 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.301 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.301 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120240.301 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120240.301 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120240.302 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120240.302 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120240.302 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120240.302 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120240.302 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.302 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120240.302 * * [simplify]: iters left: 2 (5 enodes)
1552120240.303 * * [simplify]: iters left: 1 (21 enodes)
1552120240.307 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.307 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.307 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120240.307 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120240.307 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120240.307 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120240.307 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120240.307 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120240.307 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120240.308 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.308 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120240.308 * * [simplify]: iters left: 2 (5 enodes)
1552120240.309 * * [simplify]: iters left: 1 (21 enodes)
1552120240.315 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.315 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.315 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120240.315 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120240.315 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120240.316 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120240.316 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120240.316 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120240.316 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120240.316 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120240.317 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120240.317 * * [simplify]: iters left: 2 (5 enodes)
1552120240.319 * * [simplify]: iters left: 1 (21 enodes)
1552120240.327 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.327 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.327 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120240.327 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120240.327 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120240.327 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120240.328 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120240.328 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120240.328 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120240.328 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120240.328 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120240.328 * * [simplify]: iters left: 2 (5 enodes)
1552120240.330 * * [simplify]: iters left: 1 (21 enodes)
1552120240.338 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.338 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.339 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120240.339 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120240.339 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120240.339 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120240.339 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120240.340 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120240.340 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120240.340 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1552120240.340 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120240.340 * * [simplify]: iters left: 2 (5 enodes)
1552120240.342 * * [simplify]: iters left: 1 (21 enodes)
1552120240.348 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.348 * * [simplify]: Extracting #1: cost 4 inf + 0
1552120240.349 * * [simplify]: Extracting #2: cost 10 inf + 0
1552120240.349 * * [simplify]: Extracting #3: cost 10 inf + 3
1552120240.349 * * [simplify]: Extracting #4: cost 9 inf + 368
1552120240.349 * * [simplify]: Extracting #5: cost 5 inf + 809
1552120240.349 * * [simplify]: Extracting #6: cost 0 inf + 1620
1552120240.349 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120240.350 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1552120240.350 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.350 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120240.350 * * [simplify]: iters left: 3 (6 enodes)
1552120240.351 * * [simplify]: iters left: 2 (24 enodes)
1552120240.355 * * [simplify]: iters left: 1 (37 enodes)
1552120240.360 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.360 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120240.360 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120240.360 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120240.360 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120240.360 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120240.360 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120240.360 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120240.360 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120240.361 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120240.361 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120240.361 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.361 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120240.361 * * [simplify]: iters left: 3 (6 enodes)
1552120240.362 * * [simplify]: iters left: 2 (24 enodes)
1552120240.366 * * [simplify]: iters left: 1 (37 enodes)
1552120240.371 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.371 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120240.371 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120240.371 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120240.371 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120240.371 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120240.371 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120240.371 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120240.372 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120240.372 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120240.372 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120240.372 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1552120240.372 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a)))
1552120240.372 * * [simplify]: iters left: 3 (6 enodes)
1552120240.373 * * [simplify]: iters left: 2 (24 enodes)
1552120240.379 * * [simplify]: iters left: 1 (37 enodes)
1552120240.390 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120240.390 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120240.390 * * [simplify]: Extracting #2: cost 6 inf + 0
1552120240.391 * * [simplify]: Extracting #3: cost 12 inf + 0
1552120240.391 * * [simplify]: Extracting #4: cost 12 inf + 3
1552120240.391 * * [simplify]: Extracting #5: cost 13 inf + 221
1552120240.391 * * [simplify]: Extracting #6: cost 6 inf + 1202
1552120240.391 * * [simplify]: Extracting #7: cost 1 inf + 1973
1552120240.392 * * [simplify]: Extracting #8: cost 0 inf + 2194
1552120240.392 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a)))
1552120240.393 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1552120240.393 * * * [progress]: adding candidates to table
1552120240.928 * [progress]: [Phase 3 of 3] Extracting.
1552120240.928 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (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)))))))> #<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) (* (* (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) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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 (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1552120240.933 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1552120240.934 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (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)))))))> #<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) (* (* (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) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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 (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1552120241.169 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (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)))))))> #<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) (* (* (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) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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 (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1552120241.374 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (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)))))))> #<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) (* (* (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) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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 (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1552120241.527 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (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)))))))> #<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) (* (* (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) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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 (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1552120241.671 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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 (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (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)))))))> #<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) (* (* (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) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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 (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1552120241.849 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1552120241.850 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
1552120241.850 * * [simplify]: iters left: 2 (5 enodes)
1552120241.850 * * [simplify]: Extracting #0: cost 1 inf + 0
1552120241.850 * * [simplify]: Extracting #1: cost 3 inf + 0
1552120241.850 * * [simplify]: Extracting #2: cost 5 inf + 0
1552120241.851 * * [simplify]: Extracting #3: cost 2 inf + 93
1552120241.851 * * [simplify]: Extracting #4: cost 0 inf + 366
1552120241.851 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
1552120261.936 * [regime-testing]: Baseline error score: 34.089090687601626
1552120261.937 * [regime-testing]: Oracle error score: 33.90868572430184
1552120261.939 * [regime-testing]: End program error score: 34.089090687601626