0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.675 * * * [progress]: [2/2] Setting up program. 0.681 * [progress]: [Phase 2 of 3] Improving. 0.682 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.683 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.685 * * [simplify]: iters left: 2 (5 enodes) 0.734 * * [simplify]: iters left: 1 (21 enodes) 0.742 * * [simplify]: Extracting #0: cost 1 inf + 0 0.742 * * [simplify]: Extracting #1: cost 4 inf + 0 0.742 * * [simplify]: Extracting #2: cost 10 inf + 0 0.743 * * [simplify]: Extracting #3: cost 10 inf + 3 0.743 * * [simplify]: Extracting #4: cost 9 inf + 368 0.743 * * [simplify]: Extracting #5: cost 5 inf + 809 0.743 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.744 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.744 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.749 * * [progress]: iteration 1 / 4 0.749 * * * [progress]: picking best candidate 0.752 * * * * [pick]: Picked # 0.752 * * * [progress]: localizing error 0.765 * * * [progress]: generating rewritten candidates 0.766 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.767 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.774 * * * [progress]: generating series expansions 0.774 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.776 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.776 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.777 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.779 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.779 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.779 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.779 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.779 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.779 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.779 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.779 * [taylor]: Taking taylor expansion of 0 in a 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify 0 into 0 0.780 * [taylor]: Taking taylor expansion of 0 in a 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [taylor]: Taking taylor expansion of 0 in a 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.781 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.782 * [taylor]: Taking taylor expansion of 0 in a 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [taylor]: Taking taylor expansion of 0 in a 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [taylor]: Taking taylor expansion of 0 in a 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.783 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.783 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.783 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.783 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.783 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.783 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.783 * [taylor]: Taking taylor expansion of 0 in a 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [taylor]: Taking taylor expansion of 0 in a 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [taylor]: Taking taylor expansion of 0 in a 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.784 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.784 * [backup-simplify]: Simplify (cosh c) into (cosh c) 0.784 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 0.784 * [taylor]: Taking taylor expansion of (cosh c) in c 0.784 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 0.784 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 0.784 * [taylor]: Taking taylor expansion of (exp c) in c 0.784 * [taylor]: Taking taylor expansion of c in c 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify 1 into 1 0.784 * [backup-simplify]: Simplify (exp 0) into 1 0.784 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.784 * [taylor]: Taking taylor expansion of (- c) in c 0.784 * [taylor]: Taking taylor expansion of c in c 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (- 0) into 0 0.785 * [backup-simplify]: Simplify (- 1) into -1 0.785 * [backup-simplify]: Simplify (exp 0) into 1 0.785 * [taylor]: Taking taylor expansion of 2 in c 0.785 * [backup-simplify]: Simplify 2 into 2 0.786 * [backup-simplify]: Simplify (+ 1 1) into 2 0.786 * [backup-simplify]: Simplify (/ 2 2) into 1 0.786 * [taylor]: Taking taylor expansion of (cosh c) in c 0.786 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 0.786 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 0.786 * [taylor]: Taking taylor expansion of (exp c) in c 0.786 * [taylor]: Taking taylor expansion of c in c 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 1 into 1 0.786 * [backup-simplify]: Simplify (exp 0) into 1 0.786 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.786 * [taylor]: Taking taylor expansion of (- c) in c 0.786 * [taylor]: Taking taylor expansion of c in c 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 1 into 1 0.787 * [backup-simplify]: Simplify (- 0) into 0 0.787 * [backup-simplify]: Simplify (- 1) into -1 0.787 * [backup-simplify]: Simplify (exp 0) into 1 0.787 * [taylor]: Taking taylor expansion of 2 in c 0.787 * [backup-simplify]: Simplify 2 into 2 0.787 * [backup-simplify]: Simplify (+ 1 1) into 2 0.787 * [backup-simplify]: Simplify (/ 2 2) into 1 0.788 * [backup-simplify]: Simplify 1 into 1 0.789 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.789 * [backup-simplify]: Simplify (- 1) into -1 0.789 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.790 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.790 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.791 * [backup-simplify]: Simplify (- 1) into -1 0.792 * [backup-simplify]: Simplify (- 0) into 0 0.792 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.793 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 0.793 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 0.793 * [backup-simplify]: Simplify 1/2 into 1/2 0.795 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.795 * [backup-simplify]: Simplify (- 1) into -1 0.795 * [backup-simplify]: Simplify (- 1) into -1 0.796 * [backup-simplify]: Simplify (- 0) into 0 0.796 * [backup-simplify]: Simplify (- 0) into 0 0.797 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 0.797 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 0.798 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 0.798 * [backup-simplify]: Simplify 0 into 0 0.800 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.801 * [backup-simplify]: Simplify (- 1) into -1 0.801 * [backup-simplify]: Simplify (- 1) into -1 0.801 * [backup-simplify]: Simplify (- 0) into 0 0.801 * [backup-simplify]: Simplify (- 1) into -1 0.802 * [backup-simplify]: Simplify (- 0) into 0 0.802 * [backup-simplify]: Simplify (- 0) into 0 0.802 * [backup-simplify]: Simplify (- 0) into 0 0.804 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.805 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 0.805 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 0.805 * [backup-simplify]: Simplify 1/24 into 1/24 0.807 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 0.807 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 0.807 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 0.807 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 0.807 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.807 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.807 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.807 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.807 * [taylor]: Taking taylor expansion of c in c 0.807 * [backup-simplify]: Simplify 0 into 0 0.807 * [backup-simplify]: Simplify 1 into 1 0.807 * [backup-simplify]: Simplify (/ 1 1) into 1 0.807 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.807 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.807 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.807 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.807 * [taylor]: Taking taylor expansion of c in c 0.807 * [backup-simplify]: Simplify 0 into 0 0.807 * [backup-simplify]: Simplify 1 into 1 0.808 * [backup-simplify]: Simplify (/ 1 1) into 1 0.808 * [backup-simplify]: Simplify (- 1) into -1 0.808 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.808 * [taylor]: Taking taylor expansion of 2 in c 0.808 * [backup-simplify]: Simplify 2 into 2 0.808 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 0.808 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 0.808 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 0.808 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.808 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.808 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.808 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.808 * [taylor]: Taking taylor expansion of c in c 0.808 * [backup-simplify]: Simplify 0 into 0 0.808 * [backup-simplify]: Simplify 1 into 1 0.809 * [backup-simplify]: Simplify (/ 1 1) into 1 0.809 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.809 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.809 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.809 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.809 * [taylor]: Taking taylor expansion of c in c 0.809 * [backup-simplify]: Simplify 0 into 0 0.809 * [backup-simplify]: Simplify 1 into 1 0.809 * [backup-simplify]: Simplify (/ 1 1) into 1 0.809 * [backup-simplify]: Simplify (- 1) into -1 0.809 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.809 * [taylor]: Taking taylor expansion of 2 in c 0.809 * [backup-simplify]: Simplify 2 into 2 0.809 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 0.810 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 0.810 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 0.810 * [backup-simplify]: Simplify (+ 0 0) into 0 0.811 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.811 * [backup-simplify]: Simplify 0 into 0 0.811 * [backup-simplify]: Simplify (+ 0 0) into 0 0.812 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.812 * [backup-simplify]: Simplify 0 into 0 0.812 * [backup-simplify]: Simplify (+ 0 0) into 0 0.813 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.813 * [backup-simplify]: Simplify 0 into 0 0.814 * [backup-simplify]: Simplify (+ 0 0) into 0 0.815 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.815 * [backup-simplify]: Simplify 0 into 0 0.816 * [backup-simplify]: Simplify (+ 0 0) into 0 0.817 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.817 * [backup-simplify]: Simplify 0 into 0 0.818 * [backup-simplify]: Simplify (+ 0 0) into 0 0.830 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.830 * [backup-simplify]: Simplify 0 into 0 0.831 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c)))) 0.831 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 0.831 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 0.831 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 0.831 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.831 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.831 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.831 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.831 * [taylor]: Taking taylor expansion of -1 in c 0.831 * [backup-simplify]: Simplify -1 into -1 0.831 * [taylor]: Taking taylor expansion of c in c 0.831 * [backup-simplify]: Simplify 0 into 0 0.831 * [backup-simplify]: Simplify 1 into 1 0.831 * [backup-simplify]: Simplify (/ -1 1) into -1 0.831 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.831 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.831 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.831 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.831 * [taylor]: Taking taylor expansion of -1 in c 0.831 * [backup-simplify]: Simplify -1 into -1 0.831 * [taylor]: Taking taylor expansion of c in c 0.831 * [backup-simplify]: Simplify 0 into 0 0.831 * [backup-simplify]: Simplify 1 into 1 0.832 * [backup-simplify]: Simplify (/ -1 1) into -1 0.832 * [backup-simplify]: Simplify (- -1) into 1 0.832 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.832 * [taylor]: Taking taylor expansion of 2 in c 0.832 * [backup-simplify]: Simplify 2 into 2 0.832 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 0.832 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 0.832 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 0.832 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.832 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.832 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.832 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.832 * [taylor]: Taking taylor expansion of -1 in c 0.832 * [backup-simplify]: Simplify -1 into -1 0.832 * [taylor]: Taking taylor expansion of c in c 0.832 * [backup-simplify]: Simplify 0 into 0 0.832 * [backup-simplify]: Simplify 1 into 1 0.833 * [backup-simplify]: Simplify (/ -1 1) into -1 0.833 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.833 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.833 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.833 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.833 * [taylor]: Taking taylor expansion of -1 in c 0.833 * [backup-simplify]: Simplify -1 into -1 0.833 * [taylor]: Taking taylor expansion of c in c 0.833 * [backup-simplify]: Simplify 0 into 0 0.833 * [backup-simplify]: Simplify 1 into 1 0.833 * [backup-simplify]: Simplify (/ -1 1) into -1 0.833 * [backup-simplify]: Simplify (- -1) into 1 0.833 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.833 * [taylor]: Taking taylor expansion of 2 in c 0.833 * [backup-simplify]: Simplify 2 into 2 0.834 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 0.834 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 0.834 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 0.834 * [backup-simplify]: Simplify (+ 0 0) into 0 0.835 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.835 * [backup-simplify]: Simplify 0 into 0 0.835 * [backup-simplify]: Simplify (+ 0 0) into 0 0.836 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.836 * [backup-simplify]: Simplify 0 into 0 0.836 * [backup-simplify]: Simplify (+ 0 0) into 0 0.837 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.837 * [backup-simplify]: Simplify 0 into 0 0.837 * [backup-simplify]: Simplify (+ 0 0) into 0 0.839 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.839 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify (+ 0 0) into 0 0.841 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.841 * [backup-simplify]: Simplify 0 into 0 0.841 * [backup-simplify]: Simplify (+ 0 0) into 0 0.843 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.843 * [backup-simplify]: Simplify 0 into 0 0.843 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 0.844 * * * [progress]: simplifying candidates 0.844 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 0.844 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 0.844 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #real (real->posit16 (cosh c))) (log1p a)))> 0.845 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 0.845 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.845 * * [simplify]: iters left: 2 (5 enodes) 0.846 * * [simplify]: iters left: 1 (21 enodes) 0.850 * * [simplify]: Extracting #0: cost 1 inf + 0 0.850 * * [simplify]: Extracting #1: cost 4 inf + 0 0.850 * * [simplify]: Extracting #2: cost 10 inf + 0 0.850 * * [simplify]: Extracting #3: cost 10 inf + 3 0.850 * * [simplify]: Extracting #4: cost 9 inf + 368 0.850 * * [simplify]: Extracting #5: cost 5 inf + 809 0.850 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.850 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.851 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.851 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 0.851 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.851 * * [simplify]: iters left: 2 (5 enodes) 0.852 * * [simplify]: iters left: 1 (21 enodes) 0.856 * * [simplify]: Extracting #0: cost 1 inf + 0 0.856 * * [simplify]: Extracting #1: cost 4 inf + 0 0.856 * * [simplify]: Extracting #2: cost 10 inf + 0 0.856 * * [simplify]: Extracting #3: cost 10 inf + 3 0.856 * * [simplify]: Extracting #4: cost 9 inf + 368 0.856 * * [simplify]: Extracting #5: cost 5 inf + 809 0.856 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.857 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.857 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.857 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 0.857 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.857 * * [simplify]: iters left: 2 (5 enodes) 0.858 * * [simplify]: iters left: 1 (21 enodes) 0.861 * * [simplify]: Extracting #0: cost 1 inf + 0 0.861 * * [simplify]: Extracting #1: cost 4 inf + 0 0.862 * * [simplify]: Extracting #2: cost 10 inf + 0 0.862 * * [simplify]: Extracting #3: cost 10 inf + 3 0.862 * * [simplify]: Extracting #4: cost 9 inf + 368 0.862 * * [simplify]: Extracting #5: cost 5 inf + 809 0.862 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.862 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.862 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.862 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 0.862 * [simplify]: Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 0.863 * * [simplify]: iters left: 6 (12 enodes) 0.870 * * [simplify]: iters left: 5 (53 enodes) 0.879 * * [simplify]: iters left: 4 (73 enodes) 0.891 * * [simplify]: iters left: 3 (97 enodes) 0.903 * * [simplify]: Extracting #0: cost 1 inf + 0 0.903 * * [simplify]: Extracting #1: cost 14 inf + 0 0.903 * * [simplify]: Extracting #2: cost 18 inf + 126 0.903 * * [simplify]: Extracting #3: cost 4 inf + 1478 0.904 * * [simplify]: Extracting #4: cost 0 inf + 1958 0.904 * [simplify]: Simplified to (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) 0.904 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) (log1p a))) 0.905 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 0.905 * [simplify]: Simplifying (* 1/2 (+ (exp c) (exp (- c)))) 0.905 * * [simplify]: iters left: 6 (7 enodes) 0.907 * * [simplify]: iters left: 5 (31 enodes) 0.916 * * [simplify]: iters left: 4 (51 enodes) 0.922 * * [simplify]: iters left: 3 (55 enodes) 0.929 * * [simplify]: Extracting #0: cost 1 inf + 0 0.929 * * [simplify]: Extracting #1: cost 8 inf + 0 0.929 * * [simplify]: Extracting #2: cost 15 inf + 1 0.929 * * [simplify]: Extracting #3: cost 13 inf + 44 0.929 * * [simplify]: Extracting #4: cost 4 inf + 1047 0.929 * * [simplify]: Extracting #5: cost 0 inf + 1673 0.930 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 0.930 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))) 0.930 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 0.930 * [simplify]: Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c))) 0.930 * * [simplify]: iters left: 6 (8 enodes) 0.933 * * [simplify]: iters left: 5 (36 enodes) 0.942 * * [simplify]: iters left: 4 (57 enodes) 0.959 * * [simplify]: iters left: 3 (83 enodes) 0.982 * * [simplify]: iters left: 2 (127 enodes) 1.024 * * [simplify]: iters left: 1 (241 enodes) 1.111 * * [simplify]: Extracting #0: cost 1 inf + 0 1.111 * * [simplify]: Extracting #1: cost 8 inf + 0 1.111 * * [simplify]: Extracting #2: cost 55 inf + 1 1.112 * * [simplify]: Extracting #3: cost 128 inf + 1134 1.113 * * [simplify]: Extracting #4: cost 124 inf + 3616 1.114 * * [simplify]: Extracting #5: cost 92 inf + 9710 1.119 * * [simplify]: Extracting #6: cost 16 inf + 55085 1.127 * * [simplify]: Extracting #7: cost 0 inf + 63912 1.143 * * [simplify]: Extracting #8: cost 0 inf + 63709 1.157 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 1.157 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))) 1.157 * * * [progress]: adding candidates to table 1.374 * * [progress]: iteration 2 / 4 1.374 * * * [progress]: picking best candidate 1.396 * * * * [pick]: Picked # 1.396 * * * [progress]: localizing error 1.418 * * * [progress]: generating rewritten candidates 1.418 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.419 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.421 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.426 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.430 * * * [progress]: generating series expansions 1.430 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.430 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.430 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.430 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.430 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.430 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.431 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.431 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.431 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.431 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.431 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.431 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.431 * [taylor]: Taking taylor expansion of 0 in a 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [taylor]: Taking taylor expansion of 0 in a 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [taylor]: Taking taylor expansion of 0 in a 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.432 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.432 * [taylor]: Taking taylor expansion of 0 in a 1.432 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [taylor]: Taking taylor expansion of 0 in a 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [taylor]: Taking taylor expansion of 0 in a 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.433 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.433 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.433 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.433 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.433 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.433 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.433 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.434 * [taylor]: Taking taylor expansion of 0 in a 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [taylor]: Taking taylor expansion of 0 in a 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [taylor]: Taking taylor expansion of 0 in a 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.434 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.434 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.434 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.434 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.435 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.435 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.435 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.435 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.435 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.435 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.435 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.436 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.437 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.437 * [taylor]: Taking taylor expansion of 0 in a 1.437 * [backup-simplify]: Simplify 0 into 0 1.437 * [backup-simplify]: Simplify 0 into 0 1.438 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.438 * [backup-simplify]: Simplify 0 into 0 1.440 * [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 1.440 * [taylor]: Taking taylor expansion of 0 in a 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.442 * [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 1.442 * [backup-simplify]: Simplify 0 into 0 1.445 * [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 1.445 * [taylor]: Taking taylor expansion of 0 in a 1.445 * [backup-simplify]: Simplify 0 into 0 1.445 * [backup-simplify]: Simplify 0 into 0 1.445 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.446 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.446 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.446 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.446 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.446 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.446 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.446 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.447 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.447 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.447 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.447 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.447 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.447 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.447 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.448 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.448 * [taylor]: Taking taylor expansion of 0 in a 1.448 * [backup-simplify]: Simplify 0 into 0 1.448 * [backup-simplify]: Simplify 0 into 0 1.449 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.449 * [backup-simplify]: Simplify 0 into 0 1.451 * [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 1.451 * [taylor]: Taking taylor expansion of 0 in a 1.451 * [backup-simplify]: Simplify 0 into 0 1.451 * [backup-simplify]: Simplify 0 into 0 1.451 * [backup-simplify]: Simplify 0 into 0 1.453 * [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 1.453 * [backup-simplify]: Simplify 0 into 0 1.456 * [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 1.456 * [taylor]: Taking taylor expansion of 0 in a 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.457 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.457 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.457 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.458 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.458 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.458 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.458 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.458 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.458 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.459 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.459 * [taylor]: Taking taylor expansion of 0 in a 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.461 * [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 1.461 * [taylor]: Taking taylor expansion of 0 in a 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.462 * [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 1.462 * [backup-simplify]: Simplify 0 into 0 1.464 * [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 1.464 * [taylor]: Taking taylor expansion of 0 in a 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.464 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.464 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.464 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.464 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.464 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.464 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.464 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.464 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.465 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.465 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.466 * [taylor]: Taking taylor expansion of 0 in a 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [taylor]: Taking taylor expansion of 0 in a 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [taylor]: Taking taylor expansion of 0 in a 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.466 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.466 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.466 * [taylor]: Taking taylor expansion of 0 in a 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [taylor]: Taking taylor expansion of 0 in a 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [taylor]: Taking taylor expansion of 0 in a 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.467 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.467 * [backup-simplify]: Simplify (cosh c) into (cosh c) 1.467 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 1.467 * [taylor]: Taking taylor expansion of (cosh c) in c 1.467 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 1.467 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 1.467 * [taylor]: Taking taylor expansion of (exp c) in c 1.467 * [taylor]: Taking taylor expansion of c in c 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [backup-simplify]: Simplify (exp 0) into 1 1.467 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.467 * [taylor]: Taking taylor expansion of (- c) in c 1.467 * [taylor]: Taking taylor expansion of c in c 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [backup-simplify]: Simplify (- 0) into 0 1.468 * [backup-simplify]: Simplify (- 1) into -1 1.468 * [backup-simplify]: Simplify (exp 0) into 1 1.468 * [taylor]: Taking taylor expansion of 2 in c 1.468 * [backup-simplify]: Simplify 2 into 2 1.468 * [backup-simplify]: Simplify (+ 1 1) into 2 1.468 * [backup-simplify]: Simplify (/ 2 2) into 1 1.468 * [taylor]: Taking taylor expansion of (cosh c) in c 1.468 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 1.468 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 1.468 * [taylor]: Taking taylor expansion of (exp c) in c 1.468 * [taylor]: Taking taylor expansion of c in c 1.468 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify 1 into 1 1.468 * [backup-simplify]: Simplify (exp 0) into 1 1.468 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.468 * [taylor]: Taking taylor expansion of (- c) in c 1.468 * [taylor]: Taking taylor expansion of c in c 1.468 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify 1 into 1 1.468 * [backup-simplify]: Simplify (- 0) into 0 1.469 * [backup-simplify]: Simplify (- 1) into -1 1.469 * [backup-simplify]: Simplify (exp 0) into 1 1.469 * [taylor]: Taking taylor expansion of 2 in c 1.469 * [backup-simplify]: Simplify 2 into 2 1.473 * [backup-simplify]: Simplify (+ 1 1) into 2 1.473 * [backup-simplify]: Simplify (/ 2 2) into 1 1.474 * [backup-simplify]: Simplify 1 into 1 1.474 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.474 * [backup-simplify]: Simplify (- 1) into -1 1.475 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.475 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.476 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.476 * [backup-simplify]: Simplify 0 into 0 1.477 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.477 * [backup-simplify]: Simplify (- 1) into -1 1.477 * [backup-simplify]: Simplify (- 0) into 0 1.478 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.478 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 1.479 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 1.479 * [backup-simplify]: Simplify 1/2 into 1/2 1.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.480 * [backup-simplify]: Simplify (- 1) into -1 1.481 * [backup-simplify]: Simplify (- 1) into -1 1.481 * [backup-simplify]: Simplify (- 0) into 0 1.481 * [backup-simplify]: Simplify (- 0) into 0 1.483 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.483 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 1.484 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 1.484 * [backup-simplify]: Simplify 0 into 0 1.486 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.486 * [backup-simplify]: Simplify (- 1) into -1 1.486 * [backup-simplify]: Simplify (- 1) into -1 1.487 * [backup-simplify]: Simplify (- 0) into 0 1.487 * [backup-simplify]: Simplify (- 1) into -1 1.487 * [backup-simplify]: Simplify (- 0) into 0 1.487 * [backup-simplify]: Simplify (- 0) into 0 1.487 * [backup-simplify]: Simplify (- 0) into 0 1.490 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.490 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 1.491 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 1.491 * [backup-simplify]: Simplify 1/24 into 1/24 1.491 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 1.491 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 1.491 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 1.491 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 1.491 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.491 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.491 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.491 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.491 * [taylor]: Taking taylor expansion of c in c 1.491 * [backup-simplify]: Simplify 0 into 0 1.491 * [backup-simplify]: Simplify 1 into 1 1.491 * [backup-simplify]: Simplify (/ 1 1) into 1 1.491 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.491 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.491 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.491 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.492 * [taylor]: Taking taylor expansion of c in c 1.492 * [backup-simplify]: Simplify 0 into 0 1.492 * [backup-simplify]: Simplify 1 into 1 1.492 * [backup-simplify]: Simplify (/ 1 1) into 1 1.492 * [backup-simplify]: Simplify (- 1) into -1 1.492 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.492 * [taylor]: Taking taylor expansion of 2 in c 1.492 * [backup-simplify]: Simplify 2 into 2 1.492 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 1.492 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.492 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 1.493 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.493 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.493 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.493 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.493 * [taylor]: Taking taylor expansion of c in c 1.493 * [backup-simplify]: Simplify 0 into 0 1.493 * [backup-simplify]: Simplify 1 into 1 1.493 * [backup-simplify]: Simplify (/ 1 1) into 1 1.493 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.493 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.493 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.493 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.493 * [taylor]: Taking taylor expansion of c in c 1.493 * [backup-simplify]: Simplify 0 into 0 1.493 * [backup-simplify]: Simplify 1 into 1 1.494 * [backup-simplify]: Simplify (/ 1 1) into 1 1.494 * [backup-simplify]: Simplify (- 1) into -1 1.494 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.494 * [taylor]: Taking taylor expansion of 2 in c 1.494 * [backup-simplify]: Simplify 2 into 2 1.494 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 1.495 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.495 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.495 * [backup-simplify]: Simplify (+ 0 0) into 0 1.496 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.496 * [backup-simplify]: Simplify 0 into 0 1.497 * [backup-simplify]: Simplify (+ 0 0) into 0 1.498 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.498 * [backup-simplify]: Simplify 0 into 0 1.498 * [backup-simplify]: Simplify (+ 0 0) into 0 1.500 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.500 * [backup-simplify]: Simplify 0 into 0 1.501 * [backup-simplify]: Simplify (+ 0 0) into 0 1.503 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.503 * [backup-simplify]: Simplify 0 into 0 1.503 * [backup-simplify]: Simplify (+ 0 0) into 0 1.506 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.507 * [backup-simplify]: Simplify 0 into 0 1.507 * [backup-simplify]: Simplify (+ 0 0) into 0 1.510 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c)))) 1.511 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 1.511 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 1.511 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 1.511 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.511 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.511 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.511 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.511 * [taylor]: Taking taylor expansion of -1 in c 1.511 * [backup-simplify]: Simplify -1 into -1 1.511 * [taylor]: Taking taylor expansion of c in c 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 1 into 1 1.512 * [backup-simplify]: Simplify (/ -1 1) into -1 1.512 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.512 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.512 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.512 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.512 * [taylor]: Taking taylor expansion of -1 in c 1.512 * [backup-simplify]: Simplify -1 into -1 1.512 * [taylor]: Taking taylor expansion of c in c 1.512 * [backup-simplify]: Simplify 0 into 0 1.512 * [backup-simplify]: Simplify 1 into 1 1.512 * [backup-simplify]: Simplify (/ -1 1) into -1 1.513 * [backup-simplify]: Simplify (- -1) into 1 1.513 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.513 * [taylor]: Taking taylor expansion of 2 in c 1.513 * [backup-simplify]: Simplify 2 into 2 1.513 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 1.513 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.513 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 1.513 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.513 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.513 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.513 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.513 * [taylor]: Taking taylor expansion of -1 in c 1.513 * [backup-simplify]: Simplify -1 into -1 1.513 * [taylor]: Taking taylor expansion of c in c 1.513 * [backup-simplify]: Simplify 0 into 0 1.513 * [backup-simplify]: Simplify 1 into 1 1.514 * [backup-simplify]: Simplify (/ -1 1) into -1 1.514 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.514 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.514 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.514 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.514 * [taylor]: Taking taylor expansion of -1 in c 1.514 * [backup-simplify]: Simplify -1 into -1 1.514 * [taylor]: Taking taylor expansion of c in c 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 1 into 1 1.515 * [backup-simplify]: Simplify (/ -1 1) into -1 1.515 * [backup-simplify]: Simplify (- -1) into 1 1.516 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.516 * [taylor]: Taking taylor expansion of 2 in c 1.516 * [backup-simplify]: Simplify 2 into 2 1.516 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 1.516 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.516 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.516 * [backup-simplify]: Simplify (+ 0 0) into 0 1.517 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.517 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify (+ 0 0) into 0 1.519 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.519 * [backup-simplify]: Simplify 0 into 0 1.520 * [backup-simplify]: Simplify (+ 0 0) into 0 1.522 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.522 * [backup-simplify]: Simplify 0 into 0 1.522 * [backup-simplify]: Simplify (+ 0 0) into 0 1.525 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (+ 0 0) into 0 1.528 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.528 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify (+ 0 0) into 0 1.532 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.532 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 1.532 * * * [progress]: simplifying candidates 1.532 * * * * [progress]: [ 1 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 2 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 3 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 4 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 5 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 6 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 7 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 8 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 9 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 10 / 66 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 1.533 * * * * [progress]: [ 11 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 12 / 66 ] simplifiying candidate # 1.533 * * * * [progress]: [ 13 / 66 ] simplifiying candidate # 1.533 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1.534 * * [simplify]: iters left: 6 (8 enodes) 1.537 * * [simplify]: iters left: 5 (32 enodes) 1.547 * * [simplify]: iters left: 4 (47 enodes) 1.561 * * [simplify]: iters left: 3 (51 enodes) 1.575 * * [simplify]: iters left: 2 (53 enodes) 1.585 * * [simplify]: Extracting #0: cost 1 inf + 0 1.585 * * [simplify]: Extracting #1: cost 4 inf + 0 1.585 * * [simplify]: Extracting #2: cost 7 inf + 0 1.585 * * [simplify]: Extracting #3: cost 9 inf + 0 1.585 * * [simplify]: Extracting #4: cost 12 inf + 0 1.585 * * [simplify]: Extracting #5: cost 18 inf + 0 1.586 * * [simplify]: Extracting #6: cost 16 inf + 185 1.586 * * [simplify]: Extracting #7: cost 18 inf + 312 1.586 * * [simplify]: Extracting #8: cost 12 inf + 1292 1.586 * * [simplify]: Extracting #9: cost 1 inf + 4069 1.586 * * [simplify]: Extracting #10: cost 0 inf + 4436 1.587 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 1.587 * [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))))))) 1.587 * * * * [progress]: [ 14 / 66 ] simplifiying candidate # 1.587 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 1.587 * * [simplify]: iters left: 4 (7 enodes) 1.589 * * [simplify]: iters left: 3 (27 enodes) 1.593 * * [simplify]: iters left: 2 (40 enodes) 1.601 * * [simplify]: iters left: 1 (44 enodes) 1.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1.609 * * [simplify]: Extracting #1: cost 3 inf + 0 1.609 * * [simplify]: Extracting #2: cost 5 inf + 0 1.609 * * [simplify]: Extracting #3: cost 8 inf + 0 1.609 * * [simplify]: Extracting #4: cost 14 inf + 0 1.609 * * [simplify]: Extracting #5: cost 13 inf + 94 1.609 * * [simplify]: Extracting #6: cost 13 inf + 368 1.610 * * [simplify]: Extracting #7: cost 7 inf + 1177 1.610 * * [simplify]: Extracting #8: cost 0 inf + 2788 1.611 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 1.611 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 1.611 * * * * [progress]: [ 15 / 66 ] simplifiying candidate # 1.611 * [simplify]: Simplifying (log 1) 1.611 * * [simplify]: iters left: 1 (2 enodes) 1.614 * * [simplify]: Extracting #0: cost 1 inf + 0 1.614 * * [simplify]: Extracting #1: cost 0 inf + 1 1.614 * [simplify]: Simplified to 0 1.614 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a)))))) 1.614 * * * * [progress]: [ 16 / 66 ] simplifiying candidate # 1.614 * * * * [progress]: [ 17 / 66 ] simplifiying candidate # 1.614 * * * * [progress]: [ 18 / 66 ] simplifiying candidate # 1.614 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.614 * * [simplify]: iters left: 2 (5 enodes) 1.616 * * [simplify]: iters left: 1 (21 enodes) 1.623 * * [simplify]: Extracting #0: cost 1 inf + 0 1.623 * * [simplify]: Extracting #1: cost 4 inf + 0 1.623 * * [simplify]: Extracting #2: cost 10 inf + 0 1.623 * * [simplify]: Extracting #3: cost 10 inf + 3 1.623 * * [simplify]: Extracting #4: cost 9 inf + 368 1.624 * * [simplify]: Extracting #5: cost 5 inf + 809 1.624 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.624 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.624 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.624 * * * * [progress]: [ 19 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 20 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 21 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 22 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 23 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 24 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 25 / 66 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> 1.625 * * * * [progress]: [ 26 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 27 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 28 / 66 ] simplifiying candidate # 1.625 * * * * [progress]: [ 29 / 66 ] simplifiying candidate # 1.625 * [simplify]: Simplifying (exp 1) 1.625 * * [simplify]: iters left: 1 (2 enodes) 1.627 * * [simplify]: Extracting #0: cost 1 inf + 0 1.627 * * [simplify]: Extracting #1: cost 0 inf + 1 1.627 * [simplify]: Simplified to E 1.627 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 1.627 * * * * [progress]: [ 30 / 66 ] simplifiying candidate # 1.627 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.627 * * [simplify]: iters left: 6 (9 enodes) 1.631 * * [simplify]: iters left: 5 (35 enodes) 1.642 * * [simplify]: iters left: 4 (53 enodes) 1.659 * * [simplify]: iters left: 3 (66 enodes) 1.679 * * [simplify]: iters left: 2 (92 enodes) 1.709 * * [simplify]: iters left: 1 (144 enodes) 1.742 * * [simplify]: Extracting #0: cost 1 inf + 0 1.742 * * [simplify]: Extracting #1: cost 15 inf + 0 1.742 * * [simplify]: Extracting #2: cost 53 inf + 1 1.743 * * [simplify]: Extracting #3: cost 71 inf + 4 1.743 * * [simplify]: Extracting #4: cost 75 inf + 5 1.743 * * [simplify]: Extracting #5: cost 80 inf + 5 1.744 * * [simplify]: Extracting #6: cost 78 inf + 245 1.744 * * [simplify]: Extracting #7: cost 69 inf + 4045 1.746 * * [simplify]: Extracting #8: cost 35 inf + 19243 1.753 * * [simplify]: Extracting #9: cost 4 inf + 43907 1.763 * * [simplify]: Extracting #10: cost 0 inf + 46719 1.773 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.773 * [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)))))) 1.773 * * * * [progress]: [ 31 / 66 ] simplifiying candidate # 1.773 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a))))) 1.774 * * [simplify]: iters left: 5 (8 enodes) 1.777 * * [simplify]: iters left: 4 (30 enodes) 1.783 * * [simplify]: iters left: 3 (43 enodes) 1.790 * * [simplify]: iters left: 2 (47 enodes) 1.796 * * [simplify]: iters left: 1 (49 enodes) 1.803 * * [simplify]: Extracting #0: cost 1 inf + 0 1.803 * * [simplify]: Extracting #1: cost 3 inf + 0 1.803 * * [simplify]: Extracting #2: cost 5 inf + 0 1.803 * * [simplify]: Extracting #3: cost 7 inf + 0 1.803 * * [simplify]: Extracting #4: cost 10 inf + 0 1.803 * * [simplify]: Extracting #5: cost 16 inf + 0 1.803 * * [simplify]: Extracting #6: cost 15 inf + 94 1.803 * * [simplify]: Extracting #7: cost 16 inf + 312 1.804 * * [simplify]: Extracting #8: cost 9 inf + 1489 1.804 * * [simplify]: Extracting #9: cost 0 inf + 3642 1.804 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a))))) 1.804 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a)))))) 1.804 * * * * [progress]: [ 32 / 66 ] simplifiying candidate # 1.805 * [simplify]: Simplifying (exp 1) 1.805 * * [simplify]: iters left: 1 (2 enodes) 1.806 * * [simplify]: Extracting #0: cost 1 inf + 0 1.806 * * [simplify]: Extracting #1: cost 0 inf + 1 1.806 * [simplify]: Simplified to E 1.806 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 1.806 * * * * [progress]: [ 33 / 66 ] simplifiying candidate # 1.806 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 1.806 * * [simplify]: iters left: 6 (9 enodes) 1.808 * * [simplify]: iters left: 5 (33 enodes) 1.813 * * [simplify]: iters left: 4 (50 enodes) 1.820 * * [simplify]: iters left: 3 (54 enodes) 1.829 * * [simplify]: iters left: 2 (56 enodes) 1.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1.837 * * [simplify]: Extracting #1: cost 4 inf + 0 1.837 * * [simplify]: Extracting #2: cost 8 inf + 0 1.838 * * [simplify]: Extracting #3: cost 12 inf + 0 1.838 * * [simplify]: Extracting #4: cost 18 inf + 0 1.838 * * [simplify]: Extracting #5: cost 17 inf + 94 1.838 * * [simplify]: Extracting #6: cost 18 inf + 312 1.838 * * [simplify]: Extracting #7: cost 9 inf + 1659 1.838 * * [simplify]: Extracting #8: cost 3 inf + 3255 1.839 * * [simplify]: Extracting #9: cost 1 inf + 4029 1.839 * * [simplify]: Extracting #10: cost 0 inf + 4436 1.839 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 1.839 * [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))))))) 1.840 * * * * [progress]: [ 34 / 66 ] simplifiying candidate # 1.840 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a))))) 1.840 * * [simplify]: iters left: 5 (8 enodes) 1.841 * * [simplify]: iters left: 4 (28 enodes) 1.846 * * [simplify]: iters left: 3 (41 enodes) 1.852 * * [simplify]: iters left: 2 (45 enodes) 1.860 * * [simplify]: iters left: 1 (47 enodes) 1.866 * * [simplify]: Extracting #0: cost 1 inf + 0 1.866 * * [simplify]: Extracting #1: cost 4 inf + 0 1.867 * * [simplify]: Extracting #2: cost 8 inf + 0 1.867 * * [simplify]: Extracting #3: cost 14 inf + 0 1.867 * * [simplify]: Extracting #4: cost 13 inf + 94 1.867 * * [simplify]: Extracting #5: cost 14 inf + 312 1.867 * * [simplify]: Extracting #6: cost 7 inf + 1429 1.867 * * [simplify]: Extracting #7: cost 1 inf + 2567 1.867 * * [simplify]: Extracting #8: cost 0 inf + 2788 1.868 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1.868 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a))))))) 1.868 * * * * [progress]: [ 35 / 66 ] simplifiying candidate # 1.868 * [simplify]: Simplifying (exp (log 1)) 1.868 * * [simplify]: iters left: 2 (3 enodes) 1.870 * * [simplify]: iters left: 1 (9 enodes) 1.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1.871 * * [simplify]: Extracting #1: cost 0 inf + 1 1.871 * [simplify]: Simplified to 1 1.871 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a)))))) 1.871 * * * * [progress]: [ 36 / 66 ] simplifiying candidate # 1.872 * [simplify]: Simplifying (cosh c) 1.872 * * [simplify]: iters left: 1 (2 enodes) 1.872 * * [simplify]: Extracting #0: cost 1 inf + 0 1.872 * * [simplify]: Extracting #1: cost 5 inf + 0 1.872 * * [simplify]: Extracting #2: cost 5 inf + 2 1.872 * * [simplify]: Extracting #3: cost 3 inf + 185 1.872 * * [simplify]: Extracting #4: cost 0 inf + 558 1.872 * [simplify]: Simplified to (cosh c) 1.872 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a))) 1.872 * * * * [progress]: [ 37 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 38 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 39 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 40 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 41 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 42 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 43 / 66 ] simplifiying candidate #real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))> 1.873 * * * * [progress]: [ 44 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 45 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 46 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 47 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 48 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 49 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 50 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 51 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 52 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 53 / 66 ] simplifiying candidate # 1.873 * * * * [progress]: [ 54 / 66 ] simplifiying candidate #real (real->posit16 (cosh c))) (log1p a)))))> 1.873 * * * * [progress]: [ 55 / 66 ] simplifiying candidate # 1.873 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.873 * * [simplify]: iters left: 2 (5 enodes) 1.874 * * [simplify]: iters left: 1 (21 enodes) 1.878 * * [simplify]: Extracting #0: cost 1 inf + 0 1.878 * * [simplify]: Extracting #1: cost 4 inf + 0 1.878 * * [simplify]: Extracting #2: cost 10 inf + 0 1.878 * * [simplify]: Extracting #3: cost 10 inf + 3 1.878 * * [simplify]: Extracting #4: cost 9 inf + 368 1.878 * * [simplify]: Extracting #5: cost 5 inf + 809 1.878 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.878 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.879 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.879 * * * * [progress]: [ 56 / 66 ] simplifiying candidate # 1.879 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.879 * * [simplify]: iters left: 2 (5 enodes) 1.880 * * [simplify]: iters left: 1 (21 enodes) 1.886 * * [simplify]: Extracting #0: cost 1 inf + 0 1.886 * * [simplify]: Extracting #1: cost 4 inf + 0 1.886 * * [simplify]: Extracting #2: cost 10 inf + 0 1.886 * * [simplify]: Extracting #3: cost 10 inf + 3 1.887 * * [simplify]: Extracting #4: cost 9 inf + 368 1.887 * * [simplify]: Extracting #5: cost 5 inf + 809 1.887 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.888 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.888 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.888 * * * * [progress]: [ 57 / 66 ] simplifiying candidate # 1.888 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.888 * * [simplify]: iters left: 2 (5 enodes) 1.890 * * [simplify]: iters left: 1 (21 enodes) 1.897 * * [simplify]: Extracting #0: cost 1 inf + 0 1.897 * * [simplify]: Extracting #1: cost 4 inf + 0 1.897 * * [simplify]: Extracting #2: cost 10 inf + 0 1.897 * * [simplify]: Extracting #3: cost 10 inf + 3 1.898 * * [simplify]: Extracting #4: cost 9 inf + 368 1.898 * * [simplify]: Extracting #5: cost 5 inf + 809 1.898 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.899 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.899 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.899 * * * * [progress]: [ 58 / 66 ] simplifiying candidate # 1.899 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 1.899 * * [simplify]: iters left: 3 (6 enodes) 1.901 * * [simplify]: iters left: 2 (24 enodes) 1.909 * * [simplify]: iters left: 1 (37 enodes) 1.920 * * [simplify]: Extracting #0: cost 1 inf + 0 1.920 * * [simplify]: Extracting #1: cost 3 inf + 0 1.920 * * [simplify]: Extracting #2: cost 6 inf + 0 1.920 * * [simplify]: Extracting #3: cost 12 inf + 0 1.920 * * [simplify]: Extracting #4: cost 12 inf + 3 1.920 * * [simplify]: Extracting #5: cost 13 inf + 221 1.921 * * [simplify]: Extracting #6: cost 6 inf + 1202 1.921 * * [simplify]: Extracting #7: cost 1 inf + 1973 1.922 * * [simplify]: Extracting #8: cost 0 inf + 2194 1.922 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 1.922 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.922 * * * * [progress]: [ 59 / 66 ] simplifiying candidate # 1.922 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 1.923 * * [simplify]: iters left: 3 (6 enodes) 1.925 * * [simplify]: iters left: 2 (24 enodes) 1.933 * * [simplify]: iters left: 1 (37 enodes) 1.946 * * [simplify]: Extracting #0: cost 1 inf + 0 1.946 * * [simplify]: Extracting #1: cost 3 inf + 0 1.946 * * [simplify]: Extracting #2: cost 6 inf + 0 1.946 * * [simplify]: Extracting #3: cost 12 inf + 0 1.946 * * [simplify]: Extracting #4: cost 12 inf + 3 1.946 * * [simplify]: Extracting #5: cost 13 inf + 221 1.946 * * [simplify]: Extracting #6: cost 6 inf + 1202 1.947 * * [simplify]: Extracting #7: cost 1 inf + 1973 1.947 * * [simplify]: Extracting #8: cost 0 inf + 2194 1.948 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 1.948 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.948 * * * * [progress]: [ 60 / 66 ] simplifiying candidate # 1.948 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 1.948 * * [simplify]: iters left: 3 (6 enodes) 1.951 * * [simplify]: iters left: 2 (24 enodes) 1.958 * * [simplify]: iters left: 1 (37 enodes) 1.970 * * [simplify]: Extracting #0: cost 1 inf + 0 1.970 * * [simplify]: Extracting #1: cost 3 inf + 0 1.970 * * [simplify]: Extracting #2: cost 6 inf + 0 1.970 * * [simplify]: Extracting #3: cost 12 inf + 0 1.970 * * [simplify]: Extracting #4: cost 12 inf + 3 1.970 * * [simplify]: Extracting #5: cost 13 inf + 221 1.971 * * [simplify]: Extracting #6: cost 6 inf + 1202 1.971 * * [simplify]: Extracting #7: cost 1 inf + 1973 1.972 * * [simplify]: Extracting #8: cost 0 inf + 2194 1.972 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 1.972 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.972 * * * * [progress]: [ 61 / 66 ] simplifiying candidate # 1.972 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.972 * * [simplify]: iters left: 2 (5 enodes) 1.973 * * [simplify]: iters left: 1 (21 enodes) 1.977 * * [simplify]: Extracting #0: cost 1 inf + 0 1.977 * * [simplify]: Extracting #1: cost 4 inf + 0 1.977 * * [simplify]: Extracting #2: cost 10 inf + 0 1.977 * * [simplify]: Extracting #3: cost 10 inf + 3 1.977 * * [simplify]: Extracting #4: cost 9 inf + 368 1.977 * * [simplify]: Extracting #5: cost 5 inf + 809 1.977 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.978 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.978 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.978 * * * * [progress]: [ 62 / 66 ] simplifiying candidate # 1.978 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.978 * * [simplify]: iters left: 2 (5 enodes) 1.979 * * [simplify]: iters left: 1 (21 enodes) 1.982 * * [simplify]: Extracting #0: cost 1 inf + 0 1.982 * * [simplify]: Extracting #1: cost 4 inf + 0 1.982 * * [simplify]: Extracting #2: cost 10 inf + 0 1.982 * * [simplify]: Extracting #3: cost 10 inf + 3 1.983 * * [simplify]: Extracting #4: cost 9 inf + 368 1.983 * * [simplify]: Extracting #5: cost 5 inf + 809 1.983 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.983 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.983 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.983 * * * * [progress]: [ 63 / 66 ] simplifiying candidate # 1.983 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.983 * * [simplify]: iters left: 2 (5 enodes) 1.984 * * [simplify]: iters left: 1 (21 enodes) 1.988 * * [simplify]: Extracting #0: cost 1 inf + 0 1.988 * * [simplify]: Extracting #1: cost 4 inf + 0 1.988 * * [simplify]: Extracting #2: cost 10 inf + 0 1.988 * * [simplify]: Extracting #3: cost 10 inf + 3 1.988 * * [simplify]: Extracting #4: cost 9 inf + 368 1.988 * * [simplify]: Extracting #5: cost 5 inf + 809 1.988 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.989 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.989 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.989 * * * * [progress]: [ 64 / 66 ] simplifiying candidate # 1.989 * [simplify]: Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 1.989 * * [simplify]: iters left: 6 (12 enodes) 1.994 * * [simplify]: iters left: 5 (53 enodes) 2.010 * * [simplify]: iters left: 4 (73 enodes) 2.032 * * [simplify]: iters left: 3 (97 enodes) 2.055 * * [simplify]: Extracting #0: cost 1 inf + 0 2.055 * * [simplify]: Extracting #1: cost 14 inf + 0 2.055 * * [simplify]: Extracting #2: cost 18 inf + 126 2.056 * * [simplify]: Extracting #3: cost 4 inf + 1478 2.057 * * [simplify]: Extracting #4: cost 0 inf + 1958 2.058 * [simplify]: Simplified to (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) 2.058 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) (log1p a))))) 2.058 * * * * [progress]: [ 65 / 66 ] simplifiying candidate # 2.059 * [simplify]: Simplifying (* 1/2 (+ (exp c) (exp (- c)))) 2.059 * * [simplify]: iters left: 6 (7 enodes) 2.063 * * [simplify]: iters left: 5 (31 enodes) 2.077 * * [simplify]: iters left: 4 (51 enodes) 2.087 * * [simplify]: iters left: 3 (55 enodes) 2.094 * * [simplify]: Extracting #0: cost 1 inf + 0 2.094 * * [simplify]: Extracting #1: cost 8 inf + 0 2.095 * * [simplify]: Extracting #2: cost 15 inf + 1 2.095 * * [simplify]: Extracting #3: cost 13 inf + 44 2.095 * * [simplify]: Extracting #4: cost 4 inf + 1047 2.095 * * [simplify]: Extracting #5: cost 0 inf + 1673 2.095 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 2.095 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))))) 2.096 * * * * [progress]: [ 66 / 66 ] simplifiying candidate # 2.096 * [simplify]: Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c))) 2.096 * * [simplify]: iters left: 6 (8 enodes) 2.098 * * [simplify]: iters left: 5 (36 enodes) 2.105 * * [simplify]: iters left: 4 (57 enodes) 2.115 * * [simplify]: iters left: 3 (83 enodes) 2.139 * * [simplify]: iters left: 2 (127 enodes) 2.185 * * [simplify]: iters left: 1 (241 enodes) 2.264 * * [simplify]: Extracting #0: cost 1 inf + 0 2.264 * * [simplify]: Extracting #1: cost 8 inf + 0 2.265 * * [simplify]: Extracting #2: cost 55 inf + 1 2.266 * * [simplify]: Extracting #3: cost 128 inf + 1134 2.267 * * [simplify]: Extracting #4: cost 124 inf + 3616 2.270 * * [simplify]: Extracting #5: cost 92 inf + 9710 2.281 * * [simplify]: Extracting #6: cost 16 inf + 55085 2.294 * * [simplify]: Extracting #7: cost 0 inf + 63912 2.310 * * [simplify]: Extracting #8: cost 0 inf + 63709 2.324 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 2.324 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))))) 2.324 * * * [progress]: adding candidates to table 3.182 * * [progress]: iteration 3 / 4 3.182 * * * [progress]: picking best candidate 3.268 * * * * [pick]: Picked # 3.268 * * * [progress]: localizing error 3.294 * * * [progress]: generating rewritten candidates 3.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 3.295 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 3.295 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.296 * * * [progress]: generating series expansions 3.296 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.296 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.296 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.296 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.296 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.297 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.297 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.297 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.297 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.297 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.297 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.297 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.297 * [taylor]: Taking taylor expansion of 0 in a 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [taylor]: Taking taylor expansion of 0 in a 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [taylor]: Taking taylor expansion of 0 in a 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.297 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.298 * [taylor]: Taking taylor expansion of 0 in a 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [taylor]: Taking taylor expansion of 0 in a 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [taylor]: Taking taylor expansion of 0 in a 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.298 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.298 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.298 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.298 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.298 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.299 * [taylor]: Taking taylor expansion of 0 in a 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [taylor]: Taking taylor expansion of 0 in a 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [taylor]: Taking taylor expansion of 0 in a 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.299 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 3.299 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.299 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.299 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.299 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.299 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.299 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.299 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.299 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.299 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.299 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.299 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.299 * [taylor]: Taking taylor expansion of 0 in a 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [taylor]: Taking taylor expansion of 0 in a 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [taylor]: Taking taylor expansion of 0 in a 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.300 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.300 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.300 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.300 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.300 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.300 * [taylor]: Taking taylor expansion of 0 in a 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [taylor]: Taking taylor expansion of 0 in a 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [taylor]: Taking taylor expansion of 0 in a 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.301 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.301 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.301 * [taylor]: Taking taylor expansion of 0 in a 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [taylor]: Taking taylor expansion of 0 in a 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [taylor]: Taking taylor expansion of 0 in a 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.301 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 3.301 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.302 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.302 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.302 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.302 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.302 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.302 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.302 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.302 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.302 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.302 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.302 * [taylor]: Taking taylor expansion of 0 in a 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [taylor]: Taking taylor expansion of 0 in a 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [taylor]: Taking taylor expansion of 0 in a 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.302 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.302 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.302 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.302 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.302 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.303 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.303 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.303 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.303 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.303 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.303 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.303 * [taylor]: Taking taylor expansion of 0 in a 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [taylor]: Taking taylor expansion of 0 in a 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [taylor]: Taking taylor expansion of 0 in a 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.303 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.303 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.303 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.303 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.303 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.304 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.304 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.304 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.304 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.304 * [taylor]: Taking taylor expansion of 0 in a 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [taylor]: Taking taylor expansion of 0 in a 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [taylor]: Taking taylor expansion of 0 in a 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.304 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.304 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.304 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 3.304 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.304 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.304 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.304 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.304 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.304 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.304 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.305 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.305 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.305 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.305 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.305 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.305 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.305 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.305 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.305 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.305 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.306 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.306 * [taylor]: Taking taylor expansion of 0 in a 3.306 * [backup-simplify]: Simplify 0 into 0 3.306 * [backup-simplify]: Simplify 0 into 0 3.306 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.306 * [backup-simplify]: Simplify 0 into 0 3.307 * [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 3.307 * [taylor]: Taking taylor expansion of 0 in a 3.307 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify 0 into 0 3.308 * [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 3.308 * [backup-simplify]: Simplify 0 into 0 3.310 * [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 3.310 * [taylor]: Taking taylor expansion of 0 in a 3.310 * [backup-simplify]: Simplify 0 into 0 3.310 * [backup-simplify]: Simplify 0 into 0 3.310 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.310 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.310 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.310 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.310 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.310 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.311 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.311 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.311 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.311 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.311 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.311 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.311 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.311 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.311 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.311 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.312 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.312 * [taylor]: Taking taylor expansion of 0 in a 3.312 * [backup-simplify]: Simplify 0 into 0 3.312 * [backup-simplify]: Simplify 0 into 0 3.312 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.312 * [backup-simplify]: Simplify 0 into 0 3.313 * [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 3.313 * [taylor]: Taking taylor expansion of 0 in a 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.315 * [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 3.315 * [backup-simplify]: Simplify 0 into 0 3.316 * [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 3.316 * [taylor]: Taking taylor expansion of 0 in a 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 3.317 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.317 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.317 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.317 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.317 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.317 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.317 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.317 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.317 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.317 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.318 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.318 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.318 * [taylor]: Taking taylor expansion of 0 in a 3.318 * [backup-simplify]: Simplify 0 into 0 3.318 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.320 * [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 3.320 * [taylor]: Taking taylor expansion of 0 in a 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.321 * [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 3.321 * [backup-simplify]: Simplify 0 into 0 3.323 * [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 3.323 * [taylor]: Taking taylor expansion of 0 in a 3.323 * [backup-simplify]: Simplify 0 into 0 3.323 * [backup-simplify]: Simplify 0 into 0 3.323 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 3.323 * * * [progress]: simplifying candidates 3.323 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))> 3.323 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 3.323 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> 3.324 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 23 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> 3.324 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 3.324 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 3.324 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 3.324 * * [simplify]: iters left: 6 (8 enodes) 3.326 * * [simplify]: iters left: 5 (32 enodes) 3.331 * * [simplify]: iters left: 4 (47 enodes) 3.343 * * [simplify]: iters left: 3 (51 enodes) 3.364 * * [simplify]: iters left: 2 (53 enodes) 3.378 * * [simplify]: Extracting #0: cost 1 inf + 0 3.378 * * [simplify]: Extracting #1: cost 4 inf + 0 3.379 * * [simplify]: Extracting #2: cost 7 inf + 0 3.379 * * [simplify]: Extracting #3: cost 9 inf + 0 3.379 * * [simplify]: Extracting #4: cost 12 inf + 0 3.379 * * [simplify]: Extracting #5: cost 18 inf + 0 3.379 * * [simplify]: Extracting #6: cost 16 inf + 185 3.379 * * [simplify]: Extracting #7: cost 18 inf + 312 3.379 * * [simplify]: Extracting #8: cost 12 inf + 1292 3.380 * * [simplify]: Extracting #9: cost 1 inf + 4069 3.381 * * [simplify]: Extracting #10: cost 0 inf + 4436 3.382 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 3.382 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))) 3.382 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 3.382 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 3.382 * * [simplify]: iters left: 4 (7 enodes) 3.385 * * [simplify]: iters left: 3 (27 enodes) 3.391 * * [simplify]: iters left: 2 (40 enodes) 3.397 * * [simplify]: iters left: 1 (44 enodes) 3.403 * * [simplify]: Extracting #0: cost 1 inf + 0 3.403 * * [simplify]: Extracting #1: cost 3 inf + 0 3.403 * * [simplify]: Extracting #2: cost 5 inf + 0 3.403 * * [simplify]: Extracting #3: cost 8 inf + 0 3.403 * * [simplify]: Extracting #4: cost 14 inf + 0 3.403 * * [simplify]: Extracting #5: cost 13 inf + 94 3.403 * * [simplify]: Extracting #6: cost 13 inf + 368 3.404 * * [simplify]: Extracting #7: cost 7 inf + 1177 3.404 * * [simplify]: Extracting #8: cost 0 inf + 2788 3.404 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 3.404 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))) 3.404 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 3.404 * [simplify]: Simplifying (log 1) 3.405 * * [simplify]: iters left: 1 (2 enodes) 3.406 * * [simplify]: Extracting #0: cost 1 inf + 0 3.406 * * [simplify]: Extracting #1: cost 0 inf + 1 3.406 * [simplify]: Simplified to 0 3.406 * [simplify]: Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))) 3.406 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 3.406 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 3.406 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 3.406 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.406 * * [simplify]: iters left: 2 (5 enodes) 3.407 * * [simplify]: iters left: 1 (21 enodes) 3.410 * * [simplify]: Extracting #0: cost 1 inf + 0 3.410 * * [simplify]: Extracting #1: cost 4 inf + 0 3.410 * * [simplify]: Extracting #2: cost 10 inf + 0 3.411 * * [simplify]: Extracting #3: cost 10 inf + 3 3.411 * * [simplify]: Extracting #4: cost 9 inf + 368 3.411 * * [simplify]: Extracting #5: cost 5 inf + 809 3.411 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.411 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.411 * [simplify]: Simplified (2 2 1 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)))))) 3.411 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 3.411 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 3.411 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 3.411 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 3.411 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 3.411 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 3.411 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> 3.411 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 3.412 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.412 * * [simplify]: iters left: 2 (5 enodes) 3.413 * * [simplify]: iters left: 1 (21 enodes) 3.416 * * [simplify]: Extracting #0: cost 1 inf + 0 3.417 * * [simplify]: Extracting #1: cost 4 inf + 0 3.417 * * [simplify]: Extracting #2: cost 10 inf + 0 3.417 * * [simplify]: Extracting #3: cost 10 inf + 3 3.417 * * [simplify]: Extracting #4: cost 9 inf + 368 3.417 * * [simplify]: Extracting #5: cost 5 inf + 809 3.417 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.417 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.417 * [simplify]: Simplified (2 2 1 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)))))) 3.417 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 3.417 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.418 * * [simplify]: iters left: 2 (5 enodes) 3.418 * * [simplify]: iters left: 1 (21 enodes) 3.422 * * [simplify]: Extracting #0: cost 1 inf + 0 3.422 * * [simplify]: Extracting #1: cost 4 inf + 0 3.422 * * [simplify]: Extracting #2: cost 10 inf + 0 3.422 * * [simplify]: Extracting #3: cost 10 inf + 3 3.422 * * [simplify]: Extracting #4: cost 9 inf + 368 3.422 * * [simplify]: Extracting #5: cost 5 inf + 809 3.422 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.423 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.423 * [simplify]: Simplified (2 2 1 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)))))) 3.423 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 3.423 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.423 * * [simplify]: iters left: 2 (5 enodes) 3.424 * * [simplify]: iters left: 1 (21 enodes) 3.430 * * [simplify]: Extracting #0: cost 1 inf + 0 3.430 * * [simplify]: Extracting #1: cost 4 inf + 0 3.430 * * [simplify]: Extracting #2: cost 10 inf + 0 3.430 * * [simplify]: Extracting #3: cost 10 inf + 3 3.431 * * [simplify]: Extracting #4: cost 9 inf + 368 3.431 * * [simplify]: Extracting #5: cost 5 inf + 809 3.431 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.432 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.432 * [simplify]: Simplified (2 2 1 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)))))) 3.432 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 3.432 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.432 * * [simplify]: iters left: 2 (5 enodes) 3.434 * * [simplify]: iters left: 1 (21 enodes) 3.441 * * [simplify]: Extracting #0: cost 1 inf + 0 3.441 * * [simplify]: Extracting #1: cost 4 inf + 0 3.441 * * [simplify]: Extracting #2: cost 10 inf + 0 3.441 * * [simplify]: Extracting #3: cost 10 inf + 3 3.441 * * [simplify]: Extracting #4: cost 9 inf + 368 3.441 * * [simplify]: Extracting #5: cost 5 inf + 809 3.442 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.442 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.442 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.442 * * * * [progress]: [ 50 / 57 ] simplifiying candidate # 3.443 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.443 * * [simplify]: iters left: 2 (5 enodes) 3.445 * * [simplify]: iters left: 1 (21 enodes) 3.452 * * [simplify]: Extracting #0: cost 1 inf + 0 3.452 * * [simplify]: Extracting #1: cost 4 inf + 0 3.452 * * [simplify]: Extracting #2: cost 10 inf + 0 3.452 * * [simplify]: Extracting #3: cost 10 inf + 3 3.452 * * [simplify]: Extracting #4: cost 9 inf + 368 3.452 * * [simplify]: Extracting #5: cost 5 inf + 809 3.453 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.453 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.453 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.453 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 3.453 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.453 * * [simplify]: iters left: 2 (5 enodes) 3.454 * * [simplify]: iters left: 1 (21 enodes) 3.457 * * [simplify]: Extracting #0: cost 1 inf + 0 3.457 * * [simplify]: Extracting #1: cost 4 inf + 0 3.457 * * [simplify]: Extracting #2: cost 10 inf + 0 3.458 * * [simplify]: Extracting #3: cost 10 inf + 3 3.458 * * [simplify]: Extracting #4: cost 9 inf + 368 3.458 * * [simplify]: Extracting #5: cost 5 inf + 809 3.458 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.458 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.458 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.458 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 3.458 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.458 * * [simplify]: iters left: 2 (5 enodes) 3.459 * * [simplify]: iters left: 1 (21 enodes) 3.463 * * [simplify]: Extracting #0: cost 1 inf + 0 3.463 * * [simplify]: Extracting #1: cost 4 inf + 0 3.463 * * [simplify]: Extracting #2: cost 10 inf + 0 3.463 * * [simplify]: Extracting #3: cost 10 inf + 3 3.463 * * [simplify]: Extracting #4: cost 9 inf + 368 3.463 * * [simplify]: Extracting #5: cost 5 inf + 809 3.465 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.465 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.465 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.465 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 3.465 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.465 * * [simplify]: iters left: 2 (5 enodes) 3.466 * * [simplify]: iters left: 1 (21 enodes) 3.470 * * [simplify]: Extracting #0: cost 1 inf + 0 3.470 * * [simplify]: Extracting #1: cost 4 inf + 0 3.470 * * [simplify]: Extracting #2: cost 10 inf + 0 3.470 * * [simplify]: Extracting #3: cost 10 inf + 3 3.470 * * [simplify]: Extracting #4: cost 9 inf + 368 3.470 * * [simplify]: Extracting #5: cost 5 inf + 809 3.470 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.471 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.471 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.471 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 3.471 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.471 * * [simplify]: iters left: 2 (5 enodes) 3.472 * * [simplify]: iters left: 1 (21 enodes) 3.475 * * [simplify]: Extracting #0: cost 1 inf + 0 3.475 * * [simplify]: Extracting #1: cost 4 inf + 0 3.475 * * [simplify]: Extracting #2: cost 10 inf + 0 3.475 * * [simplify]: Extracting #3: cost 10 inf + 3 3.476 * * [simplify]: Extracting #4: cost 9 inf + 368 3.476 * * [simplify]: Extracting #5: cost 5 inf + 809 3.476 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.476 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.476 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.476 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 3.476 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.476 * * [simplify]: iters left: 3 (6 enodes) 3.478 * * [simplify]: iters left: 2 (24 enodes) 3.481 * * [simplify]: iters left: 1 (37 enodes) 3.487 * * [simplify]: Extracting #0: cost 1 inf + 0 3.487 * * [simplify]: Extracting #1: cost 3 inf + 0 3.487 * * [simplify]: Extracting #2: cost 6 inf + 0 3.487 * * [simplify]: Extracting #3: cost 12 inf + 0 3.487 * * [simplify]: Extracting #4: cost 12 inf + 3 3.487 * * [simplify]: Extracting #5: cost 13 inf + 221 3.487 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.487 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.488 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.488 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.488 * [simplify]: Simplified (2 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)))))) 3.488 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 3.488 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.488 * * [simplify]: iters left: 3 (6 enodes) 3.490 * * [simplify]: iters left: 2 (24 enodes) 3.494 * * [simplify]: iters left: 1 (37 enodes) 3.499 * * [simplify]: Extracting #0: cost 1 inf + 0 3.499 * * [simplify]: Extracting #1: cost 3 inf + 0 3.499 * * [simplify]: Extracting #2: cost 6 inf + 0 3.499 * * [simplify]: Extracting #3: cost 12 inf + 0 3.499 * * [simplify]: Extracting #4: cost 12 inf + 3 3.499 * * [simplify]: Extracting #5: cost 13 inf + 221 3.499 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.500 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.500 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.500 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.500 * [simplify]: Simplified (2 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)))))) 3.500 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 3.500 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.500 * * [simplify]: iters left: 3 (6 enodes) 3.502 * * [simplify]: iters left: 2 (24 enodes) 3.505 * * [simplify]: iters left: 1 (37 enodes) 3.513 * * [simplify]: Extracting #0: cost 1 inf + 0 3.513 * * [simplify]: Extracting #1: cost 3 inf + 0 3.513 * * [simplify]: Extracting #2: cost 6 inf + 0 3.513 * * [simplify]: Extracting #3: cost 12 inf + 0 3.513 * * [simplify]: Extracting #4: cost 12 inf + 3 3.513 * * [simplify]: Extracting #5: cost 13 inf + 221 3.514 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.514 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.514 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.515 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.515 * [simplify]: Simplified (2 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)))))) 3.515 * * * [progress]: adding candidates to table 4.498 * * [progress]: iteration 4 / 4 4.498 * * * [progress]: picking best candidate 4.609 * * * * [pick]: Picked # 4.609 * * * [progress]: localizing error 4.685 * * * [progress]: generating rewritten candidates 4.686 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1) 4.686 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 2 1) 4.686 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1) 4.686 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 4.687 * * * [progress]: generating series expansions 4.687 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1) 4.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.687 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.687 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.687 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.687 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.687 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.687 * [taylor]: Taking taylor expansion of 0 in a 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [taylor]: Taking taylor expansion of 0 in a 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [taylor]: Taking taylor expansion of 0 in a 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.688 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.688 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.688 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.688 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.688 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.688 * [taylor]: Taking taylor expansion of 0 in a 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [taylor]: Taking taylor expansion of 0 in a 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [taylor]: Taking taylor expansion of 0 in a 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.688 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.688 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.689 * [taylor]: Taking taylor expansion of 0 in a 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [taylor]: Taking taylor expansion of 0 in a 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [taylor]: Taking taylor expansion of 0 in a 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.689 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 2 1) 4.689 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.689 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.689 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.689 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.689 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.689 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.689 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.690 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.690 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.690 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.690 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.690 * [taylor]: Taking taylor expansion of 0 in a 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [taylor]: Taking taylor expansion of 0 in a 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [taylor]: Taking taylor expansion of 0 in a 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.690 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.690 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.690 * [taylor]: Taking taylor expansion of 0 in a 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [taylor]: Taking taylor expansion of 0 in a 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [taylor]: Taking taylor expansion of 0 in a 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.691 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.691 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.691 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.691 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.691 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.691 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.691 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.691 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.691 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.691 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.691 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.691 * [taylor]: Taking taylor expansion of 0 in a 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [taylor]: Taking taylor expansion of 0 in a 4.691 * [backup-simplify]: Simplify 0 into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [taylor]: Taking taylor expansion of 0 in a 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.692 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1) 4.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.692 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.692 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.692 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.692 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.692 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.692 * [taylor]: Taking taylor expansion of 0 in a 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [taylor]: Taking taylor expansion of 0 in a 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 0 into 0 4.693 * [backup-simplify]: Simplify 0 into 0 4.693 * [taylor]: Taking taylor expansion of 0 in a 4.693 * [backup-simplify]: Simplify 0 into 0 4.693 * [backup-simplify]: Simplify 0 into 0 4.693 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.693 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.693 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.693 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.693 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.693 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.694 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.694 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.694 * [taylor]: Taking taylor expansion of 0 in a 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [taylor]: Taking taylor expansion of 0 in a 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [taylor]: Taking taylor expansion of 0 in a 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.695 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.695 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.695 * [taylor]: Taking taylor expansion of 0 in a 4.695 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [taylor]: Taking taylor expansion of 0 in a 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [taylor]: Taking taylor expansion of 0 in a 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.696 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 4.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.696 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.697 * [taylor]: Taking taylor expansion of 0 in a 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [taylor]: Taking taylor expansion of 0 in a 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [taylor]: Taking taylor expansion of 0 in a 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.698 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.699 * [taylor]: Taking taylor expansion of 0 in a 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [taylor]: Taking taylor expansion of 0 in a 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [taylor]: Taking taylor expansion of 0 in a 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.699 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.699 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.700 * [taylor]: Taking taylor expansion of 0 in a 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [taylor]: Taking taylor expansion of 0 in a 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [backup-simplify]: Simplify 0 into 0 4.701 * [backup-simplify]: Simplify 0 into 0 4.701 * [taylor]: Taking taylor expansion of 0 in a 4.701 * [backup-simplify]: Simplify 0 into 0 4.701 * [backup-simplify]: Simplify 0 into 0 4.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.701 * * * [progress]: simplifying candidates 4.701 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 4.701 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 4.701 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> 4.702 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 4.702 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))> 4.703 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 4.703 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> 4.704 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 4.704 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> 4.704 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 4.705 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.705 * * [simplify]: iters left: 2 (5 enodes) 4.707 * * [simplify]: iters left: 1 (21 enodes) 4.714 * * [simplify]: Extracting #0: cost 1 inf + 0 4.714 * * [simplify]: Extracting #1: cost 4 inf + 0 4.714 * * [simplify]: Extracting #2: cost 10 inf + 0 4.714 * * [simplify]: Extracting #3: cost 10 inf + 3 4.714 * * [simplify]: Extracting #4: cost 9 inf + 368 4.715 * * [simplify]: Extracting #5: cost 5 inf + 809 4.715 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.716 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.716 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.716 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 4.716 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.716 * * [simplify]: iters left: 2 (5 enodes) 4.718 * * [simplify]: iters left: 1 (21 enodes) 4.725 * * [simplify]: Extracting #0: cost 1 inf + 0 4.725 * * [simplify]: Extracting #1: cost 4 inf + 0 4.725 * * [simplify]: Extracting #2: cost 10 inf + 0 4.725 * * [simplify]: Extracting #3: cost 10 inf + 3 4.725 * * [simplify]: Extracting #4: cost 9 inf + 368 4.725 * * [simplify]: Extracting #5: cost 5 inf + 809 4.725 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.726 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.726 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.726 * * * * [progress]: [ 43 / 52 ] simplifiying candidate # 4.726 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.726 * * [simplify]: iters left: 2 (5 enodes) 4.727 * * [simplify]: iters left: 1 (21 enodes) 4.731 * * [simplify]: Extracting #0: cost 1 inf + 0 4.731 * * [simplify]: Extracting #1: cost 4 inf + 0 4.731 * * [simplify]: Extracting #2: cost 10 inf + 0 4.731 * * [simplify]: Extracting #3: cost 10 inf + 3 4.731 * * [simplify]: Extracting #4: cost 9 inf + 368 4.731 * * [simplify]: Extracting #5: cost 5 inf + 809 4.731 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.731 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.731 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.732 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 4.732 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.732 * * [simplify]: iters left: 2 (5 enodes) 4.733 * * [simplify]: iters left: 1 (21 enodes) 4.737 * * [simplify]: Extracting #0: cost 1 inf + 0 4.737 * * [simplify]: Extracting #1: cost 4 inf + 0 4.737 * * [simplify]: Extracting #2: cost 10 inf + 0 4.737 * * [simplify]: Extracting #3: cost 10 inf + 3 4.737 * * [simplify]: Extracting #4: cost 9 inf + 368 4.737 * * [simplify]: Extracting #5: cost 5 inf + 809 4.737 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.737 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.737 * [simplify]: Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.738 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 4.738 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.738 * * [simplify]: iters left: 2 (5 enodes) 4.739 * * [simplify]: iters left: 1 (21 enodes) 4.743 * * [simplify]: Extracting #0: cost 1 inf + 0 4.743 * * [simplify]: Extracting #1: cost 4 inf + 0 4.743 * * [simplify]: Extracting #2: cost 10 inf + 0 4.743 * * [simplify]: Extracting #3: cost 10 inf + 3 4.743 * * [simplify]: Extracting #4: cost 9 inf + 368 4.743 * * [simplify]: Extracting #5: cost 5 inf + 809 4.743 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.744 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.744 * [simplify]: Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.744 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 4.744 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.744 * * [simplify]: iters left: 2 (5 enodes) 4.745 * * [simplify]: iters left: 1 (21 enodes) 4.749 * * [simplify]: Extracting #0: cost 1 inf + 0 4.749 * * [simplify]: Extracting #1: cost 4 inf + 0 4.749 * * [simplify]: Extracting #2: cost 10 inf + 0 4.749 * * [simplify]: Extracting #3: cost 10 inf + 3 4.749 * * [simplify]: Extracting #4: cost 9 inf + 368 4.749 * * [simplify]: Extracting #5: cost 5 inf + 809 4.749 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.749 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.749 * [simplify]: Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.750 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 4.750 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.750 * * [simplify]: iters left: 2 (5 enodes) 4.751 * * [simplify]: iters left: 1 (21 enodes) 4.755 * * [simplify]: Extracting #0: cost 1 inf + 0 4.755 * * [simplify]: Extracting #1: cost 4 inf + 0 4.755 * * [simplify]: Extracting #2: cost 10 inf + 0 4.755 * * [simplify]: Extracting #3: cost 10 inf + 3 4.755 * * [simplify]: Extracting #4: cost 9 inf + 368 4.755 * * [simplify]: Extracting #5: cost 5 inf + 809 4.755 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.755 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.755 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.755 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 4.756 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.756 * * [simplify]: iters left: 2 (5 enodes) 4.757 * * [simplify]: iters left: 1 (21 enodes) 4.762 * * [simplify]: Extracting #0: cost 1 inf + 0 4.762 * * [simplify]: Extracting #1: cost 4 inf + 0 4.762 * * [simplify]: Extracting #2: cost 10 inf + 0 4.762 * * [simplify]: Extracting #3: cost 10 inf + 3 4.762 * * [simplify]: Extracting #4: cost 9 inf + 368 4.763 * * [simplify]: Extracting #5: cost 5 inf + 809 4.763 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.763 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.763 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.763 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 4.763 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.763 * * [simplify]: iters left: 2 (5 enodes) 4.764 * * [simplify]: iters left: 1 (21 enodes) 4.768 * * [simplify]: Extracting #0: cost 1 inf + 0 4.768 * * [simplify]: Extracting #1: cost 4 inf + 0 4.768 * * [simplify]: Extracting #2: cost 10 inf + 0 4.768 * * [simplify]: Extracting #3: cost 10 inf + 3 4.768 * * [simplify]: Extracting #4: cost 9 inf + 368 4.768 * * [simplify]: Extracting #5: cost 5 inf + 809 4.768 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.768 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.768 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.769 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 4.769 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.769 * * [simplify]: iters left: 2 (5 enodes) 4.770 * * [simplify]: iters left: 1 (21 enodes) 4.778 * * [simplify]: Extracting #0: cost 1 inf + 0 4.778 * * [simplify]: Extracting #1: cost 4 inf + 0 4.778 * * [simplify]: Extracting #2: cost 10 inf + 0 4.778 * * [simplify]: Extracting #3: cost 10 inf + 3 4.778 * * [simplify]: Extracting #4: cost 9 inf + 368 4.779 * * [simplify]: Extracting #5: cost 5 inf + 809 4.779 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.780 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.780 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.780 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 4.780 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.780 * * [simplify]: iters left: 2 (5 enodes) 4.782 * * [simplify]: iters left: 1 (21 enodes) 4.789 * * [simplify]: Extracting #0: cost 1 inf + 0 4.789 * * [simplify]: Extracting #1: cost 4 inf + 0 4.789 * * [simplify]: Extracting #2: cost 10 inf + 0 4.790 * * [simplify]: Extracting #3: cost 10 inf + 3 4.790 * * [simplify]: Extracting #4: cost 9 inf + 368 4.790 * * [simplify]: Extracting #5: cost 5 inf + 809 4.790 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.791 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.791 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.791 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 4.791 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.791 * * [simplify]: iters left: 2 (5 enodes) 4.793 * * [simplify]: iters left: 1 (21 enodes) 4.800 * * [simplify]: Extracting #0: cost 1 inf + 0 4.800 * * [simplify]: Extracting #1: cost 4 inf + 0 4.800 * * [simplify]: Extracting #2: cost 10 inf + 0 4.801 * * [simplify]: Extracting #3: cost 10 inf + 3 4.801 * * [simplify]: Extracting #4: cost 9 inf + 368 4.801 * * [simplify]: Extracting #5: cost 5 inf + 809 4.801 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.802 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.802 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 4.802 * * * [progress]: adding candidates to table 5.881 * [progress]: [Phase 3 of 3] Extracting. 5.881 * * [regime]: Finding splitpoints for: (# # # #real (real->posit16 (cosh c))) (log1p a)))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #real (real->posit16 (cosh c))) (log1p a)))> # # # # #) 5.887 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 5.888 * * * * [regimes]: Trying to branch on a from (# # # #real (real->posit16 (cosh c))) (log1p a)))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #real (real->posit16 (cosh c))) (log1p a)))> # # # # #) 6.045 * * * * [regimes]: Trying to branch on (log1p a) from (# # # #real (real->posit16 (cosh c))) (log1p a)))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #real (real->posit16 (cosh c))) (log1p a)))> # # # # #) 6.205 * * * * [regimes]: Trying to branch on c from (# # # #real (real->posit16 (cosh c))) (log1p a)))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #real (real->posit16 (cosh c))) (log1p a)))> # # # # #) 6.339 * * * * [regimes]: Trying to branch on (cosh c) from (# # # #real (real->posit16 (cosh c))) (log1p a)))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #real (real->posit16 (cosh c))) (log1p a)))> # # # # #) 6.462 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # #real (real->posit16 (cosh c))) (log1p a)))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #real (real->posit16 (cosh c))) (log1p a)))> # # # # #) 6.613 * * * [regime]: Found split indices: #