0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.605 * * * [progress]: [2/2] Setting up program. 0.645 * [progress]: [Phase 2 of 3] Improving. 0.645 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.647 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.648 * * [simplify]: iteration 1: (5 enodes) 0.657 * * [simplify]: iteration 2: (21 enodes) 0.665 * * [simplify]: iteration 3: (34 enodes) 0.675 * * [simplify]: iteration 4: (38 enodes) 0.686 * * [simplify]: iteration 5: (40 enodes) 0.693 * * [simplify]: Extracting #0: cost 1 inf + 0 0.693 * * [simplify]: Extracting #1: cost 4 inf + 0 0.693 * * [simplify]: Extracting #2: cost 10 inf + 0 0.693 * * [simplify]: Extracting #3: cost 10 inf + 3 0.693 * * [simplify]: Extracting #4: cost 9 inf + 368 0.694 * * [simplify]: Extracting #5: cost 5 inf + 809 0.694 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.694 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.694 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.694 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.698 * * [progress]: iteration 1 / 4 0.699 * * * [progress]: picking best candidate 0.701 * * * * [pick]: Picked # 0.702 * * * [progress]: localizing error 0.713 * * * [progress]: generating rewritten candidates 0.713 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.716 * * * [progress]: generating series expansions 0.716 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.718 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.718 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.719 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.721 * [taylor]: Taking taylor expansion of 0 in a 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [taylor]: Taking taylor expansion of 0 in a 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [taylor]: Taking taylor expansion of 0 in a 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.722 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.722 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.723 * [taylor]: Taking taylor expansion of 0 in a 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [taylor]: Taking taylor expansion of 0 in a 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [taylor]: Taking taylor expansion of 0 in a 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.724 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.724 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.724 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.724 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.724 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.724 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.724 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.724 * [taylor]: Taking taylor expansion of 0 in a 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify 0 into 0 0.725 * [taylor]: Taking taylor expansion of 0 in a 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [taylor]: Taking taylor expansion of 0 in a 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.725 * * * [progress]: simplifying candidates 0.725 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 9 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 0.725 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 0.725 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 0.726 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)) 0.726 * * [simplify]: iteration 1: (15 enodes) 0.729 * * [simplify]: iteration 2: (49 enodes) 0.737 * * [simplify]: iteration 3: (64 enodes) 0.760 * * [simplify]: iteration 4: (74 enodes) 0.783 * * [simplify]: iteration 5: (88 enodes) 0.809 * * [simplify]: iteration 6: (114 enodes) 0.828 * * [simplify]: iteration 7: (160 enodes) 0.874 * * [simplify]: iteration 8: (263 enodes) 0.997 * * [simplify]: iteration 9: (577 enodes) 1.430 * * [simplify]: Extracting #0: cost 10 inf + 0 1.431 * * [simplify]: Extracting #1: cost 69 inf + 0 1.432 * * [simplify]: Extracting #2: cost 244 inf + 2 1.433 * * [simplify]: Extracting #3: cost 235 inf + 4839 1.438 * * [simplify]: Extracting #4: cost 149 inf + 73424 1.457 * * [simplify]: Extracting #5: cost 15 inf + 204711 1.496 * * [simplify]: Extracting #6: cost 1 inf + 210497 1.536 * * [simplify]: Extracting #7: cost 0 inf + 210457 1.578 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)) 1.578 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 1.578 * [simplify]: Simplified (2 1) to (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a))))) 1.578 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 1.578 * [simplify]: Simplified (2 1) to (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a))))) 1.579 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 1.579 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 1.579 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.579 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 1.579 * [simplify]: Simplified (2 1) to (λ (a c) (log (exp (fmod (cosh c) (log1p a))))) 1.579 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 1.579 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1.579 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 1.579 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 1.579 * [simplify]: Simplified (2 1) to (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) 1.579 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 1.579 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1.580 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 1.580 * * * * [progress]: [ 9 / 13 ] simplifiying candidate # 1.580 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 1.580 * [simplify]: Simplified (2 1) to (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) 1.580 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 1.580 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.580 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 1.580 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.580 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 1.580 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.580 * * * [progress]: adding candidates to table 1.750 * * [progress]: iteration 2 / 4 1.750 * * * [progress]: picking best candidate 1.771 * * * * [pick]: Picked # 1.771 * * * [progress]: localizing error 1.796 * * * [progress]: generating rewritten candidates 1.797 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.797 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.799 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.804 * * * [progress]: generating series expansions 1.804 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.804 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.804 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.804 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.805 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.805 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.805 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.805 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.805 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.805 * [taylor]: Taking taylor expansion of 0 in a 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [taylor]: Taking taylor expansion of 0 in a 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [taylor]: Taking taylor expansion of 0 in a 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.806 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.806 * [taylor]: Taking taylor expansion of 0 in a 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [taylor]: Taking taylor expansion of 0 in a 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [taylor]: Taking taylor expansion of 0 in a 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.807 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.807 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.807 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.808 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.808 * [taylor]: Taking taylor expansion of 0 in a 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [taylor]: Taking taylor expansion of 0 in a 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [taylor]: Taking taylor expansion of 0 in a 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.808 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.809 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.809 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.809 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.809 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.809 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.809 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.809 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.809 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.809 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.809 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.809 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.809 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.809 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.809 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.809 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.809 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.809 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.810 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.810 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.811 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.812 * [taylor]: Taking taylor expansion of 0 in a 1.812 * [backup-simplify]: Simplify 0 into 0 1.812 * [backup-simplify]: Simplify 0 into 0 1.812 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.812 * [backup-simplify]: Simplify 0 into 0 1.815 * [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.815 * [taylor]: Taking taylor expansion of 0 in a 1.815 * [backup-simplify]: Simplify 0 into 0 1.815 * [backup-simplify]: Simplify 0 into 0 1.815 * [backup-simplify]: Simplify 0 into 0 1.816 * [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.817 * [backup-simplify]: Simplify 0 into 0 1.819 * [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.819 * [taylor]: Taking taylor expansion of 0 in a 1.819 * [backup-simplify]: Simplify 0 into 0 1.819 * [backup-simplify]: Simplify 0 into 0 1.819 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.819 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.819 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.819 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.819 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.819 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.819 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.819 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.819 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.819 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.819 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.819 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.819 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.819 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.819 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.819 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.819 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.820 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.820 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.820 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.820 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.820 * [taylor]: Taking taylor expansion of 0 in a 1.820 * [backup-simplify]: Simplify 0 into 0 1.820 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.821 * [backup-simplify]: Simplify 0 into 0 1.822 * [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.822 * [taylor]: Taking taylor expansion of 0 in a 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 0 into 0 1.823 * [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.823 * [backup-simplify]: Simplify 0 into 0 1.825 * [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.825 * [taylor]: Taking taylor expansion of 0 in a 1.825 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.826 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.826 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.826 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.826 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.826 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.826 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.826 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.826 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.826 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.826 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.826 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.827 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.827 * [taylor]: Taking taylor expansion of 0 in a 1.827 * [backup-simplify]: Simplify 0 into 0 1.827 * [backup-simplify]: Simplify 0 into 0 1.828 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.828 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.829 * [taylor]: Taking taylor expansion of 0 in a 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.830 * [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.830 * [backup-simplify]: Simplify 0 into 0 1.832 * [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.832 * [taylor]: Taking taylor expansion of 0 in a 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.833 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.833 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.833 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.833 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.833 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.833 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.833 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.833 * [taylor]: Taking taylor expansion of 0 in a 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [taylor]: Taking taylor expansion of 0 in a 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [taylor]: Taking taylor expansion of 0 in a 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.834 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.834 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.834 * [taylor]: Taking taylor expansion of 0 in a 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [taylor]: Taking taylor expansion of 0 in a 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [taylor]: Taking taylor expansion of 0 in a 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.835 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.835 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.835 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.835 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.835 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.835 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.835 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.835 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.835 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.835 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.835 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.835 * [taylor]: Taking taylor expansion of 0 in a 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [taylor]: Taking taylor expansion of 0 in a 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [taylor]: Taking taylor expansion of 0 in a 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.835 * * * [progress]: simplifying candidates 1.835 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 1.835 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 1.836 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 20 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> 1.836 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 1.836 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 30 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 40 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))> 1.837 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 1.837 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 1.838 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (expm1 (exp (log (fmod (cosh c) (log1p a))))), (log1p (exp (log (fmod (cosh c) (log1p a))))), (exp 1), (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), (exp 1), (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (exp (log (cbrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log 1)), (exp (log (fmod (cosh c) (log1p a)))), (log (exp (log (fmod (cosh c) (log1p a))))), (exp (exp (log (fmod (cosh c) (log1p a))))), (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))), (cbrt (exp (log (fmod (cosh c) (log1p a))))), (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (real->posit16 (exp (log (fmod (cosh c) (log1p a))))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)) 1.838 * * [simplify]: iteration 1: (47 enodes) 1.852 * * [simplify]: iteration 2: (127 enodes) 1.880 * * [simplify]: iteration 3: (176 enodes) 1.909 * * [simplify]: iteration 4: (220 enodes) 1.945 * * [simplify]: iteration 5: (274 enodes) 2.016 * * [simplify]: iteration 6: (387 enodes) 2.092 * * [simplify]: iteration 7: (592 enodes) 2.288 * * [simplify]: Extracting #0: cost 26 inf + 0 2.288 * * [simplify]: Extracting #1: cost 107 inf + 3 2.289 * * [simplify]: Extracting #2: cost 226 inf + 7 2.290 * * [simplify]: Extracting #3: cost 227 inf + 526 2.291 * * [simplify]: Extracting #4: cost 191 inf + 15324 2.298 * * [simplify]: Extracting #5: cost 84 inf + 70932 2.314 * * [simplify]: Extracting #6: cost 26 inf + 123817 2.347 * * [simplify]: Extracting #7: cost 3 inf + 151149 2.371 * * [simplify]: Extracting #8: cost 0 inf + 154668 2.389 * * [simplify]: Extracting #9: cost 0 inf + 154627 2.407 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), E, (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), E, (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), 1, (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)) 2.407 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 2.407 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) 2.407 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 2.407 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) 2.407 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 2.407 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 2.407 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a))))))) 2.407 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 2.407 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a))))))) 2.408 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 2.408 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) 2.408 * [simplify]: Simplified (2 1 1 2) to (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) 2.408 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 2.408 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))))) 2.408 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 2.408 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 2.408 * [simplify]: Simplified (2 1 1 2) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 2.408 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 2.408 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 2.408 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) 2.408 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 2.408 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a))))))) 2.408 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 2.408 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a))))))) 2.408 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 2.408 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 2.408 * [simplify]: Simplified (2 1 2) to (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 2.408 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 2.408 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 2.409 * [simplify]: Simplified (2 1 2) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 2.409 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 2.409 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a)))))) 2.409 * [simplify]: Simplified (2 1 2) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a)))))) 2.409 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 2.409 * [simplify]: Simplified (2 1 2) to (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a)))))) 2.409 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 2.409 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 2.409 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 2.409 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a))))))) 2.410 * * * * [progress]: [ 20 / 52 ] simplifiying candidate # 2.410 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.410 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 2.410 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 2.410 * [simplify]: Simplified (2 1 2) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 2.410 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 2.410 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 2.410 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 2.410 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a))))))) 2.410 * [simplify]: Simplified (2 1 2) to (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a))))))) 2.410 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 2.410 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> 2.410 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))) 2.410 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 2.410 * [simplify]: Simplified (2 1) to (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a))))) 2.410 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 2.410 * [simplify]: Simplified (2 1) to (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a))))) 2.410 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 2.410 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 2.411 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 2.411 * * * * [progress]: [ 30 / 52 ] simplifiying candidate # 2.411 * [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)))))) 2.411 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 2.411 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a)))))) 2.411 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 2.411 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 2.411 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 2.411 * [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))))))) 2.411 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) 2.411 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 2.411 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a))))))) 2.411 * [simplify]: Simplified (2 2) to (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.411 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 2.411 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a)))))) 2.411 * [simplify]: Simplified (2 2) to (λ (a c) (* 1 (fmod (cosh c) (log1p a)))) 2.411 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 2.411 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 2.411 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.411 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1) to (λ (a c) (log (exp (fmod (cosh c) (log1p a))))) 2.412 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))) 2.412 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))) 2.412 * * * * [progress]: [ 40 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1) to (λ (a c) (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))) 2.412 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (exp (log (fmod (cosh c) (log1p a))))))) 2.412 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.412 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 2.412 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))> 2.412 * [simplify]: Simplified (2 1) to (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) 2.412 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.412 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.412 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.412 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 2.412 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.413 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 2.413 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.413 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 2.413 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.413 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 2.413 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.413 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 2.413 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.413 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 2.413 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.413 * * * [progress]: adding candidates to table 3.027 * * [progress]: iteration 3 / 4 3.027 * * * [progress]: picking best candidate 3.103 * * * * [pick]: Picked # 3.103 * * * [progress]: localizing error 3.153 * * * [progress]: generating rewritten candidates 3.153 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.153 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 3.154 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 3.154 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.156 * * * [progress]: generating series expansions 3.156 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.156 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.156 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.156 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.156 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.156 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.156 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.156 * [taylor]: Taking taylor expansion of 0 in a 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [taylor]: Taking taylor expansion of 0 in a 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [taylor]: Taking taylor expansion of 0 in a 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.157 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.157 * [taylor]: Taking taylor expansion of 0 in a 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [taylor]: Taking taylor expansion of 0 in a 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [taylor]: Taking taylor expansion of 0 in a 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.158 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.158 * [taylor]: Taking taylor expansion of 0 in a 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [taylor]: Taking taylor expansion of 0 in a 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [taylor]: Taking taylor expansion of 0 in a 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.158 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 3.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.158 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.159 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.159 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.159 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.159 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.159 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.159 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.159 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.159 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.159 * [taylor]: Taking taylor expansion of 0 in a 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [taylor]: Taking taylor expansion of 0 in a 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [taylor]: Taking taylor expansion of 0 in a 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.159 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.160 * [taylor]: Taking taylor expansion of 0 in a 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [taylor]: Taking taylor expansion of 0 in a 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [taylor]: Taking taylor expansion of 0 in a 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.160 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.161 * [taylor]: Taking taylor expansion of 0 in a 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [taylor]: Taking taylor expansion of 0 in a 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [taylor]: Taking taylor expansion of 0 in a 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.161 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 3.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.161 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.161 * [taylor]: Taking taylor expansion of 0 in a 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [taylor]: Taking taylor expansion of 0 in a 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [taylor]: Taking taylor expansion of 0 in a 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.162 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.162 * [taylor]: Taking taylor expansion of 0 in a 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [taylor]: Taking taylor expansion of 0 in a 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [taylor]: Taking taylor expansion of 0 in a 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.163 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.163 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.163 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.163 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.163 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.163 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.163 * [taylor]: Taking taylor expansion of 0 in a 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [taylor]: Taking taylor expansion of 0 in a 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [taylor]: Taking taylor expansion of 0 in a 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.163 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.163 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.163 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 3.163 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.164 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.164 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.164 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.164 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.164 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.164 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.164 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.164 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.164 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.164 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.164 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.164 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.164 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.164 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.164 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.164 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.165 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.165 * [taylor]: Taking taylor expansion of 0 in a 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 0 into 0 3.166 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.166 * [backup-simplify]: Simplify 0 into 0 3.167 * [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.167 * [taylor]: Taking taylor expansion of 0 in a 3.167 * [backup-simplify]: Simplify 0 into 0 3.167 * [backup-simplify]: Simplify 0 into 0 3.167 * [backup-simplify]: Simplify 0 into 0 3.168 * [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.168 * [backup-simplify]: Simplify 0 into 0 3.170 * [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.170 * [taylor]: Taking taylor expansion of 0 in a 3.170 * [backup-simplify]: Simplify 0 into 0 3.170 * [backup-simplify]: Simplify 0 into 0 3.170 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.170 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.170 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.170 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.170 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.170 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.170 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.170 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.170 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.170 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.171 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.171 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.171 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.171 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.171 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.171 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.171 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.171 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.171 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.172 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.172 * [taylor]: Taking taylor expansion of 0 in a 3.172 * [backup-simplify]: Simplify 0 into 0 3.172 * [backup-simplify]: Simplify 0 into 0 3.172 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.172 * [backup-simplify]: Simplify 0 into 0 3.173 * [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.173 * [taylor]: Taking taylor expansion of 0 in a 3.173 * [backup-simplify]: Simplify 0 into 0 3.173 * [backup-simplify]: Simplify 0 into 0 3.173 * [backup-simplify]: Simplify 0 into 0 3.174 * [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.174 * [backup-simplify]: Simplify 0 into 0 3.176 * [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.176 * [taylor]: Taking taylor expansion of 0 in a 3.176 * [backup-simplify]: Simplify 0 into 0 3.176 * [backup-simplify]: Simplify 0 into 0 3.176 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 3.177 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.177 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.177 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.177 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.177 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.177 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.177 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.177 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.177 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.177 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.177 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.177 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.177 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.178 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.178 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.178 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.178 * [taylor]: Taking taylor expansion of 0 in a 3.178 * [backup-simplify]: Simplify 0 into 0 3.178 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.179 * [backup-simplify]: Simplify 0 into 0 3.180 * [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.180 * [taylor]: Taking taylor expansion of 0 in a 3.180 * [backup-simplify]: Simplify 0 into 0 3.180 * [backup-simplify]: Simplify 0 into 0 3.180 * [backup-simplify]: Simplify 0 into 0 3.181 * [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.181 * [backup-simplify]: Simplify 0 into 0 3.183 * [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.183 * [taylor]: Taking taylor expansion of 0 in a 3.183 * [backup-simplify]: Simplify 0 into 0 3.183 * [backup-simplify]: Simplify 0 into 0 3.183 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 3.183 * * * [progress]: simplifying candidates 3.183 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 3.183 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 3.183 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 3.183 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 3.183 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 3.183 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 3.183 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 3.183 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))> 3.184 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> 3.184 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 3.184 * * * * [progress]: [ 23 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 3.185 * * * * [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.185 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 3.185 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> 3.186 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 50 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 3.186 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 3.187 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 3.187 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 3.187 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 3.187 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 3.187 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))) 3.188 * * [simplify]: iteration 1: (30 enodes) 3.202 * * [simplify]: iteration 2: (96 enodes) 3.230 * * [simplify]: iteration 3: (115 enodes) 3.262 * * [simplify]: iteration 4: (129 enodes) 3.297 * * [simplify]: iteration 5: (152 enodes) 3.323 * * [simplify]: iteration 6: (203 enodes) 3.367 * * [simplify]: iteration 7: (296 enodes) 3.442 * * [simplify]: iteration 8: (501 enodes) 3.659 * * [simplify]: Extracting #0: cost 22 inf + 0 3.660 * * [simplify]: Extracting #1: cost 87 inf + 1 3.660 * * [simplify]: Extracting #2: cost 182 inf + 3 3.661 * * [simplify]: Extracting #3: cost 178 inf + 522 3.662 * * [simplify]: Extracting #4: cost 142 inf + 16520 3.668 * * [simplify]: Extracting #5: cost 53 inf + 72886 3.678 * * [simplify]: Extracting #6: cost 3 inf + 115096 3.693 * * [simplify]: Extracting #7: cost 0 inf + 117674 3.712 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))) 3.712 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 3.713 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) 3.713 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 3.713 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) 3.713 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 3.713 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 3.713 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) 3.713 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 3.713 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) 3.713 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 3.713 * [simplify]: Simplified (2 2 1 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))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) 3.713 * [simplify]: Simplified (2 2 1 1 2) 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))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) 3.713 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 3.713 * [simplify]: Simplified (2 2 1 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)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))))) 3.713 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 3.714 * [simplify]: Simplified (2 2 1 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))) (sqrt (fmod (cosh c) (log1p a)))))))) 3.714 * [simplify]: Simplified (2 2 1 1 2) 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))) (sqrt (fmod (cosh c) (log1p a)))))))) 3.714 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 3.714 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))> 3.714 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))) 3.714 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 3.714 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.714 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 3.714 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.714 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 3.714 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 3.714 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.714 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 3.714 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.714 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 3.714 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 3.715 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 3.715 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 3.715 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))> 3.715 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 3.715 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 3.715 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.715 * * * * [progress]: [ 23 / 57 ] simplifiying candidate # 3.715 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 3.716 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 3.716 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 3.716 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * [simplify]: Simplified (2 1 1 1 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 3.716 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (cbrt (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 3.716 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * [simplify]: Simplified (2 1 1 1 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 3.716 * * * * [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.716 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 3.716 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 3.717 * [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 (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))) 3.717 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 3.717 * [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 (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))) 3.717 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 3.717 * [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))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))) 3.717 * [simplify]: Simplified (2 2 1 2) 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))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))) 3.717 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 3.717 * [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.717 * [simplify]: Simplified (2 2 1 2) 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.717 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 3.717 * [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.717 * [simplify]: Simplified (2 2 1 2) 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.717 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 3.717 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))) 3.717 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 3.718 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 3.718 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 3.718 * [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 (exp (log (log (fmod (cosh c) (log1p a)))))))) 3.718 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 3.718 * [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.718 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 3.718 * [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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 3.718 * [simplify]: Simplified (2 2 1 2) 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 3.718 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 3.718 * [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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) 3.718 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 3.718 * [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 (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))) 3.718 * [simplify]: Simplified (2 2 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))) 3.719 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 3.719 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> 3.719 * [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 (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))) 3.719 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 50 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 3.719 * [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.719 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 3.719 * [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.720 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 3.720 * [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.720 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 3.720 * [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.720 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 3.720 * [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.720 * * * [progress]: adding candidates to table 4.649 * * [progress]: iteration 4 / 4 4.649 * * * [progress]: picking best candidate 4.738 * * * * [pick]: Picked # 4.738 * * * [progress]: localizing error 4.789 * * * [progress]: generating rewritten candidates 4.789 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1) 4.789 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1) 4.789 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1) 4.790 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 4.790 * * * [progress]: generating series expansions 4.790 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1) 4.790 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.790 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.790 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.790 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.790 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.790 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.790 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.790 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.790 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.791 * [taylor]: Taking taylor expansion of 0 in a 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [taylor]: Taking taylor expansion of 0 in a 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [taylor]: Taking taylor expansion of 0 in a 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.791 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.791 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.791 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.791 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.791 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.791 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.791 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.791 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.791 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.791 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.791 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.791 * [taylor]: Taking taylor expansion of 0 in a 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [taylor]: Taking taylor expansion of 0 in a 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [taylor]: Taking taylor expansion of 0 in a 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.792 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.792 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.792 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.792 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.792 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.792 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.792 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.792 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.792 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.792 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.792 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.792 * [taylor]: Taking taylor expansion of 0 in a 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [taylor]: Taking taylor expansion of 0 in a 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [taylor]: Taking taylor expansion of 0 in a 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.793 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1) 4.793 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.793 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.793 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.793 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.793 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.793 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.793 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.793 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.793 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.793 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.793 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.793 * [taylor]: Taking taylor expansion of 0 in a 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [taylor]: Taking taylor expansion of 0 in a 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [taylor]: Taking taylor expansion of 0 in a 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.793 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.794 * [taylor]: Taking taylor expansion of 0 in a 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [taylor]: Taking taylor expansion of 0 in a 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [taylor]: Taking taylor expansion of 0 in a 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.794 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.794 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.795 * [taylor]: Taking taylor expansion of 0 in a 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [taylor]: Taking taylor expansion of 0 in a 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [taylor]: Taking taylor expansion of 0 in a 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1) 4.795 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.795 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.795 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.795 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.795 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.795 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.795 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.795 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.795 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.796 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.796 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.796 * [taylor]: Taking taylor expansion of 0 in a 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [taylor]: Taking taylor expansion of 0 in a 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [taylor]: Taking taylor expansion of 0 in a 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.796 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.796 * [taylor]: Taking taylor expansion of 0 in a 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [taylor]: Taking taylor expansion of 0 in a 4.796 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [taylor]: Taking taylor expansion of 0 in a 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.797 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.797 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.797 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.797 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.797 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.797 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.797 * [taylor]: Taking taylor expansion of 0 in a 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [taylor]: Taking taylor expansion of 0 in a 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [taylor]: Taking taylor expansion of 0 in a 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.798 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 4.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.798 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.798 * [taylor]: Taking taylor expansion of 0 in a 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [taylor]: Taking taylor expansion of 0 in a 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [taylor]: Taking taylor expansion of 0 in a 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.798 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.798 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.798 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.798 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.798 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.799 * [taylor]: Taking taylor expansion of 0 in a 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [taylor]: Taking taylor expansion of 0 in a 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [taylor]: Taking taylor expansion of 0 in a 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.799 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.799 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.800 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.800 * [taylor]: Taking taylor expansion of 0 in a 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [taylor]: Taking taylor expansion of 0 in a 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [taylor]: Taking taylor expansion of 0 in a 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.800 * * * [progress]: simplifying candidates 4.800 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 4.800 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> 4.801 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> 4.801 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> 4.801 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 4.801 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> 4.802 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 43 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 4.802 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 4.803 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)) 4.803 * * [simplify]: iteration 1: (15 enodes) 4.806 * * [simplify]: iteration 2: (49 enodes) 4.819 * * [simplify]: iteration 3: (64 enodes) 4.841 * * [simplify]: iteration 4: (74 enodes) 4.870 * * [simplify]: iteration 5: (88 enodes) 4.897 * * [simplify]: iteration 6: (114 enodes) 4.934 * * [simplify]: iteration 7: (160 enodes) 4.987 * * [simplify]: iteration 8: (263 enodes) 5.065 * * [simplify]: iteration 9: (577 enodes) 5.883 * * [simplify]: Extracting #0: cost 10 inf + 0 5.883 * * [simplify]: Extracting #1: cost 69 inf + 0 5.885 * * [simplify]: Extracting #2: cost 244 inf + 2 5.892 * * [simplify]: Extracting #3: cost 235 inf + 4839 5.902 * * [simplify]: Extracting #4: cost 149 inf + 73424 5.934 * * [simplify]: Extracting #5: cost 15 inf + 204711 5.973 * * [simplify]: Extracting #6: cost 1 inf + 210497 5.993 * * [simplify]: Extracting #7: cost 0 inf + 210457 6.013 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)) 6.014 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 6.014 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))) 6.014 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 6.014 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))) 6.014 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 6.014 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 6.014 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))) 6.014 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 6.014 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))) 6.014 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 6.014 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))) 6.014 * [simplify]: Simplified (2 2 1 2 1 1 2) 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))) 6.015 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 6.015 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))) 6.015 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 6.015 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))) 6.015 * [simplify]: Simplified (2 2 1 2 1 1 2) 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))) 6.015 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 6.015 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> 6.015 * [simplify]: Simplified (2 2 1 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))) 6.015 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 6.015 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.015 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 6.015 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.015 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 6.016 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 6.016 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.016 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 6.016 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.016 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 6.016 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.016 * [simplify]: Simplified (2 2 1 1 2 1 1 2) 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)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.016 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 6.016 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.016 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 6.016 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.017 * [simplify]: Simplified (2 2 1 1 2 1 1 2) 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)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.017 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 6.018 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> 6.018 * [simplify]: Simplified (2 2 1 1 2 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)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.018 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 6.018 * [simplify]: Simplified (2 2 1 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 (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.018 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 6.018 * [simplify]: Simplified (2 2 1 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 (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.018 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 6.018 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 6.018 * [simplify]: Simplified (2 2 1 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 (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.018 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 6.018 * [simplify]: Simplified (2 2 1 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 (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.018 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 6.018 * [simplify]: Simplified (2 2 1 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 (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.019 * [simplify]: Simplified (2 2 1 1 1 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.019 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 6.019 * [simplify]: Simplified (2 2 1 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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.019 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 6.019 * [simplify]: Simplified (2 2 1 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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.019 * [simplify]: Simplified (2 2 1 1 1 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.019 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 6.019 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> 6.019 * [simplify]: Simplified (2 2 1 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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.019 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 6.019 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.019 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 6.020 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.020 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 6.020 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 6.020 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.020 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 6.020 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.020 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 6.020 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.020 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.020 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 6.020 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.020 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 6.021 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 6.021 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> 6.021 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 6.021 * [simplify]: Simplified (2 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 6.021 * [simplify]: Simplified (2 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * * * * [progress]: [ 43 / 52 ] simplifiying candidate # 6.021 * [simplify]: Simplified (2 2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 6.021 * [simplify]: Simplified (2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 6.021 * [simplify]: Simplified (2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.021 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 6.022 * [simplify]: Simplified (2 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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.022 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 6.022 * [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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.022 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 6.022 * [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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.022 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 6.022 * [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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.022 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 6.022 * [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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.022 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 6.022 * [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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.022 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 6.022 * [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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) 6.022 * * * [progress]: adding candidates to table 6.923 * [progress]: [Phase 3 of 3] Extracting. 6.923 * * [regime]: Finding splitpoints for: (# # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #) 6.926 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 6.926 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #) 7.052 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #) 7.191 * * * * [regimes]: Trying to branch on c from (# # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #) 7.334 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #) 7.500 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # #real (real->posit16 (fmod (cosh c) (log1p a))))))))))> # # # #real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #) 7.669 * * * [regime]: Found split indices: #