0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.886 * * * [progress]: [2/2] Setting up program. 0.893 * [progress]: [Phase 2 of 3] Improving. 0.893 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.895 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.896 * * [simplify]: iters left: 2 (5 enodes) 0.903 * * [simplify]: iters left: 1 (21 enodes) 0.912 * * [simplify]: Extracting #0: cost 1 inf + 0 0.912 * * [simplify]: Extracting #1: cost 4 inf + 0 0.912 * * [simplify]: Extracting #2: cost 10 inf + 0 0.913 * * [simplify]: Extracting #3: cost 10 inf + 3 0.913 * * [simplify]: Extracting #4: cost 9 inf + 368 0.913 * * [simplify]: Extracting #5: cost 5 inf + 809 0.914 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.914 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.915 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.922 * * [progress]: iteration 1 / 4 0.923 * * * [progress]: picking best candidate 0.928 * * * * [pick]: Picked # 0.928 * * * [progress]: localizing error 0.948 * * * [progress]: generating rewritten candidates 0.948 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.950 * * * [progress]: generating series expansions 0.950 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.954 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.954 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.956 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.956 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.956 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.957 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.957 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.957 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.957 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.957 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.957 * [taylor]: Taking taylor expansion of 0 in a 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [taylor]: Taking taylor expansion of 0 in a 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [taylor]: Taking taylor expansion of 0 in a 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.958 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.959 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.959 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.959 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.959 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.959 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.960 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.960 * [taylor]: Taking taylor expansion of 0 in a 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [taylor]: Taking taylor expansion of 0 in a 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [taylor]: Taking taylor expansion of 0 in a 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.977 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.977 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.978 * [taylor]: Taking taylor expansion of 0 in a 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [taylor]: Taking taylor expansion of 0 in a 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [taylor]: Taking taylor expansion of 0 in a 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.978 * * * [progress]: simplifying candidates 0.978 * * * * [progress]: [ 1 / 11 ] simplifiying candidate # 0.978 * * * * [progress]: [ 2 / 11 ] simplifiying candidate # 0.978 * * * * [progress]: [ 3 / 11 ] simplifiying candidate # 0.978 * * * * [progress]: [ 4 / 11 ] simplifiying candidate # 0.978 * * * * [progress]: [ 5 / 11 ] simplifiying candidate # 0.979 * * * * [progress]: [ 6 / 11 ] simplifiying candidate # 0.979 * * * * [progress]: [ 7 / 11 ] simplifiying candidate # 0.979 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 0.979 * * * * [progress]: [ 9 / 11 ] simplifiying candidate # 0.979 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.979 * * [simplify]: iters left: 2 (5 enodes) 0.980 * * [simplify]: iters left: 1 (21 enodes) 0.984 * * [simplify]: Extracting #0: cost 1 inf + 0 0.984 * * [simplify]: Extracting #1: cost 4 inf + 0 0.984 * * [simplify]: Extracting #2: cost 10 inf + 0 0.984 * * [simplify]: Extracting #3: cost 10 inf + 3 0.984 * * [simplify]: Extracting #4: cost 9 inf + 368 0.984 * * [simplify]: Extracting #5: cost 5 inf + 809 0.984 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.984 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.984 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.984 * * * * [progress]: [ 10 / 11 ] simplifiying candidate # 0.985 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.985 * * [simplify]: iters left: 2 (5 enodes) 0.986 * * [simplify]: iters left: 1 (21 enodes) 0.990 * * [simplify]: Extracting #0: cost 1 inf + 0 0.990 * * [simplify]: Extracting #1: cost 4 inf + 0 0.990 * * [simplify]: Extracting #2: cost 10 inf + 0 0.990 * * [simplify]: Extracting #3: cost 10 inf + 3 0.990 * * [simplify]: Extracting #4: cost 9 inf + 368 0.990 * * [simplify]: Extracting #5: cost 5 inf + 809 0.990 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.990 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.990 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.990 * * * * [progress]: [ 11 / 11 ] simplifiying candidate # 0.990 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.991 * * [simplify]: iters left: 2 (5 enodes) 0.992 * * [simplify]: iters left: 1 (21 enodes) 0.995 * * [simplify]: Extracting #0: cost 1 inf + 0 0.995 * * [simplify]: Extracting #1: cost 4 inf + 0 0.995 * * [simplify]: Extracting #2: cost 10 inf + 0 0.995 * * [simplify]: Extracting #3: cost 10 inf + 3 0.995 * * [simplify]: Extracting #4: cost 9 inf + 368 0.995 * * [simplify]: Extracting #5: cost 5 inf + 809 0.995 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.996 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.996 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.996 * * * [progress]: adding candidates to table 1.143 * * [progress]: iteration 2 / 4 1.143 * * * [progress]: picking best candidate 1.184 * * * * [pick]: Picked # 1.184 * * * [progress]: localizing error 1.215 * * * [progress]: generating rewritten candidates 1.215 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.215 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.216 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.232 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.235 * * * [progress]: generating series expansions 1.235 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.235 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.235 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.235 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.235 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.235 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.235 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.235 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.235 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.235 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.235 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.235 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.235 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.236 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.237 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.237 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.238 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.238 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.238 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.239 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.239 * [taylor]: Taking taylor expansion of 0 in a 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [taylor]: Taking taylor expansion of 0 in a 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [taylor]: Taking taylor expansion of 0 in a 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify 0 into 0 1.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.240 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.240 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.240 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.240 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.240 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.240 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.240 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.240 * [taylor]: Taking taylor expansion of 0 in a 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [taylor]: Taking taylor expansion of 0 in a 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [taylor]: Taking taylor expansion of 0 in a 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.240 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.241 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.241 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.241 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.241 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.241 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.241 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.241 * [taylor]: Taking taylor expansion of 0 in a 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [taylor]: Taking taylor expansion of 0 in a 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [taylor]: Taking taylor expansion of 0 in a 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.241 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.241 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.241 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.241 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.241 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.242 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.242 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.242 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.242 * [taylor]: Taking taylor expansion of 0 in a 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [taylor]: Taking taylor expansion of 0 in a 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [taylor]: Taking taylor expansion of 0 in a 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [backup-simplify]: Simplify 0 into 0 1.242 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.242 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.242 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.243 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.243 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.243 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.243 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.243 * [taylor]: Taking taylor expansion of 0 in a 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [taylor]: Taking taylor expansion of 0 in a 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [taylor]: Taking taylor expansion of 0 in a 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.243 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.243 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1.243 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0 1.243 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 1.243 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.243 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.243 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1.244 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1.244 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 1.244 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.244 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.244 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1.244 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1.244 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 1.244 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.244 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.244 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1.244 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1.244 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 1.244 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.244 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.244 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1.244 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1.244 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1.244 * [taylor]: Taking taylor expansion of 0 in a 1.244 * [backup-simplify]: Simplify 0 into 0 1.244 * [backup-simplify]: Simplify 0 into 0 1.244 * [backup-simplify]: Simplify 0 into 0 1.246 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1.246 * [taylor]: Taking taylor expansion of 0 in a 1.246 * [backup-simplify]: Simplify 0 into 0 1.246 * [backup-simplify]: Simplify 0 into 0 1.246 * [backup-simplify]: Simplify 0 into 0 1.246 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1.246 * [backup-simplify]: Simplify 0 into 0 1.247 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 1.247 * [taylor]: Taking taylor expansion of 0 in a 1.247 * [backup-simplify]: Simplify 0 into 0 1.247 * [backup-simplify]: Simplify 0 into 0 1.247 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 1.247 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.247 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.247 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.247 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.247 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.247 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.247 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.247 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.247 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.248 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.248 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.248 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.248 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.248 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.248 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.248 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.248 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.249 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.249 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.249 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.249 * [taylor]: Taking taylor expansion of 0 in a 1.249 * [backup-simplify]: Simplify 0 into 0 1.249 * [backup-simplify]: Simplify 0 into 0 1.249 * [backup-simplify]: Simplify 0 into 0 1.250 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.250 * [taylor]: Taking taylor expansion of 0 in a 1.250 * [backup-simplify]: Simplify 0 into 0 1.250 * [backup-simplify]: Simplify 0 into 0 1.250 * [backup-simplify]: Simplify 0 into 0 1.250 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.250 * [backup-simplify]: Simplify 0 into 0 1.251 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.251 * [taylor]: Taking taylor expansion of 0 in a 1.251 * [backup-simplify]: Simplify 0 into 0 1.251 * [backup-simplify]: Simplify 0 into 0 1.251 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a))) 1.251 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.251 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.251 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.251 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.252 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.252 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.252 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.252 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.252 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.252 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.253 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.253 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.253 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.253 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.253 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.253 * [taylor]: Taking taylor expansion of 0 in a 1.253 * [backup-simplify]: Simplify 0 into 0 1.253 * [backup-simplify]: Simplify 0 into 0 1.254 * [backup-simplify]: Simplify 0 into 0 1.254 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.254 * [taylor]: Taking taylor expansion of 0 in a 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.255 * [backup-simplify]: Simplify 0 into 0 1.257 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.257 * [taylor]: Taking taylor expansion of 0 in a 1.257 * [backup-simplify]: Simplify 0 into 0 1.257 * [backup-simplify]: Simplify 0 into 0 1.257 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a))) 1.257 * * * [progress]: simplifying candidates 1.257 * * * * [progress]: [ 1 / 92 ] simplifiying candidate # 1.257 * * * * [progress]: [ 2 / 92 ] simplifiying candidate # 1.257 * * * * [progress]: [ 3 / 92 ] simplifiying candidate # 1.257 * * * * [progress]: [ 4 / 92 ] simplifiying candidate # 1.257 * * * * [progress]: [ 5 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 6 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 7 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 8 / 92 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 1.258 * * * * [progress]: [ 9 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 10 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 11 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 12 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 13 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 14 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 15 / 92 ] simplifiying candidate # 1.258 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> 1.258 * * * * [progress]: [ 17 / 92 ] simplifiying candidate # 1.259 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.259 * * [simplify]: iters left: 2 (5 enodes) 1.261 * * [simplify]: iters left: 1 (21 enodes) 1.267 * * [simplify]: Extracting #0: cost 1 inf + 0 1.268 * * [simplify]: Extracting #1: cost 4 inf + 0 1.268 * * [simplify]: Extracting #2: cost 10 inf + 0 1.268 * * [simplify]: Extracting #3: cost 10 inf + 3 1.268 * * [simplify]: Extracting #4: cost 9 inf + 368 1.268 * * [simplify]: Extracting #5: cost 5 inf + 809 1.268 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.269 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.269 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 1/2))) 1.269 * [simplify]: Simplifying (+ 1/2 1/2) 1.269 * * [simplify]: iters left: 2 (2 enodes) 1.273 * * [simplify]: iters left: 1 (7 enodes) 1.275 * * [simplify]: Extracting #0: cost 1 inf + 0 1.275 * * [simplify]: Extracting #1: cost 0 inf + 1 1.275 * [simplify]: Simplified to 1 1.275 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 1.276 * * * * [progress]: [ 18 / 92 ] simplifiying candidate # 1.276 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.276 * * [simplify]: iters left: 2 (5 enodes) 1.278 * * [simplify]: iters left: 1 (21 enodes) 1.285 * * [simplify]: Extracting #0: cost 1 inf + 0 1.285 * * [simplify]: Extracting #1: cost 4 inf + 0 1.285 * * [simplify]: Extracting #2: cost 10 inf + 0 1.286 * * [simplify]: Extracting #3: cost 10 inf + 3 1.286 * * [simplify]: Extracting #4: cost 9 inf + 368 1.286 * * [simplify]: Extracting #5: cost 5 inf + 809 1.286 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.287 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.287 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 (/ 1 2)))) 1.287 * [simplify]: Simplifying (+ 1/2 (/ 1 2)) 1.287 * * [simplify]: iters left: 4 (5 enodes) 1.293 * * [simplify]: iters left: 3 (18 enodes) 1.300 * * [simplify]: iters left: 2 (20 enodes) 1.306 * * [simplify]: Extracting #0: cost 1 inf + 0 1.306 * * [simplify]: Extracting #1: cost 0 inf + 1 1.306 * [simplify]: Simplified to 1 1.306 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 1.307 * * * * [progress]: [ 19 / 92 ] simplifiying candidate # 1.307 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1.307 * * [simplify]: iters left: 3 (6 enodes) 1.310 * * [simplify]: iters left: 2 (24 enodes) 1.317 * * [simplify]: iters left: 1 (37 enodes) 1.328 * * [simplify]: Extracting #0: cost 1 inf + 0 1.328 * * [simplify]: Extracting #1: cost 3 inf + 0 1.328 * * [simplify]: Extracting #2: cost 6 inf + 0 1.328 * * [simplify]: Extracting #3: cost 12 inf + 0 1.328 * * [simplify]: Extracting #4: cost 12 inf + 3 1.328 * * [simplify]: Extracting #5: cost 13 inf + 221 1.329 * * [simplify]: Extracting #6: cost 6 inf + 1172 1.329 * * [simplify]: Extracting #7: cost 1 inf + 1913 1.330 * * [simplify]: Extracting #8: cost 0 inf + 2134 1.330 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1.330 * [simplify]: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1))) 1.330 * [simplify]: Simplifying (+ 1 1) 1.330 * * [simplify]: iters left: 2 (2 enodes) 1.333 * * [simplify]: iters left: 1 (9 enodes) 1.336 * * [simplify]: Extracting #0: cost 1 inf + 0 1.336 * * [simplify]: Extracting #1: cost 0 inf + 1 1.336 * [simplify]: Simplified to 2 1.336 * [simplify]: Simplified (2 2) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2)) 1.336 * * * * [progress]: [ 20 / 92 ] simplifiying candidate # 1.336 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.336 * * [simplify]: iters left: 2 (5 enodes) 1.338 * * [simplify]: iters left: 1 (21 enodes) 1.345 * * [simplify]: Extracting #0: cost 1 inf + 0 1.345 * * [simplify]: Extracting #1: cost 4 inf + 0 1.345 * * [simplify]: Extracting #2: cost 10 inf + 0 1.345 * * [simplify]: Extracting #3: cost 10 inf + 3 1.345 * * [simplify]: Extracting #4: cost 9 inf + 368 1.345 * * [simplify]: Extracting #5: cost 5 inf + 809 1.345 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.346 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.346 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) 1/2))) 1.346 * [simplify]: Simplifying (+ (/ 1 2) 1/2) 1.346 * * [simplify]: iters left: 4 (5 enodes) 1.353 * * [simplify]: iters left: 3 (18 enodes) 1.358 * * [simplify]: iters left: 2 (20 enodes) 1.364 * * [simplify]: Extracting #0: cost 1 inf + 0 1.364 * * [simplify]: Extracting #1: cost 0 inf + 1 1.364 * [simplify]: Simplified to 1 1.364 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 1.364 * * * * [progress]: [ 21 / 92 ] simplifiying candidate # 1.364 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.364 * * [simplify]: iters left: 2 (5 enodes) 1.366 * * [simplify]: iters left: 1 (21 enodes) 1.373 * * [simplify]: Extracting #0: cost 1 inf + 0 1.373 * * [simplify]: Extracting #1: cost 4 inf + 0 1.373 * * [simplify]: Extracting #2: cost 10 inf + 0 1.373 * * [simplify]: Extracting #3: cost 10 inf + 3 1.373 * * [simplify]: Extracting #4: cost 9 inf + 368 1.373 * * [simplify]: Extracting #5: cost 5 inf + 809 1.374 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.374 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.374 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) (/ 1 2)))) 1.374 * [simplify]: Simplifying (+ (/ 1 2) (/ 1 2)) 1.374 * * [simplify]: iters left: 4 (4 enodes) 1.382 * * [simplify]: iters left: 3 (15 enodes) 1.387 * * [simplify]: iters left: 2 (17 enodes) 1.392 * * [simplify]: Extracting #0: cost 1 inf + 0 1.392 * * [simplify]: Extracting #1: cost 0 inf + 1 1.392 * [simplify]: Simplified to 1 1.392 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 1.392 * * * * [progress]: [ 22 / 92 ] simplifiying candidate # 1.393 * [simplify]: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1.393 * * [simplify]: iters left: 4 (6 enodes) 1.395 * * [simplify]: iters left: 3 (24 enodes) 1.399 * * [simplify]: iters left: 2 (37 enodes) 1.405 * * [simplify]: iters left: 1 (41 enodes) 1.411 * * [simplify]: Extracting #0: cost 1 inf + 0 1.411 * * [simplify]: Extracting #1: cost 3 inf + 0 1.411 * * [simplify]: Extracting #2: cost 6 inf + 0 1.411 * * [simplify]: Extracting #3: cost 12 inf + 0 1.411 * * [simplify]: Extracting #4: cost 12 inf + 3 1.411 * * [simplify]: Extracting #5: cost 13 inf + 221 1.411 * * [simplify]: Extracting #6: cost 6 inf + 1172 1.412 * * [simplify]: Extracting #7: cost 1 inf + 1913 1.412 * * [simplify]: Extracting #8: cost 0 inf + 2134 1.412 * [simplify]: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1.412 * [simplify]: Simplified (2 1) to (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2)) 1.412 * * * * [progress]: [ 23 / 92 ] simplifiying candidate # 1.412 * [simplify]: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1.412 * * [simplify]: iters left: 5 (7 enodes) 1.414 * * [simplify]: iters left: 4 (25 enodes) 1.418 * * [simplify]: iters left: 3 (39 enodes) 1.423 * * [simplify]: iters left: 2 (43 enodes) 1.435 * * [simplify]: iters left: 1 (45 enodes) 1.447 * * [simplify]: Extracting #0: cost 1 inf + 0 1.448 * * [simplify]: Extracting #1: cost 5 inf + 0 1.448 * * [simplify]: Extracting #2: cost 12 inf + 0 1.448 * * [simplify]: Extracting #3: cost 12 inf + 3 1.448 * * [simplify]: Extracting #4: cost 12 inf + 277 1.448 * * [simplify]: Extracting #5: cost 6 inf + 1066 1.449 * * [simplify]: Extracting #6: cost 0 inf + 2134 1.449 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.449 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 1.449 * * * * [progress]: [ 24 / 92 ] simplifiying candidate # 1.450 * [simplify]: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1.450 * * [simplify]: iters left: 4 (6 enodes) 1.453 * * [simplify]: iters left: 3 (24 enodes) 1.461 * * [simplify]: iters left: 2 (37 enodes) 1.471 * * [simplify]: iters left: 1 (41 enodes) 1.482 * * [simplify]: Extracting #0: cost 1 inf + 0 1.482 * * [simplify]: Extracting #1: cost 3 inf + 0 1.482 * * [simplify]: Extracting #2: cost 6 inf + 0 1.482 * * [simplify]: Extracting #3: cost 12 inf + 0 1.482 * * [simplify]: Extracting #4: cost 12 inf + 3 1.483 * * [simplify]: Extracting #5: cost 13 inf + 221 1.483 * * [simplify]: Extracting #6: cost 6 inf + 1172 1.483 * * [simplify]: Extracting #7: cost 1 inf + 1913 1.484 * * [simplify]: Extracting #8: cost 0 inf + 2134 1.484 * [simplify]: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1.484 * [simplify]: Simplified (2 1) to (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (/ 1 2))) 1.484 * [simplify]: Simplifying (/ 1 2) 1.484 * * [simplify]: iters left: 2 (3 enodes) 1.487 * * [simplify]: iters left: 1 (12 enodes) 1.491 * * [simplify]: Extracting #0: cost 1 inf + 0 1.491 * * [simplify]: Extracting #1: cost 0 inf + 1 1.491 * [simplify]: Simplified to 1/2 1.491 * [simplify]: Simplified (2 2) to (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2)) 1.491 * * * * [progress]: [ 25 / 92 ] simplifiying candidate # 1.491 * * * * [progress]: [ 26 / 92 ] simplifiying candidate # 1.492 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 1.492 * * [simplify]: iters left: 3 (6 enodes) 1.494 * * [simplify]: iters left: 2 (24 enodes) 1.500 * * [simplify]: iters left: 1 (37 enodes) 1.511 * * [simplify]: Extracting #0: cost 1 inf + 0 1.511 * * [simplify]: Extracting #1: cost 3 inf + 0 1.511 * * [simplify]: Extracting #2: cost 6 inf + 0 1.511 * * [simplify]: Extracting #3: cost 12 inf + 0 1.511 * * [simplify]: Extracting #4: cost 12 inf + 3 1.511 * * [simplify]: Extracting #5: cost 13 inf + 221 1.511 * * [simplify]: Extracting #6: cost 6 inf + 1172 1.511 * * [simplify]: Extracting #7: cost 1 inf + 1913 1.511 * * [simplify]: Extracting #8: cost 0 inf + 2134 1.512 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1.512 * [simplify]: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1))) 1.512 * * * * [progress]: [ 27 / 92 ] simplifiying candidate # 1.512 * * * * [progress]: [ 28 / 92 ] simplifiying candidate # 1.512 * [simplify]: Simplifying (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 1.512 * * [simplify]: iters left: 6 (8 enodes) 1.514 * * [simplify]: iters left: 5 (30 enodes) 1.518 * * [simplify]: iters left: 4 (43 enodes) 1.525 * * [simplify]: iters left: 3 (47 enodes) 1.532 * * [simplify]: iters left: 2 (49 enodes) 1.539 * * [simplify]: Extracting #0: cost 1 inf + 0 1.539 * * [simplify]: Extracting #1: cost 3 inf + 0 1.540 * * [simplify]: Extracting #2: cost 5 inf + 0 1.540 * * [simplify]: Extracting #3: cost 7 inf + 0 1.540 * * [simplify]: Extracting #4: cost 10 inf + 0 1.540 * * [simplify]: Extracting #5: cost 16 inf + 0 1.540 * * [simplify]: Extracting #6: cost 15 inf + 94 1.540 * * [simplify]: Extracting #7: cost 16 inf + 312 1.540 * * [simplify]: Extracting #8: cost 9 inf + 1429 1.540 * * [simplify]: Extracting #9: cost 0 inf + 3522 1.541 * [simplify]: Simplified to (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 1.541 * [simplify]: Simplified (2 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 1.541 * * * * [progress]: [ 29 / 92 ] simplifiying candidate # 1.541 * * * * [progress]: [ 30 / 92 ] simplifiying candidate # 1.541 * * * * [progress]: [ 31 / 92 ] simplifiying candidate # 1.541 * [simplify]: Simplifying (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) 1.541 * * [simplify]: iters left: 6 (9 enodes) 1.543 * * [simplify]: iters left: 5 (38 enodes) 1.550 * * [simplify]: iters left: 4 (64 enodes) 1.562 * * [simplify]: iters left: 3 (81 enodes) 1.577 * * [simplify]: iters left: 2 (115 enodes) 1.624 * * [simplify]: iters left: 1 (199 enodes) 1.703 * * [simplify]: Extracting #0: cost 1 inf + 0 1.703 * * [simplify]: Extracting #1: cost 23 inf + 0 1.703 * * [simplify]: Extracting #2: cost 90 inf + 3 1.703 * * [simplify]: Extracting #3: cost 100 inf + 10 1.704 * * [simplify]: Extracting #4: cost 96 inf + 218 1.705 * * [simplify]: Extracting #5: cost 46 inf + 23406 1.709 * * [simplify]: Extracting #6: cost 6 inf + 43554 1.714 * * [simplify]: Extracting #7: cost 0 inf + 46550 1.718 * [simplify]: Simplified to (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) 1.718 * [simplify]: Simplified (2 1) to (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) 1.718 * * * * [progress]: [ 32 / 92 ] simplifiying candidate # 1.718 * * * * [progress]: [ 33 / 92 ] simplifiying candidate # 1.718 * * * * [progress]: [ 34 / 92 ] simplifiying candidate # 1.719 * [simplify]: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1.719 * * [simplify]: iters left: 4 (6 enodes) 1.721 * * [simplify]: iters left: 3 (24 enodes) 1.733 * * [simplify]: iters left: 2 (37 enodes) 1.740 * * [simplify]: iters left: 1 (41 enodes) 1.747 * * [simplify]: Extracting #0: cost 1 inf + 0 1.747 * * [simplify]: Extracting #1: cost 3 inf + 0 1.747 * * [simplify]: Extracting #2: cost 6 inf + 0 1.747 * * [simplify]: Extracting #3: cost 12 inf + 0 1.747 * * [simplify]: Extracting #4: cost 12 inf + 3 1.747 * * [simplify]: Extracting #5: cost 13 inf + 221 1.747 * * [simplify]: Extracting #6: cost 6 inf + 1172 1.747 * * [simplify]: Extracting #7: cost 1 inf + 1913 1.747 * * [simplify]: Extracting #8: cost 0 inf + 2134 1.748 * [simplify]: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1.748 * [simplify]: Simplified (2 1) to (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) 1.748 * * * * [progress]: [ 35 / 92 ] simplifiying candidate # 1.748 * * * * [progress]: [ 36 / 92 ] simplifiying candidate # 1.748 * [simplify]: Simplifying (cosh c) 1.748 * * [simplify]: iters left: 1 (2 enodes) 1.749 * * [simplify]: Extracting #0: cost 1 inf + 0 1.749 * * [simplify]: Extracting #1: cost 5 inf + 0 1.749 * * [simplify]: Extracting #2: cost 5 inf + 2 1.749 * * [simplify]: Extracting #3: cost 3 inf + 185 1.749 * * [simplify]: Extracting #4: cost 0 inf + 558 1.749 * [simplify]: Simplified to (cosh c) 1.749 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a))) 1.749 * [simplify]: Simplifying (log1p a) 1.749 * * [simplify]: iters left: 1 (2 enodes) 1.750 * * [simplify]: Extracting #0: cost 1 inf + 0 1.750 * * [simplify]: Extracting #1: cost 3 inf + 0 1.750 * * [simplify]: Extracting #2: cost 2 inf + 1 1.750 * * [simplify]: Extracting #3: cost 0 inf + 183 1.750 * [simplify]: Simplified to (log1p a) 1.750 * [simplify]: Simplified (2 2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.750 * * * * [progress]: [ 37 / 92 ] simplifiying candidate # 1.750 * * * * [progress]: [ 38 / 92 ] simplifiying candidate # 1.750 * [simplify]: Simplifying (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 1.750 * * [simplify]: iters left: 6 (9 enodes) 1.752 * * [simplify]: iters left: 5 (37 enodes) 1.761 * * [simplify]: iters left: 4 (54 enodes) 1.778 * * [simplify]: iters left: 3 (67 enodes) 1.799 * * [simplify]: iters left: 2 (87 enodes) 1.818 * * [simplify]: iters left: 1 (133 enodes) 1.857 * * [simplify]: Extracting #0: cost 1 inf + 0 1.858 * * [simplify]: Extracting #1: cost 13 inf + 0 1.858 * * [simplify]: Extracting #2: cost 40 inf + 1 1.858 * * [simplify]: Extracting #3: cost 41 inf + 7 1.858 * * [simplify]: Extracting #4: cost 45 inf + 9 1.859 * * [simplify]: Extracting #5: cost 42 inf + 250 1.859 * * [simplify]: Extracting #6: cost 40 inf + 1068 1.861 * * [simplify]: Extracting #7: cost 25 inf + 6596 1.864 * * [simplify]: Extracting #8: cost 8 inf + 16704 1.868 * * [simplify]: Extracting #9: cost 0 inf + 22594 1.873 * [simplify]: Simplified to (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) 1.873 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))) 1.873 * [simplify]: Simplifying (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 1.873 * * [simplify]: iters left: 6 (8 enodes) 1.877 * * [simplify]: iters left: 5 (30 enodes) 1.886 * * [simplify]: iters left: 4 (43 enodes) 1.895 * * [simplify]: iters left: 3 (47 enodes) 1.901 * * [simplify]: iters left: 2 (49 enodes) 1.908 * * [simplify]: Extracting #0: cost 1 inf + 0 1.908 * * [simplify]: Extracting #1: cost 3 inf + 0 1.908 * * [simplify]: Extracting #2: cost 5 inf + 0 1.908 * * [simplify]: Extracting #3: cost 7 inf + 0 1.909 * * [simplify]: Extracting #4: cost 10 inf + 0 1.909 * * [simplify]: Extracting #5: cost 16 inf + 0 1.909 * * [simplify]: Extracting #6: cost 15 inf + 94 1.909 * * [simplify]: Extracting #7: cost 16 inf + 312 1.909 * * [simplify]: Extracting #8: cost 9 inf + 1429 1.909 * * [simplify]: Extracting #9: cost 0 inf + 3562 1.909 * [simplify]: Simplified to (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 1.910 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))) 1.910 * * * * [progress]: [ 39 / 92 ] simplifiying candidate # 1.910 * [simplify]: Simplifying (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 1.910 * * [simplify]: iters left: 6 (9 enodes) 1.912 * * [simplify]: iters left: 5 (32 enodes) 1.916 * * [simplify]: iters left: 4 (46 enodes) 1.924 * * [simplify]: iters left: 3 (50 enodes) 1.931 * * [simplify]: iters left: 2 (52 enodes) 1.940 * * [simplify]: Extracting #0: cost 1 inf + 0 1.941 * * [simplify]: Extracting #1: cost 4 inf + 0 1.941 * * [simplify]: Extracting #2: cost 7 inf + 0 1.941 * * [simplify]: Extracting #3: cost 10 inf + 0 1.941 * * [simplify]: Extracting #4: cost 16 inf + 0 1.941 * * [simplify]: Extracting #5: cost 14 inf + 185 1.941 * * [simplify]: Extracting #6: cost 16 inf + 312 1.941 * * [simplify]: Extracting #7: cost 5 inf + 2405 1.942 * * [simplify]: Extracting #8: cost 0 inf + 3562 1.943 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 1.943 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))))) 1.943 * [simplify]: Simplifying (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) 1.944 * * [simplify]: iters left: 6 (8 enodes) 1.947 * * [simplify]: iters left: 5 (28 enodes) 1.955 * * [simplify]: iters left: 4 (42 enodes) 1.969 * * [simplify]: iters left: 3 (46 enodes) 1.982 * * [simplify]: iters left: 2 (48 enodes) 1.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1.994 * * [simplify]: Extracting #1: cost 4 inf + 0 1.994 * * [simplify]: Extracting #2: cost 8 inf + 0 1.994 * * [simplify]: Extracting #3: cost 14 inf + 0 1.994 * * [simplify]: Extracting #4: cost 13 inf + 94 1.994 * * [simplify]: Extracting #5: cost 14 inf + 312 1.994 * * [simplify]: Extracting #6: cost 7 inf + 1509 1.994 * * [simplify]: Extracting #7: cost 1 inf + 2667 1.995 * * [simplify]: Extracting #8: cost 0 inf + 2888 1.995 * [simplify]: Simplified to (cbrt (fmod (cosh c) (log1p a))) 1.995 * [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.995 * * * * [progress]: [ 40 / 92 ] simplifiying candidate # 1.995 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 1.995 * * [simplify]: iters left: 6 (8 enodes) 1.997 * * [simplify]: iters left: 5 (28 enodes) 2.002 * * [simplify]: iters left: 4 (42 enodes) 2.007 * * [simplify]: iters left: 3 (46 enodes) 2.014 * * [simplify]: iters left: 2 (48 enodes) 2.021 * * [simplify]: Extracting #0: cost 1 inf + 0 2.021 * * [simplify]: Extracting #1: cost 4 inf + 0 2.022 * * [simplify]: Extracting #2: cost 8 inf + 0 2.022 * * [simplify]: Extracting #3: cost 14 inf + 0 2.022 * * [simplify]: Extracting #4: cost 13 inf + 94 2.022 * * [simplify]: Extracting #5: cost 14 inf + 312 2.022 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.023 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.023 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.024 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.024 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.024 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.025 * * [simplify]: iters left: 6 (8 enodes) 2.028 * * [simplify]: iters left: 5 (28 enodes) 2.036 * * [simplify]: iters left: 4 (42 enodes) 2.048 * * [simplify]: iters left: 3 (46 enodes) 2.061 * * [simplify]: iters left: 2 (48 enodes) 2.069 * * [simplify]: Extracting #0: cost 1 inf + 0 2.069 * * [simplify]: Extracting #1: cost 4 inf + 0 2.069 * * [simplify]: Extracting #2: cost 8 inf + 0 2.069 * * [simplify]: Extracting #3: cost 14 inf + 0 2.069 * * [simplify]: Extracting #4: cost 13 inf + 94 2.069 * * [simplify]: Extracting #5: cost 14 inf + 312 2.070 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.070 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.070 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.071 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.071 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.071 * * * * [progress]: [ 41 / 92 ] simplifiying candidate # 2.071 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.071 * * [simplify]: iters left: 6 (8 enodes) 2.073 * * [simplify]: iters left: 5 (28 enodes) 2.079 * * [simplify]: iters left: 4 (42 enodes) 2.085 * * [simplify]: iters left: 3 (46 enodes) 2.092 * * [simplify]: iters left: 2 (48 enodes) 2.106 * * [simplify]: Extracting #0: cost 1 inf + 0 2.106 * * [simplify]: Extracting #1: cost 4 inf + 0 2.106 * * [simplify]: Extracting #2: cost 8 inf + 0 2.106 * * [simplify]: Extracting #3: cost 14 inf + 0 2.106 * * [simplify]: Extracting #4: cost 13 inf + 94 2.106 * * [simplify]: Extracting #5: cost 14 inf + 312 2.107 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.107 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.107 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.108 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.108 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.108 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.108 * * [simplify]: iters left: 6 (8 enodes) 2.110 * * [simplify]: iters left: 5 (28 enodes) 2.115 * * [simplify]: iters left: 4 (42 enodes) 2.121 * * [simplify]: iters left: 3 (46 enodes) 2.127 * * [simplify]: iters left: 2 (48 enodes) 2.134 * * [simplify]: Extracting #0: cost 1 inf + 0 2.134 * * [simplify]: Extracting #1: cost 4 inf + 0 2.134 * * [simplify]: Extracting #2: cost 8 inf + 0 2.134 * * [simplify]: Extracting #3: cost 14 inf + 0 2.135 * * [simplify]: Extracting #4: cost 13 inf + 94 2.135 * * [simplify]: Extracting #5: cost 14 inf + 312 2.135 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.135 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.136 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.136 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.137 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.137 * * * * [progress]: [ 42 / 92 ] simplifiying candidate # 2.137 * [simplify]: Simplifying (* (sqrt 1) (sqrt 1)) 2.137 * * [simplify]: iters left: 3 (3 enodes) 2.141 * * [simplify]: iters left: 2 (9 enodes) 2.143 * * [simplify]: iters left: 1 (11 enodes) 2.146 * * [simplify]: Extracting #0: cost 1 inf + 0 2.146 * * [simplify]: Extracting #1: cost 0 inf + 1 2.146 * [simplify]: Simplified to 1 2.146 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) 2.147 * [simplify]: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 2.147 * * [simplify]: iters left: 5 (7 enodes) 2.150 * * [simplify]: iters left: 4 (25 enodes) 2.157 * * [simplify]: iters left: 3 (39 enodes) 2.168 * * [simplify]: iters left: 2 (43 enodes) 2.180 * * [simplify]: iters left: 1 (45 enodes) 2.188 * * [simplify]: Extracting #0: cost 1 inf + 0 2.188 * * [simplify]: Extracting #1: cost 5 inf + 0 2.188 * * [simplify]: Extracting #2: cost 12 inf + 0 2.188 * * [simplify]: Extracting #3: cost 12 inf + 3 2.188 * * [simplify]: Extracting #4: cost 12 inf + 277 2.188 * * [simplify]: Extracting #5: cost 6 inf + 1066 2.188 * * [simplify]: Extracting #6: cost 0 inf + 2134 2.189 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.189 * [simplify]: Simplified (2 2) to (λ (a c) (* 1 (fmod (cosh c) (log1p a)))) 2.189 * * * * [progress]: [ 43 / 92 ] simplifiying candidate # 2.189 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.189 * * [simplify]: iters left: 6 (8 enodes) 2.191 * * [simplify]: iters left: 5 (28 enodes) 2.196 * * [simplify]: iters left: 4 (42 enodes) 2.202 * * [simplify]: iters left: 3 (46 enodes) 2.209 * * [simplify]: iters left: 2 (48 enodes) 2.220 * * [simplify]: Extracting #0: cost 1 inf + 0 2.221 * * [simplify]: Extracting #1: cost 4 inf + 0 2.221 * * [simplify]: Extracting #2: cost 8 inf + 0 2.221 * * [simplify]: Extracting #3: cost 14 inf + 0 2.221 * * [simplify]: Extracting #4: cost 13 inf + 94 2.221 * * [simplify]: Extracting #5: cost 14 inf + 312 2.221 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.222 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.223 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.223 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.223 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.224 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.224 * * [simplify]: iters left: 6 (8 enodes) 2.227 * * [simplify]: iters left: 5 (28 enodes) 2.236 * * [simplify]: iters left: 4 (42 enodes) 2.247 * * [simplify]: iters left: 3 (46 enodes) 2.259 * * [simplify]: iters left: 2 (48 enodes) 2.271 * * [simplify]: Extracting #0: cost 1 inf + 0 2.271 * * [simplify]: Extracting #1: cost 4 inf + 0 2.272 * * [simplify]: Extracting #2: cost 8 inf + 0 2.272 * * [simplify]: Extracting #3: cost 14 inf + 0 2.272 * * [simplify]: Extracting #4: cost 13 inf + 94 2.272 * * [simplify]: Extracting #5: cost 14 inf + 312 2.272 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.273 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.273 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.274 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.274 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.274 * * * * [progress]: [ 44 / 92 ] simplifiying candidate # 2.275 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.275 * * [simplify]: iters left: 6 (8 enodes) 2.278 * * [simplify]: iters left: 5 (28 enodes) 2.287 * * [simplify]: iters left: 4 (42 enodes) 2.299 * * [simplify]: iters left: 3 (46 enodes) 2.313 * * [simplify]: iters left: 2 (48 enodes) 2.321 * * [simplify]: Extracting #0: cost 1 inf + 0 2.321 * * [simplify]: Extracting #1: cost 4 inf + 0 2.321 * * [simplify]: Extracting #2: cost 8 inf + 0 2.321 * * [simplify]: Extracting #3: cost 14 inf + 0 2.321 * * [simplify]: Extracting #4: cost 13 inf + 94 2.321 * * [simplify]: Extracting #5: cost 14 inf + 312 2.321 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.322 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.322 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.322 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.322 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.322 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.322 * * [simplify]: iters left: 6 (8 enodes) 2.325 * * [simplify]: iters left: 5 (28 enodes) 2.330 * * [simplify]: iters left: 4 (42 enodes) 2.336 * * [simplify]: iters left: 3 (46 enodes) 2.343 * * [simplify]: iters left: 2 (48 enodes) 2.355 * * [simplify]: Extracting #0: cost 1 inf + 0 2.355 * * [simplify]: Extracting #1: cost 4 inf + 0 2.355 * * [simplify]: Extracting #2: cost 8 inf + 0 2.355 * * [simplify]: Extracting #3: cost 14 inf + 0 2.355 * * [simplify]: Extracting #4: cost 13 inf + 94 2.356 * * [simplify]: Extracting #5: cost 14 inf + 312 2.356 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.357 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.357 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.358 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.358 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.358 * * * * [progress]: [ 45 / 92 ] simplifiying candidate # 2.358 * [simplify]: Simplifying (* 1 1) 2.359 * * [simplify]: iters left: 2 (2 enodes) 2.360 * * [simplify]: iters left: 1 (6 enodes) 2.362 * * [simplify]: Extracting #0: cost 1 inf + 0 2.362 * * [simplify]: Extracting #1: cost 0 inf + 1 2.362 * [simplify]: Simplified to 1 2.362 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) 2.363 * [simplify]: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 2.363 * * [simplify]: iters left: 5 (7 enodes) 2.366 * * [simplify]: iters left: 4 (25 enodes) 2.373 * * [simplify]: iters left: 3 (39 enodes) 2.384 * * [simplify]: iters left: 2 (43 enodes) 2.396 * * [simplify]: iters left: 1 (45 enodes) 2.402 * * [simplify]: Extracting #0: cost 1 inf + 0 2.402 * * [simplify]: Extracting #1: cost 5 inf + 0 2.402 * * [simplify]: Extracting #2: cost 12 inf + 0 2.402 * * [simplify]: Extracting #3: cost 12 inf + 3 2.402 * * [simplify]: Extracting #4: cost 12 inf + 277 2.402 * * [simplify]: Extracting #5: cost 6 inf + 1066 2.403 * * [simplify]: Extracting #6: cost 0 inf + 2134 2.403 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.403 * [simplify]: Simplified (2 2) to (λ (a c) (* 1 (fmod (cosh c) (log1p a)))) 2.403 * * * * [progress]: [ 46 / 92 ] simplifiying candidate # 2.403 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.403 * * [simplify]: iters left: 6 (8 enodes) 2.405 * * [simplify]: iters left: 5 (28 enodes) 2.409 * * [simplify]: iters left: 4 (42 enodes) 2.415 * * [simplify]: iters left: 3 (46 enodes) 2.422 * * [simplify]: iters left: 2 (48 enodes) 2.434 * * [simplify]: Extracting #0: cost 1 inf + 0 2.434 * * [simplify]: Extracting #1: cost 4 inf + 0 2.434 * * [simplify]: Extracting #2: cost 8 inf + 0 2.434 * * [simplify]: Extracting #3: cost 14 inf + 0 2.434 * * [simplify]: Extracting #4: cost 13 inf + 94 2.434 * * [simplify]: Extracting #5: cost 14 inf + 312 2.435 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.435 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.436 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.437 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.437 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.437 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.437 * * [simplify]: iters left: 6 (8 enodes) 2.442 * * [simplify]: iters left: 5 (28 enodes) 2.451 * * [simplify]: iters left: 4 (42 enodes) 2.463 * * [simplify]: iters left: 3 (46 enodes) 2.475 * * [simplify]: iters left: 2 (48 enodes) 2.487 * * [simplify]: Extracting #0: cost 1 inf + 0 2.487 * * [simplify]: Extracting #1: cost 4 inf + 0 2.487 * * [simplify]: Extracting #2: cost 8 inf + 0 2.487 * * [simplify]: Extracting #3: cost 14 inf + 0 2.487 * * [simplify]: Extracting #4: cost 13 inf + 94 2.487 * * [simplify]: Extracting #5: cost 14 inf + 312 2.488 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.488 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.489 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.489 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.489 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.489 * * * * [progress]: [ 47 / 92 ] simplifiying candidate # 2.490 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.490 * * [simplify]: iters left: 6 (8 enodes) 2.493 * * [simplify]: iters left: 5 (28 enodes) 2.499 * * [simplify]: iters left: 4 (42 enodes) 2.505 * * [simplify]: iters left: 3 (46 enodes) 2.512 * * [simplify]: iters left: 2 (48 enodes) 2.519 * * [simplify]: Extracting #0: cost 1 inf + 0 2.519 * * [simplify]: Extracting #1: cost 4 inf + 0 2.519 * * [simplify]: Extracting #2: cost 8 inf + 0 2.519 * * [simplify]: Extracting #3: cost 14 inf + 0 2.519 * * [simplify]: Extracting #4: cost 13 inf + 94 2.519 * * [simplify]: Extracting #5: cost 14 inf + 312 2.519 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.520 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.520 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.520 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.520 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.521 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.521 * * [simplify]: iters left: 6 (8 enodes) 2.522 * * [simplify]: iters left: 5 (28 enodes) 2.527 * * [simplify]: iters left: 4 (42 enodes) 2.538 * * [simplify]: iters left: 3 (46 enodes) 2.549 * * [simplify]: iters left: 2 (48 enodes) 2.556 * * [simplify]: Extracting #0: cost 1 inf + 0 2.556 * * [simplify]: Extracting #1: cost 4 inf + 0 2.556 * * [simplify]: Extracting #2: cost 8 inf + 0 2.556 * * [simplify]: Extracting #3: cost 14 inf + 0 2.556 * * [simplify]: Extracting #4: cost 13 inf + 94 2.557 * * [simplify]: Extracting #5: cost 14 inf + 312 2.557 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.557 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.557 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.558 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.558 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.558 * * * * [progress]: [ 48 / 92 ] simplifiying candidate # 2.558 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.558 * * [simplify]: iters left: 6 (8 enodes) 2.561 * * [simplify]: iters left: 5 (28 enodes) 2.566 * * [simplify]: iters left: 4 (42 enodes) 2.572 * * [simplify]: iters left: 3 (46 enodes) 2.578 * * [simplify]: iters left: 2 (48 enodes) 2.585 * * [simplify]: Extracting #0: cost 1 inf + 0 2.585 * * [simplify]: Extracting #1: cost 4 inf + 0 2.585 * * [simplify]: Extracting #2: cost 8 inf + 0 2.585 * * [simplify]: Extracting #3: cost 14 inf + 0 2.585 * * [simplify]: Extracting #4: cost 13 inf + 94 2.585 * * [simplify]: Extracting #5: cost 14 inf + 312 2.585 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.586 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.586 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.586 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.586 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.587 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.587 * * [simplify]: iters left: 6 (8 enodes) 2.588 * * [simplify]: iters left: 5 (28 enodes) 2.593 * * [simplify]: iters left: 4 (42 enodes) 2.599 * * [simplify]: iters left: 3 (46 enodes) 2.611 * * [simplify]: iters left: 2 (48 enodes) 2.624 * * [simplify]: Extracting #0: cost 1 inf + 0 2.625 * * [simplify]: Extracting #1: cost 4 inf + 0 2.625 * * [simplify]: Extracting #2: cost 8 inf + 0 2.625 * * [simplify]: Extracting #3: cost 14 inf + 0 2.625 * * [simplify]: Extracting #4: cost 13 inf + 94 2.625 * * [simplify]: Extracting #5: cost 14 inf + 312 2.625 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.626 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.626 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.627 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.627 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.627 * * * * [progress]: [ 49 / 92 ] simplifiying candidate # 2.627 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.627 * * [simplify]: iters left: 6 (8 enodes) 2.629 * * [simplify]: iters left: 5 (28 enodes) 2.633 * * [simplify]: iters left: 4 (42 enodes) 2.640 * * [simplify]: iters left: 3 (46 enodes) 2.647 * * [simplify]: iters left: 2 (48 enodes) 2.654 * * [simplify]: Extracting #0: cost 1 inf + 0 2.654 * * [simplify]: Extracting #1: cost 4 inf + 0 2.654 * * [simplify]: Extracting #2: cost 8 inf + 0 2.654 * * [simplify]: Extracting #3: cost 14 inf + 0 2.654 * * [simplify]: Extracting #4: cost 13 inf + 94 2.654 * * [simplify]: Extracting #5: cost 14 inf + 312 2.654 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.655 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.656 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.657 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.657 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 2.657 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 2.657 * * [simplify]: iters left: 6 (8 enodes) 2.659 * * [simplify]: iters left: 5 (28 enodes) 2.664 * * [simplify]: iters left: 4 (42 enodes) 2.676 * * [simplify]: iters left: 3 (46 enodes) 2.689 * * [simplify]: iters left: 2 (48 enodes) 2.704 * * [simplify]: Extracting #0: cost 1 inf + 0 2.704 * * [simplify]: Extracting #1: cost 4 inf + 0 2.704 * * [simplify]: Extracting #2: cost 8 inf + 0 2.704 * * [simplify]: Extracting #3: cost 14 inf + 0 2.704 * * [simplify]: Extracting #4: cost 13 inf + 94 2.704 * * [simplify]: Extracting #5: cost 14 inf + 312 2.704 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.705 * * [simplify]: Extracting #7: cost 1 inf + 2507 2.706 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.706 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.706 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))) 2.706 * * * * [progress]: [ 50 / 92 ] simplifiying candidate # 2.707 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.707 * * [simplify]: iters left: 2 (5 enodes) 2.709 * * [simplify]: iters left: 1 (21 enodes) 2.716 * * [simplify]: Extracting #0: cost 1 inf + 0 2.716 * * [simplify]: Extracting #1: cost 4 inf + 0 2.716 * * [simplify]: Extracting #2: cost 10 inf + 0 2.716 * * [simplify]: Extracting #3: cost 10 inf + 3 2.716 * * [simplify]: Extracting #4: cost 9 inf + 368 2.717 * * [simplify]: Extracting #5: cost 5 inf + 809 2.717 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.717 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.717 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 1/2))) 2.718 * [simplify]: Simplifying (* 2 1/2) 2.718 * * [simplify]: iters left: 2 (3 enodes) 2.722 * * [simplify]: iters left: 1 (11 enodes) 2.725 * * [simplify]: Extracting #0: cost 1 inf + 0 2.725 * * [simplify]: Extracting #1: cost 0 inf + 1 2.725 * [simplify]: Simplified to 1 2.725 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 2.726 * * * * [progress]: [ 51 / 92 ] simplifiying candidate # 2.726 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 2.726 * * [simplify]: iters left: 3 (6 enodes) 2.728 * * [simplify]: iters left: 2 (24 enodes) 2.736 * * [simplify]: iters left: 1 (37 enodes) 2.747 * * [simplify]: Extracting #0: cost 1 inf + 0 2.747 * * [simplify]: Extracting #1: cost 3 inf + 0 2.747 * * [simplify]: Extracting #2: cost 6 inf + 0 2.747 * * [simplify]: Extracting #3: cost 12 inf + 0 2.747 * * [simplify]: Extracting #4: cost 12 inf + 3 2.747 * * [simplify]: Extracting #5: cost 13 inf + 221 2.747 * * [simplify]: Extracting #6: cost 6 inf + 1172 2.748 * * [simplify]: Extracting #7: cost 1 inf + 1913 2.748 * * [simplify]: Extracting #8: cost 0 inf + 2134 2.749 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.749 * [simplify]: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (* 2 1))) 2.749 * [simplify]: Simplifying (* 2 1) 2.749 * * [simplify]: iters left: 2 (3 enodes) 2.752 * * [simplify]: iters left: 1 (9 enodes) 2.755 * * [simplify]: Extracting #0: cost 1 inf + 0 2.755 * * [simplify]: Extracting #1: cost 0 inf + 1 2.755 * [simplify]: Simplified to 2 2.755 * [simplify]: Simplified (2 2) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2)) 2.755 * * * * [progress]: [ 52 / 92 ] simplifiying candidate # 2.755 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.755 * * [simplify]: iters left: 2 (5 enodes) 2.757 * * [simplify]: iters left: 1 (21 enodes) 2.764 * * [simplify]: Extracting #0: cost 1 inf + 0 2.764 * * [simplify]: Extracting #1: cost 4 inf + 0 2.764 * * [simplify]: Extracting #2: cost 10 inf + 0 2.765 * * [simplify]: Extracting #3: cost 10 inf + 3 2.765 * * [simplify]: Extracting #4: cost 9 inf + 368 2.765 * * [simplify]: Extracting #5: cost 5 inf + 809 2.765 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.766 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.766 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 (/ 1 2)))) 2.766 * [simplify]: Simplifying (* 2 (/ 1 2)) 2.766 * * [simplify]: iters left: 4 (4 enodes) 2.770 * * [simplify]: iters left: 3 (13 enodes) 2.774 * * [simplify]: iters left: 2 (15 enodes) 2.778 * * [simplify]: Extracting #0: cost 1 inf + 0 2.778 * * [simplify]: Extracting #1: cost 0 inf + 1 2.778 * [simplify]: Simplified to 1 2.779 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 2.779 * * * * [progress]: [ 53 / 92 ] simplifiying candidate # 2.779 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2.779 * * [simplify]: iters left: 4 (7 enodes) 2.782 * * [simplify]: iters left: 3 (27 enodes) 2.790 * * [simplify]: iters left: 2 (40 enodes) 2.801 * * [simplify]: iters left: 1 (44 enodes) 2.816 * * [simplify]: Extracting #0: cost 1 inf + 0 2.817 * * [simplify]: Extracting #1: cost 3 inf + 0 2.817 * * [simplify]: Extracting #2: cost 5 inf + 0 2.817 * * [simplify]: Extracting #3: cost 8 inf + 0 2.817 * * [simplify]: Extracting #4: cost 14 inf + 0 2.817 * * [simplify]: Extracting #5: cost 13 inf + 94 2.817 * * [simplify]: Extracting #6: cost 13 inf + 368 2.817 * * [simplify]: Extracting #7: cost 7 inf + 1177 2.818 * * [simplify]: Extracting #8: cost 0 inf + 2808 2.819 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2.819 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 2.819 * * * * [progress]: [ 54 / 92 ] simplifiying candidate # 2.819 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh c) (log1p a)))) 2.819 * * [simplify]: iters left: 4 (7 enodes) 2.822 * * [simplify]: iters left: 3 (27 enodes) 2.830 * * [simplify]: iters left: 2 (40 enodes) 2.840 * * [simplify]: iters left: 1 (44 enodes) 2.851 * * [simplify]: Extracting #0: cost 1 inf + 0 2.852 * * [simplify]: Extracting #1: cost 3 inf + 0 2.852 * * [simplify]: Extracting #2: cost 5 inf + 0 2.852 * * [simplify]: Extracting #3: cost 8 inf + 0 2.852 * * [simplify]: Extracting #4: cost 14 inf + 0 2.852 * * [simplify]: Extracting #5: cost 13 inf + 94 2.852 * * [simplify]: Extracting #6: cost 13 inf + 368 2.852 * * [simplify]: Extracting #7: cost 7 inf + 1217 2.853 * * [simplify]: Extracting #8: cost 0 inf + 2888 2.853 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh c) (log1p a)))) 2.853 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))) 2.853 * * * * [progress]: [ 55 / 92 ] simplifiying candidate # 2.854 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 2.854 * * [simplify]: iters left: 4 (7 enodes) 2.856 * * [simplify]: iters left: 3 (27 enodes) 2.864 * * [simplify]: iters left: 2 (40 enodes) 2.876 * * [simplify]: iters left: 1 (44 enodes) 2.886 * * [simplify]: Extracting #0: cost 1 inf + 0 2.886 * * [simplify]: Extracting #1: cost 3 inf + 0 2.886 * * [simplify]: Extracting #2: cost 5 inf + 0 2.886 * * [simplify]: Extracting #3: cost 8 inf + 0 2.886 * * [simplify]: Extracting #4: cost 14 inf + 0 2.886 * * [simplify]: Extracting #5: cost 13 inf + 94 2.887 * * [simplify]: Extracting #6: cost 13 inf + 368 2.887 * * [simplify]: Extracting #7: cost 7 inf + 1177 2.887 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.887 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 2.887 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 2.887 * * * * [progress]: [ 56 / 92 ] simplifiying candidate # 2.888 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 2.888 * * [simplify]: iters left: 3 (6 enodes) 2.889 * * [simplify]: iters left: 2 (24 enodes) 2.893 * * [simplify]: iters left: 1 (37 enodes) 2.898 * * [simplify]: Extracting #0: cost 1 inf + 0 2.898 * * [simplify]: Extracting #1: cost 3 inf + 0 2.898 * * [simplify]: Extracting #2: cost 6 inf + 0 2.898 * * [simplify]: Extracting #3: cost 12 inf + 0 2.898 * * [simplify]: Extracting #4: cost 12 inf + 3 2.898 * * [simplify]: Extracting #5: cost 13 inf + 221 2.898 * * [simplify]: Extracting #6: cost 6 inf + 1172 2.899 * * [simplify]: Extracting #7: cost 1 inf + 1913 2.899 * * [simplify]: Extracting #8: cost 0 inf + 2134 2.899 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.899 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (sqrt (fmod (cosh c) (log1p a))))) 2.899 * * * * [progress]: [ 57 / 92 ] simplifiying candidate # 2.899 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 2.900 * * [simplify]: iters left: 4 (7 enodes) 2.901 * * [simplify]: iters left: 3 (27 enodes) 2.905 * * [simplify]: iters left: 2 (40 enodes) 2.910 * * [simplify]: iters left: 1 (44 enodes) 2.917 * * [simplify]: Extracting #0: cost 1 inf + 0 2.917 * * [simplify]: Extracting #1: cost 3 inf + 0 2.917 * * [simplify]: Extracting #2: cost 5 inf + 0 2.917 * * [simplify]: Extracting #3: cost 8 inf + 0 2.917 * * [simplify]: Extracting #4: cost 14 inf + 0 2.917 * * [simplify]: Extracting #5: cost 13 inf + 94 2.917 * * [simplify]: Extracting #6: cost 13 inf + 368 2.917 * * [simplify]: Extracting #7: cost 7 inf + 1177 2.917 * * [simplify]: Extracting #8: cost 0 inf + 2728 2.918 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 2.918 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 2.918 * * * * [progress]: [ 58 / 92 ] simplifiying candidate # 2.918 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 2.918 * * [simplify]: iters left: 3 (6 enodes) 2.919 * * [simplify]: iters left: 2 (24 enodes) 2.923 * * [simplify]: iters left: 1 (37 enodes) 2.930 * * [simplify]: Extracting #0: cost 1 inf + 0 2.930 * * [simplify]: Extracting #1: cost 3 inf + 0 2.930 * * [simplify]: Extracting #2: cost 6 inf + 0 2.930 * * [simplify]: Extracting #3: cost 12 inf + 0 2.930 * * [simplify]: Extracting #4: cost 12 inf + 3 2.930 * * [simplify]: Extracting #5: cost 13 inf + 221 2.930 * * [simplify]: Extracting #6: cost 6 inf + 1172 2.930 * * [simplify]: Extracting #7: cost 1 inf + 1913 2.930 * * [simplify]: Extracting #8: cost 0 inf + 2134 2.931 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.931 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) 1) (sqrt (fmod (cosh c) (log1p a))))) 2.931 * * * * [progress]: [ 59 / 92 ] simplifiying candidate # 2.931 * [simplify]: Simplifying (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2.931 * * [simplify]: iters left: 6 (8 enodes) 2.933 * * [simplify]: iters left: 5 (30 enodes) 2.939 * * [simplify]: iters left: 4 (43 enodes) 2.951 * * [simplify]: iters left: 3 (47 enodes) 2.964 * * [simplify]: iters left: 2 (49 enodes) 2.973 * * [simplify]: Extracting #0: cost 1 inf + 0 2.973 * * [simplify]: Extracting #1: cost 3 inf + 0 2.973 * * [simplify]: Extracting #2: cost 5 inf + 0 2.973 * * [simplify]: Extracting #3: cost 7 inf + 0 2.973 * * [simplify]: Extracting #4: cost 10 inf + 0 2.973 * * [simplify]: Extracting #5: cost 16 inf + 0 2.973 * * [simplify]: Extracting #6: cost 15 inf + 94 2.973 * * [simplify]: Extracting #7: cost 16 inf + 312 2.973 * * [simplify]: Extracting #8: cost 9 inf + 1429 2.974 * * [simplify]: Extracting #9: cost 0 inf + 3562 2.974 * [simplify]: Simplified to (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2.974 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) 2.974 * * * * [progress]: [ 60 / 92 ] simplifiying candidate # 2.974 * [simplify]: Simplifying (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 2.974 * * [simplify]: iters left: 6 (8 enodes) 2.976 * * [simplify]: iters left: 5 (31 enodes) 2.981 * * [simplify]: iters left: 4 (44 enodes) 2.987 * * [simplify]: iters left: 3 (48 enodes) 2.994 * * [simplify]: iters left: 2 (50 enodes) 3.008 * * [simplify]: Extracting #0: cost 1 inf + 0 3.008 * * [simplify]: Extracting #1: cost 4 inf + 0 3.008 * * [simplify]: Extracting #2: cost 7 inf + 0 3.008 * * [simplify]: Extracting #3: cost 10 inf + 0 3.008 * * [simplify]: Extracting #4: cost 16 inf + 0 3.008 * * [simplify]: Extracting #5: cost 15 inf + 94 3.008 * * [simplify]: Extracting #6: cost 15 inf + 368 3.009 * * [simplify]: Extracting #7: cost 9 inf + 1549 3.009 * * [simplify]: Extracting #8: cost 0 inf + 3562 3.010 * [simplify]: Simplified to (fabs (cbrt (fmod (cosh c) (log1p a)))) 3.010 * [simplify]: Simplified (2 1) to (λ (a c) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) 3.010 * * * * [progress]: [ 61 / 92 ] simplifiying candidate # 3.010 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3.011 * * [simplify]: iters left: 4 (7 enodes) 3.013 * * [simplify]: iters left: 3 (27 enodes) 3.021 * * [simplify]: iters left: 2 (40 enodes) 3.033 * * [simplify]: iters left: 1 (44 enodes) 3.046 * * [simplify]: Extracting #0: cost 1 inf + 0 3.046 * * [simplify]: Extracting #1: cost 3 inf + 0 3.046 * * [simplify]: Extracting #2: cost 5 inf + 0 3.046 * * [simplify]: Extracting #3: cost 8 inf + 0 3.046 * * [simplify]: Extracting #4: cost 14 inf + 0 3.046 * * [simplify]: Extracting #5: cost 13 inf + 94 3.046 * * [simplify]: Extracting #6: cost 13 inf + 368 3.046 * * [simplify]: Extracting #7: cost 7 inf + 1177 3.049 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.049 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3.049 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) 3.050 * * * * [progress]: [ 62 / 92 ] simplifiying candidate # 3.050 * [simplify]: Simplifying (sqrt 1) 3.050 * * [simplify]: iters left: 1 (2 enodes) 3.054 * * [simplify]: Extracting #0: cost 1 inf + 0 3.054 * * [simplify]: Extracting #1: cost 0 inf + 1 3.054 * [simplify]: Simplified to 1 3.054 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) 3.054 * * * * [progress]: [ 63 / 92 ] simplifiying candidate # 3.054 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3.054 * * [simplify]: iters left: 4 (7 enodes) 3.057 * * [simplify]: iters left: 3 (27 enodes) 3.066 * * [simplify]: iters left: 2 (40 enodes) 3.073 * * [simplify]: iters left: 1 (44 enodes) 3.080 * * [simplify]: Extracting #0: cost 1 inf + 0 3.080 * * [simplify]: Extracting #1: cost 3 inf + 0 3.080 * * [simplify]: Extracting #2: cost 5 inf + 0 3.080 * * [simplify]: Extracting #3: cost 8 inf + 0 3.080 * * [simplify]: Extracting #4: cost 14 inf + 0 3.080 * * [simplify]: Extracting #5: cost 13 inf + 94 3.080 * * [simplify]: Extracting #6: cost 13 inf + 368 3.080 * * [simplify]: Extracting #7: cost 7 inf + 1177 3.080 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.081 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3.081 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))) 3.081 * * * * [progress]: [ 64 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 65 / 92 ] simplifiying candidate #real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> 3.081 * * * * [progress]: [ 66 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 67 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 68 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 69 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 70 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 71 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 72 / 92 ] simplifiying candidate # 3.081 * * * * [progress]: [ 73 / 92 ] simplifiying candidate # 3.081 * [simplify]: Simplifying (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 3.081 * * [simplify]: iters left: 6 (8 enodes) 3.083 * * [simplify]: iters left: 5 (31 enodes) 3.088 * * [simplify]: iters left: 4 (44 enodes) 3.094 * * [simplify]: iters left: 3 (48 enodes) 3.102 * * [simplify]: iters left: 2 (50 enodes) 3.111 * * [simplify]: Extracting #0: cost 1 inf + 0 3.111 * * [simplify]: Extracting #1: cost 4 inf + 0 3.112 * * [simplify]: Extracting #2: cost 7 inf + 0 3.112 * * [simplify]: Extracting #3: cost 10 inf + 0 3.112 * * [simplify]: Extracting #4: cost 16 inf + 0 3.112 * * [simplify]: Extracting #5: cost 15 inf + 94 3.112 * * [simplify]: Extracting #6: cost 15 inf + 368 3.112 * * [simplify]: Extracting #7: cost 9 inf + 1549 3.112 * * [simplify]: Extracting #8: cost 0 inf + 3562 3.113 * [simplify]: Simplified to (fabs (cbrt (fmod (cosh c) (log1p a)))) 3.113 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))))) 3.113 * * * * [progress]: [ 74 / 92 ] simplifiying candidate # 3.113 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3.113 * * [simplify]: iters left: 4 (7 enodes) 3.114 * * [simplify]: iters left: 3 (27 enodes) 3.119 * * [simplify]: iters left: 2 (40 enodes) 3.125 * * [simplify]: iters left: 1 (44 enodes) 3.132 * * [simplify]: Extracting #0: cost 1 inf + 0 3.132 * * [simplify]: Extracting #1: cost 3 inf + 0 3.132 * * [simplify]: Extracting #2: cost 5 inf + 0 3.132 * * [simplify]: Extracting #3: cost 8 inf + 0 3.132 * * [simplify]: Extracting #4: cost 14 inf + 0 3.132 * * [simplify]: Extracting #5: cost 13 inf + 94 3.132 * * [simplify]: Extracting #6: cost 13 inf + 368 3.132 * * [simplify]: Extracting #7: cost 7 inf + 1177 3.133 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.133 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3.133 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 3.133 * * * * [progress]: [ 75 / 92 ] simplifiying candidate # 3.133 * [simplify]: Simplifying (sqrt 1) 3.133 * * [simplify]: iters left: 1 (2 enodes) 3.135 * * [simplify]: Extracting #0: cost 1 inf + 0 3.135 * * [simplify]: Extracting #1: cost 0 inf + 1 3.135 * [simplify]: Simplified to 1 3.135 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* 1 (sqrt (fmod (cosh c) (log1p a)))))) 3.135 * * * * [progress]: [ 76 / 92 ] simplifiying candidate # 3.135 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.135 * * [simplify]: iters left: 2 (5 enodes) 3.136 * * [simplify]: iters left: 1 (21 enodes) 3.140 * * [simplify]: Extracting #0: cost 1 inf + 0 3.140 * * [simplify]: Extracting #1: cost 4 inf + 0 3.140 * * [simplify]: Extracting #2: cost 10 inf + 0 3.140 * * [simplify]: Extracting #3: cost 10 inf + 3 3.140 * * [simplify]: Extracting #4: cost 9 inf + 368 3.140 * * [simplify]: Extracting #5: cost 5 inf + 809 3.141 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.141 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.141 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) (/ 1 2)))) 3.141 * * * * [progress]: [ 77 / 92 ] simplifiying candidate # 3.141 * * * * [progress]: [ 78 / 92 ] simplifiying candidate # 3.141 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 3.141 * * [simplify]: iters left: 3 (6 enodes) 3.142 * * [simplify]: iters left: 2 (24 enodes) 3.148 * * [simplify]: iters left: 1 (37 enodes) 3.159 * * [simplify]: Extracting #0: cost 1 inf + 0 3.159 * * [simplify]: Extracting #1: cost 3 inf + 0 3.159 * * [simplify]: Extracting #2: cost 6 inf + 0 3.159 * * [simplify]: Extracting #3: cost 12 inf + 0 3.159 * * [simplify]: Extracting #4: cost 12 inf + 3 3.159 * * [simplify]: Extracting #5: cost 13 inf + 221 3.159 * * [simplify]: Extracting #6: cost 6 inf + 1172 3.159 * * [simplify]: Extracting #7: cost 1 inf + 1913 3.160 * * [simplify]: Extracting #8: cost 0 inf + 2134 3.160 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.160 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (fabs (sqrt (fmod (cosh c) (log1p a)))))) 3.160 * * * * [progress]: [ 79 / 92 ] simplifiying candidate # 3.160 * * * * [progress]: [ 80 / 92 ] simplifiying candidate #real (real->posit16 (sqrt (fmod (cosh c) (log1p a)))))))> 3.160 * * * * [progress]: [ 81 / 92 ] simplifiying candidate # 3.160 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.160 * * [simplify]: iters left: 2 (5 enodes) 3.161 * * [simplify]: iters left: 1 (21 enodes) 3.165 * * [simplify]: Extracting #0: cost 1 inf + 0 3.165 * * [simplify]: Extracting #1: cost 4 inf + 0 3.165 * * [simplify]: Extracting #2: cost 10 inf + 0 3.165 * * [simplify]: Extracting #3: cost 10 inf + 3 3.165 * * [simplify]: Extracting #4: cost 9 inf + 368 3.165 * * [simplify]: Extracting #5: cost 5 inf + 809 3.165 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.165 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.165 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.165 * * * * [progress]: [ 82 / 92 ] simplifiying candidate # 3.166 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.166 * * [simplify]: iters left: 2 (5 enodes) 3.167 * * [simplify]: iters left: 1 (21 enodes) 3.170 * * [simplify]: Extracting #0: cost 1 inf + 0 3.170 * * [simplify]: Extracting #1: cost 4 inf + 0 3.170 * * [simplify]: Extracting #2: cost 10 inf + 0 3.170 * * [simplify]: Extracting #3: cost 10 inf + 3 3.170 * * [simplify]: Extracting #4: cost 9 inf + 368 3.170 * * [simplify]: Extracting #5: cost 5 inf + 809 3.170 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.171 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.171 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.171 * * * * [progress]: [ 83 / 92 ] simplifiying candidate # 3.171 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.171 * * [simplify]: iters left: 2 (5 enodes) 3.172 * * [simplify]: iters left: 1 (21 enodes) 3.175 * * [simplify]: Extracting #0: cost 1 inf + 0 3.175 * * [simplify]: Extracting #1: cost 4 inf + 0 3.175 * * [simplify]: Extracting #2: cost 10 inf + 0 3.175 * * [simplify]: Extracting #3: cost 10 inf + 3 3.175 * * [simplify]: Extracting #4: cost 9 inf + 368 3.176 * * [simplify]: Extracting #5: cost 5 inf + 809 3.176 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.176 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.176 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.176 * * * * [progress]: [ 84 / 92 ] simplifiying candidate # 3.176 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.176 * * [simplify]: iters left: 2 (5 enodes) 3.177 * * [simplify]: iters left: 1 (21 enodes) 3.181 * * [simplify]: Extracting #0: cost 1 inf + 0 3.181 * * [simplify]: Extracting #1: cost 4 inf + 0 3.181 * * [simplify]: Extracting #2: cost 10 inf + 0 3.181 * * [simplify]: Extracting #3: cost 10 inf + 3 3.181 * * [simplify]: Extracting #4: cost 9 inf + 368 3.181 * * [simplify]: Extracting #5: cost 5 inf + 809 3.181 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.181 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.181 * [simplify]: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.181 * * * * [progress]: [ 85 / 92 ] simplifiying candidate # 3.182 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.182 * * [simplify]: iters left: 2 (5 enodes) 3.183 * * [simplify]: iters left: 1 (21 enodes) 3.189 * * [simplify]: Extracting #0: cost 1 inf + 0 3.189 * * [simplify]: Extracting #1: cost 4 inf + 0 3.189 * * [simplify]: Extracting #2: cost 10 inf + 0 3.189 * * [simplify]: Extracting #3: cost 10 inf + 3 3.189 * * [simplify]: Extracting #4: cost 9 inf + 368 3.189 * * [simplify]: Extracting #5: cost 5 inf + 809 3.190 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.190 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.190 * [simplify]: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.190 * * * * [progress]: [ 86 / 92 ] simplifiying candidate # 3.191 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.191 * * [simplify]: iters left: 2 (5 enodes) 3.193 * * [simplify]: iters left: 1 (21 enodes) 3.200 * * [simplify]: Extracting #0: cost 1 inf + 0 3.200 * * [simplify]: Extracting #1: cost 4 inf + 0 3.200 * * [simplify]: Extracting #2: cost 10 inf + 0 3.200 * * [simplify]: Extracting #3: cost 10 inf + 3 3.200 * * [simplify]: Extracting #4: cost 9 inf + 368 3.200 * * [simplify]: Extracting #5: cost 5 inf + 809 3.201 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.201 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.201 * [simplify]: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.201 * * * * [progress]: [ 87 / 92 ] simplifiying candidate # 3.201 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.201 * * [simplify]: iters left: 2 (5 enodes) 3.204 * * [simplify]: iters left: 1 (21 enodes) 3.211 * * [simplify]: Extracting #0: cost 1 inf + 0 3.211 * * [simplify]: Extracting #1: cost 4 inf + 0 3.211 * * [simplify]: Extracting #2: cost 10 inf + 0 3.211 * * [simplify]: Extracting #3: cost 10 inf + 3 3.211 * * [simplify]: Extracting #4: cost 9 inf + 368 3.211 * * [simplify]: Extracting #5: cost 5 inf + 809 3.212 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.212 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.212 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 3.212 * * * * [progress]: [ 88 / 92 ] simplifiying candidate # 3.212 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.212 * * [simplify]: iters left: 2 (5 enodes) 3.214 * * [simplify]: iters left: 1 (21 enodes) 3.221 * * [simplify]: Extracting #0: cost 1 inf + 0 3.221 * * [simplify]: Extracting #1: cost 4 inf + 0 3.221 * * [simplify]: Extracting #2: cost 10 inf + 0 3.221 * * [simplify]: Extracting #3: cost 10 inf + 3 3.222 * * [simplify]: Extracting #4: cost 9 inf + 368 3.222 * * [simplify]: Extracting #5: cost 5 inf + 809 3.222 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.223 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.223 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 3.223 * * * * [progress]: [ 89 / 92 ] simplifiying candidate # 3.223 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.223 * * [simplify]: iters left: 2 (5 enodes) 3.225 * * [simplify]: iters left: 1 (21 enodes) 3.233 * * [simplify]: Extracting #0: cost 1 inf + 0 3.233 * * [simplify]: Extracting #1: cost 4 inf + 0 3.233 * * [simplify]: Extracting #2: cost 10 inf + 0 3.233 * * [simplify]: Extracting #3: cost 10 inf + 3 3.233 * * [simplify]: Extracting #4: cost 9 inf + 368 3.233 * * [simplify]: Extracting #5: cost 5 inf + 809 3.234 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.234 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.234 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 3.234 * * * * [progress]: [ 90 / 92 ] simplifiying candidate # 3.235 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 3.235 * * [simplify]: iters left: 3 (6 enodes) 3.237 * * [simplify]: iters left: 2 (24 enodes) 3.245 * * [simplify]: iters left: 1 (37 enodes) 3.255 * * [simplify]: Extracting #0: cost 1 inf + 0 3.255 * * [simplify]: Extracting #1: cost 3 inf + 0 3.256 * * [simplify]: Extracting #2: cost 6 inf + 0 3.256 * * [simplify]: Extracting #3: cost 12 inf + 0 3.256 * * [simplify]: Extracting #4: cost 12 inf + 3 3.256 * * [simplify]: Extracting #5: cost 13 inf + 221 3.256 * * [simplify]: Extracting #6: cost 6 inf + 1172 3.256 * * [simplify]: Extracting #7: cost 1 inf + 1913 3.257 * * [simplify]: Extracting #8: cost 0 inf + 2134 3.258 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.258 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.258 * * * * [progress]: [ 91 / 92 ] simplifiying candidate # 3.258 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 3.258 * * [simplify]: iters left: 3 (6 enodes) 3.260 * * [simplify]: iters left: 2 (24 enodes) 3.265 * * [simplify]: iters left: 1 (37 enodes) 3.272 * * [simplify]: Extracting #0: cost 1 inf + 0 3.272 * * [simplify]: Extracting #1: cost 3 inf + 0 3.272 * * [simplify]: Extracting #2: cost 6 inf + 0 3.272 * * [simplify]: Extracting #3: cost 12 inf + 0 3.272 * * [simplify]: Extracting #4: cost 12 inf + 3 3.272 * * [simplify]: Extracting #5: cost 13 inf + 221 3.272 * * [simplify]: Extracting #6: cost 6 inf + 1172 3.273 * * [simplify]: Extracting #7: cost 1 inf + 1913 3.273 * * [simplify]: Extracting #8: cost 0 inf + 2134 3.273 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.273 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.273 * * * * [progress]: [ 92 / 92 ] simplifiying candidate # 3.273 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 3.273 * * [simplify]: iters left: 3 (6 enodes) 3.274 * * [simplify]: iters left: 2 (24 enodes) 3.278 * * [simplify]: iters left: 1 (37 enodes) 3.283 * * [simplify]: Extracting #0: cost 1 inf + 0 3.283 * * [simplify]: Extracting #1: cost 3 inf + 0 3.283 * * [simplify]: Extracting #2: cost 6 inf + 0 3.283 * * [simplify]: Extracting #3: cost 12 inf + 0 3.284 * * [simplify]: Extracting #4: cost 12 inf + 3 3.284 * * [simplify]: Extracting #5: cost 13 inf + 221 3.284 * * [simplify]: Extracting #6: cost 6 inf + 1172 3.284 * * [simplify]: Extracting #7: cost 1 inf + 1913 3.284 * * [simplify]: Extracting #8: cost 0 inf + 2134 3.284 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.284 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 3.285 * * * [progress]: adding candidates to table 4.199 * * [progress]: iteration 3 / 4 4.199 * * * [progress]: picking best candidate 4.281 * * * * [pick]: Picked # 4.282 * * * [progress]: localizing error 4.327 * * * [progress]: generating rewritten candidates 4.327 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 4.327 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 4.328 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 4.328 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 4.329 * * * [progress]: generating series expansions 4.329 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 4.329 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.329 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.329 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.329 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.330 * [taylor]: Taking taylor expansion of 0 in a 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [taylor]: Taking taylor expansion of 0 in a 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [taylor]: Taking taylor expansion of 0 in a 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.331 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.332 * [taylor]: Taking taylor expansion of 0 in a 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [taylor]: Taking taylor expansion of 0 in a 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [taylor]: Taking taylor expansion of 0 in a 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.333 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.333 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.333 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.333 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.333 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.333 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.333 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.333 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.333 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.333 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.333 * [taylor]: Taking taylor expansion of 0 in a 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [taylor]: Taking taylor expansion of 0 in a 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [taylor]: Taking taylor expansion of 0 in a 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.334 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 4.334 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.334 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.334 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.334 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.334 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.334 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.334 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.334 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.334 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.335 * [taylor]: Taking taylor expansion of 0 in a 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [taylor]: Taking taylor expansion of 0 in a 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [taylor]: Taking taylor expansion of 0 in a 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.335 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.335 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.336 * [taylor]: Taking taylor expansion of 0 in a 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [taylor]: Taking taylor expansion of 0 in a 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [taylor]: Taking taylor expansion of 0 in a 4.336 * [backup-simplify]: Simplify 0 into 0 4.337 * [backup-simplify]: Simplify 0 into 0 4.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.337 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.338 * [taylor]: Taking taylor expansion of 0 in a 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [taylor]: Taking taylor expansion of 0 in a 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [taylor]: Taking taylor expansion of 0 in a 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [backup-simplify]: Simplify 0 into 0 4.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.338 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 4.338 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.338 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.338 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.339 * [taylor]: Taking taylor expansion of 0 in a 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [taylor]: Taking taylor expansion of 0 in a 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [taylor]: Taking taylor expansion of 0 in a 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.340 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.340 * [taylor]: Taking taylor expansion of 0 in a 4.340 * [backup-simplify]: Simplify 0 into 0 4.340 * [backup-simplify]: Simplify 0 into 0 4.341 * [backup-simplify]: Simplify 0 into 0 4.341 * [taylor]: Taking taylor expansion of 0 in a 4.341 * [backup-simplify]: Simplify 0 into 0 4.341 * [backup-simplify]: Simplify 0 into 0 4.341 * [backup-simplify]: Simplify 0 into 0 4.341 * [backup-simplify]: Simplify 0 into 0 4.341 * [taylor]: Taking taylor expansion of 0 in a 4.341 * [backup-simplify]: Simplify 0 into 0 4.341 * [backup-simplify]: Simplify 0 into 0 4.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.341 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.341 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.341 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.342 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.342 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.342 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.342 * [taylor]: Taking taylor expansion of 0 in a 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [taylor]: Taking taylor expansion of 0 in a 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [taylor]: Taking taylor expansion of 0 in a 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.343 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 4.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.343 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.343 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.343 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.343 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.343 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.344 * [taylor]: Taking taylor expansion of 0 in a 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [taylor]: Taking taylor expansion of 0 in a 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [taylor]: Taking taylor expansion of 0 in a 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.344 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.344 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.345 * [taylor]: Taking taylor expansion of 0 in a 4.345 * [backup-simplify]: Simplify 0 into 0 4.345 * [backup-simplify]: Simplify 0 into 0 4.345 * [backup-simplify]: Simplify 0 into 0 4.345 * [taylor]: Taking taylor expansion of 0 in a 4.345 * [backup-simplify]: Simplify 0 into 0 4.345 * [backup-simplify]: Simplify 0 into 0 4.345 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify 0 into 0 4.346 * [taylor]: Taking taylor expansion of 0 in a 4.346 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.346 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.346 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.346 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.347 * [taylor]: Taking taylor expansion of 0 in a 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [taylor]: Taking taylor expansion of 0 in a 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [taylor]: Taking taylor expansion of 0 in a 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 0 into 0 4.348 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.348 * * * [progress]: simplifying candidates 4.348 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))))> 4.348 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 4.348 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> 4.349 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 4.349 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> 4.349 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 4.350 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 4.350 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 4.350 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 4.350 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 4.350 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 4.350 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 4.350 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> 4.350 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 4.350 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.350 * * [simplify]: iters left: 2 (5 enodes) 4.352 * * [simplify]: iters left: 1 (21 enodes) 4.359 * * [simplify]: Extracting #0: cost 1 inf + 0 4.359 * * [simplify]: Extracting #1: cost 4 inf + 0 4.359 * * [simplify]: Extracting #2: cost 10 inf + 0 4.359 * * [simplify]: Extracting #3: cost 10 inf + 3 4.359 * * [simplify]: Extracting #4: cost 9 inf + 368 4.360 * * [simplify]: Extracting #5: cost 5 inf + 809 4.360 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.360 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.360 * [simplify]: Simplified (2 2 2 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.361 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 4.361 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.361 * * [simplify]: iters left: 2 (5 enodes) 4.363 * * [simplify]: iters left: 1 (21 enodes) 4.370 * * [simplify]: Extracting #0: cost 1 inf + 0 4.370 * * [simplify]: Extracting #1: cost 4 inf + 0 4.370 * * [simplify]: Extracting #2: cost 10 inf + 0 4.370 * * [simplify]: Extracting #3: cost 10 inf + 3 4.370 * * [simplify]: Extracting #4: cost 9 inf + 368 4.370 * * [simplify]: Extracting #5: cost 5 inf + 809 4.371 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.371 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.371 * [simplify]: Simplified (2 2 2 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.371 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 4.372 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.372 * * [simplify]: iters left: 2 (5 enodes) 4.374 * * [simplify]: iters left: 1 (21 enodes) 4.381 * * [simplify]: Extracting #0: cost 1 inf + 0 4.381 * * [simplify]: Extracting #1: cost 4 inf + 0 4.381 * * [simplify]: Extracting #2: cost 10 inf + 0 4.381 * * [simplify]: Extracting #3: cost 10 inf + 3 4.381 * * [simplify]: Extracting #4: cost 9 inf + 368 4.381 * * [simplify]: Extracting #5: cost 5 inf + 809 4.382 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.382 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.382 * [simplify]: Simplified (2 2 2 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.382 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 4.382 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.383 * * [simplify]: iters left: 2 (5 enodes) 4.384 * * [simplify]: iters left: 1 (21 enodes) 4.397 * * [simplify]: Extracting #0: cost 1 inf + 0 4.397 * * [simplify]: Extracting #1: cost 4 inf + 0 4.397 * * [simplify]: Extracting #2: cost 10 inf + 0 4.398 * * [simplify]: Extracting #3: cost 10 inf + 3 4.398 * * [simplify]: Extracting #4: cost 9 inf + 368 4.398 * * [simplify]: Extracting #5: cost 5 inf + 809 4.398 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.399 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.399 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.399 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 4.399 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.399 * * [simplify]: iters left: 2 (5 enodes) 4.400 * * [simplify]: iters left: 1 (21 enodes) 4.404 * * [simplify]: Extracting #0: cost 1 inf + 0 4.404 * * [simplify]: Extracting #1: cost 4 inf + 0 4.404 * * [simplify]: Extracting #2: cost 10 inf + 0 4.404 * * [simplify]: Extracting #3: cost 10 inf + 3 4.404 * * [simplify]: Extracting #4: cost 9 inf + 368 4.404 * * [simplify]: Extracting #5: cost 5 inf + 809 4.404 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.404 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.404 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.404 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 4.405 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.405 * * [simplify]: iters left: 2 (5 enodes) 4.406 * * [simplify]: iters left: 1 (21 enodes) 4.409 * * [simplify]: Extracting #0: cost 1 inf + 0 4.409 * * [simplify]: Extracting #1: cost 4 inf + 0 4.409 * * [simplify]: Extracting #2: cost 10 inf + 0 4.409 * * [simplify]: Extracting #3: cost 10 inf + 3 4.409 * * [simplify]: Extracting #4: cost 9 inf + 368 4.409 * * [simplify]: Extracting #5: cost 5 inf + 809 4.409 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.410 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.410 * [simplify]: Simplified (2 2 1 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.410 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 4.410 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.410 * * [simplify]: iters left: 2 (5 enodes) 4.411 * * [simplify]: iters left: 1 (21 enodes) 4.414 * * [simplify]: Extracting #0: cost 1 inf + 0 4.414 * * [simplify]: Extracting #1: cost 4 inf + 0 4.414 * * [simplify]: Extracting #2: cost 10 inf + 0 4.414 * * [simplify]: Extracting #3: cost 10 inf + 3 4.414 * * [simplify]: Extracting #4: cost 9 inf + 368 4.415 * * [simplify]: Extracting #5: cost 5 inf + 809 4.415 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.415 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.415 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.415 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 4.415 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.415 * * [simplify]: iters left: 2 (5 enodes) 4.416 * * [simplify]: iters left: 1 (21 enodes) 4.419 * * [simplify]: Extracting #0: cost 1 inf + 0 4.419 * * [simplify]: Extracting #1: cost 4 inf + 0 4.420 * * [simplify]: Extracting #2: cost 10 inf + 0 4.420 * * [simplify]: Extracting #3: cost 10 inf + 3 4.420 * * [simplify]: Extracting #4: cost 9 inf + 368 4.420 * * [simplify]: Extracting #5: cost 5 inf + 809 4.420 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.420 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.420 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.420 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 4.420 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.420 * * [simplify]: iters left: 2 (5 enodes) 4.421 * * [simplify]: iters left: 1 (21 enodes) 4.425 * * [simplify]: Extracting #0: cost 1 inf + 0 4.425 * * [simplify]: Extracting #1: cost 4 inf + 0 4.425 * * [simplify]: Extracting #2: cost 10 inf + 0 4.425 * * [simplify]: Extracting #3: cost 10 inf + 3 4.425 * * [simplify]: Extracting #4: cost 9 inf + 368 4.425 * * [simplify]: Extracting #5: cost 5 inf + 809 4.425 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.425 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.425 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.426 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 4.426 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.426 * * [simplify]: iters left: 2 (5 enodes) 4.427 * * [simplify]: iters left: 1 (21 enodes) 4.430 * * [simplify]: Extracting #0: cost 1 inf + 0 4.430 * * [simplify]: Extracting #1: cost 4 inf + 0 4.430 * * [simplify]: Extracting #2: cost 10 inf + 0 4.430 * * [simplify]: Extracting #3: cost 10 inf + 3 4.430 * * [simplify]: Extracting #4: cost 9 inf + 368 4.431 * * [simplify]: Extracting #5: cost 5 inf + 809 4.431 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.431 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.431 * [simplify]: Simplified (2 1 1 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.431 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 4.431 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.432 * * [simplify]: iters left: 2 (5 enodes) 4.434 * * [simplify]: iters left: 1 (21 enodes) 4.440 * * [simplify]: Extracting #0: cost 1 inf + 0 4.440 * * [simplify]: Extracting #1: cost 4 inf + 0 4.440 * * [simplify]: Extracting #2: cost 10 inf + 0 4.440 * * [simplify]: Extracting #3: cost 10 inf + 3 4.441 * * [simplify]: Extracting #4: cost 9 inf + 368 4.441 * * [simplify]: Extracting #5: cost 5 inf + 809 4.441 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.442 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.442 * [simplify]: Simplified (2 1 1 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.442 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 4.442 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.442 * * [simplify]: iters left: 2 (5 enodes) 4.444 * * [simplify]: iters left: 1 (21 enodes) 4.452 * * [simplify]: Extracting #0: cost 1 inf + 0 4.452 * * [simplify]: Extracting #1: cost 4 inf + 0 4.452 * * [simplify]: Extracting #2: cost 10 inf + 0 4.452 * * [simplify]: Extracting #3: cost 10 inf + 3 4.452 * * [simplify]: Extracting #4: cost 9 inf + 368 4.452 * * [simplify]: Extracting #5: cost 5 inf + 809 4.453 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.453 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.453 * [simplify]: Simplified (2 1 1 1 1) to (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) 4.453 * * * [progress]: adding candidates to table 5.165 * * [progress]: iteration 4 / 4 5.165 * * * [progress]: picking best candidate 5.216 * * * * [pick]: Picked # 5.216 * * * [progress]: localizing error 5.244 * * * [progress]: generating rewritten candidates 5.244 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 5.244 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 5.245 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 5.266 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 5.273 * * * [progress]: generating series expansions 5.273 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 5.273 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.273 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.273 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.274 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.274 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.274 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.274 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.274 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.274 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.274 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.274 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.274 * [taylor]: Taking taylor expansion of 0 in a 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [taylor]: Taking taylor expansion of 0 in a 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [taylor]: Taking taylor expansion of 0 in a 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.274 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.274 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.274 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.274 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.274 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.274 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.274 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.274 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.275 * [taylor]: Taking taylor expansion of 0 in a 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [taylor]: Taking taylor expansion of 0 in a 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [taylor]: Taking taylor expansion of 0 in a 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.275 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.275 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.275 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.275 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.276 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.276 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.276 * [taylor]: Taking taylor expansion of 0 in a 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [taylor]: Taking taylor expansion of 0 in a 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [taylor]: Taking taylor expansion of 0 in a 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.276 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 5.276 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.276 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.276 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.276 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.276 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.276 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.276 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.276 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.276 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.276 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.276 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.276 * [taylor]: Taking taylor expansion of 0 in a 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [taylor]: Taking taylor expansion of 0 in a 5.276 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [taylor]: Taking taylor expansion of 0 in a 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.277 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.277 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.277 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.277 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.277 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.277 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.277 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.277 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.277 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.277 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.277 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.277 * [taylor]: Taking taylor expansion of 0 in a 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [taylor]: Taking taylor expansion of 0 in a 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [taylor]: Taking taylor expansion of 0 in a 5.277 * [backup-simplify]: Simplify 0 into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.278 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.278 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.278 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.278 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.278 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.278 * [taylor]: Taking taylor expansion of 0 in a 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [taylor]: Taking taylor expansion of 0 in a 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [taylor]: Taking taylor expansion of 0 in a 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.278 * * * * [progress]: [ 3 / 4 ] generating series at (2) 5.279 * [backup-simplify]: Simplify (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) into (fmod (cosh c) (log1p a)) 5.279 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.279 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.279 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.279 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.279 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.279 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.279 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.279 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.279 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.279 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.279 * [taylor]: Taking taylor expansion of 0 in a 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [taylor]: Taking taylor expansion of 0 in a 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [taylor]: Taking taylor expansion of 0 in a 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.280 * [backup-simplify]: Simplify (exp (log (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.280 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.280 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.280 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.280 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.280 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.280 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.280 * [taylor]: Taking taylor expansion of 0 in a 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify 0 into 0 5.281 * [taylor]: Taking taylor expansion of 0 in a 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [taylor]: Taking taylor expansion of 0 in a 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.281 * [backup-simplify]: Simplify (exp (log (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.281 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.281 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.281 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.282 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.282 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.282 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.282 * [taylor]: Taking taylor expansion of 0 in a 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [taylor]: Taking taylor expansion of 0 in a 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [taylor]: Taking taylor expansion of 0 in a 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 5.283 * [backup-simplify]: Simplify (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) into (log (fmod (cosh c) (log1p a))) 5.283 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 5.283 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.283 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.283 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.283 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.283 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.283 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.283 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.284 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.284 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.284 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.285 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.285 * [taylor]: Taking taylor expansion of 0 in a 5.285 * [backup-simplify]: Simplify 0 into 0 5.286 * [backup-simplify]: Simplify 0 into 0 5.286 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.286 * [backup-simplify]: Simplify 0 into 0 5.289 * [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 5.289 * [taylor]: Taking taylor expansion of 0 in a 5.289 * [backup-simplify]: Simplify 0 into 0 5.289 * [backup-simplify]: Simplify 0 into 0 5.289 * [backup-simplify]: Simplify 0 into 0 5.291 * [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 5.291 * [backup-simplify]: Simplify 0 into 0 5.294 * [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 5.294 * [taylor]: Taking taylor expansion of 0 in a 5.294 * [backup-simplify]: Simplify 0 into 0 5.294 * [backup-simplify]: Simplify 0 into 0 5.294 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.294 * [backup-simplify]: Simplify (log (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.294 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 5.294 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.294 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.294 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.295 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.295 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.295 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.295 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.295 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.295 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.296 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.296 * [taylor]: Taking taylor expansion of 0 in a 5.296 * [backup-simplify]: Simplify 0 into 0 5.296 * [backup-simplify]: Simplify 0 into 0 5.297 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.297 * [backup-simplify]: Simplify 0 into 0 5.299 * [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 5.299 * [taylor]: Taking taylor expansion of 0 in a 5.299 * [backup-simplify]: Simplify 0 into 0 5.299 * [backup-simplify]: Simplify 0 into 0 5.299 * [backup-simplify]: Simplify 0 into 0 5.301 * [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 5.301 * [backup-simplify]: Simplify 0 into 0 5.304 * [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 5.304 * [taylor]: Taking taylor expansion of 0 in a 5.304 * [backup-simplify]: Simplify 0 into 0 5.304 * [backup-simplify]: Simplify 0 into 0 5.304 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 5.305 * [backup-simplify]: Simplify (log (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.305 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 5.305 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.305 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.305 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.305 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.305 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.306 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.306 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.306 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.306 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.306 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.307 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.307 * [taylor]: Taking taylor expansion of 0 in a 5.307 * [backup-simplify]: Simplify 0 into 0 5.307 * [backup-simplify]: Simplify 0 into 0 5.308 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.308 * [backup-simplify]: Simplify 0 into 0 5.309 * [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 5.309 * [taylor]: Taking taylor expansion of 0 in a 5.309 * [backup-simplify]: Simplify 0 into 0 5.309 * [backup-simplify]: Simplify 0 into 0 5.309 * [backup-simplify]: Simplify 0 into 0 5.310 * [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 5.310 * [backup-simplify]: Simplify 0 into 0 5.313 * [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 5.313 * [taylor]: Taking taylor expansion of 0 in a 5.313 * [backup-simplify]: Simplify 0 into 0 5.313 * [backup-simplify]: Simplify 0 into 0 5.313 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 5.313 * * * [progress]: simplifying candidates 5.313 * * * * [progress]: [ 1 / 80 ] simplifiying candidate # 5.313 * * * * [progress]: [ 2 / 80 ] simplifiying candidate # 5.313 * * * * [progress]: [ 3 / 80 ] simplifiying candidate # 5.313 * * * * [progress]: [ 4 / 80 ] simplifiying candidate # 5.313 * * * * [progress]: [ 5 / 80 ] simplifiying candidate # 5.313 * * * * [progress]: [ 6 / 80 ] simplifiying candidate # 5.313 * * * * [progress]: [ 7 / 80 ] simplifiying candidate # 5.313 * * * * [progress]: [ 8 / 80 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))))> 5.314 * * * * [progress]: [ 9 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 10 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 11 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 12 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 13 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 14 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 15 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 16 / 80 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))))> 5.314 * * * * [progress]: [ 17 / 80 ] simplifiying candidate # 5.314 * * * * [progress]: [ 18 / 80 ] simplifiying candidate # 5.314 * [simplify]: Simplifying (exp (+ 1/2 1/2)) 5.314 * * [simplify]: iters left: 3 (3 enodes) 5.316 * * [simplify]: iters left: 2 (12 enodes) 5.318 * * [simplify]: iters left: 1 (17 enodes) 5.321 * * [simplify]: Extracting #0: cost 1 inf + 0 5.321 * * [simplify]: Extracting #1: cost 0 inf + 1 5.321 * [simplify]: Simplified to E 5.321 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 5.321 * * * * [progress]: [ 19 / 80 ] simplifiying candidate # 5.321 * [simplify]: Simplifying (exp (+ 1/2 (/ 1 2))) 5.321 * * [simplify]: iters left: 5 (6 enodes) 5.325 * * [simplify]: iters left: 4 (24 enodes) 5.331 * * [simplify]: iters left: 3 (38 enodes) 5.337 * * [simplify]: iters left: 2 (49 enodes) 5.343 * * [simplify]: Extracting #0: cost 1 inf + 0 5.343 * * [simplify]: Extracting #1: cost 0 inf + 1 5.343 * [simplify]: Simplified to E 5.343 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 5.343 * * * * [progress]: [ 20 / 80 ] simplifiying candidate # 5.343 * [simplify]: Simplifying (exp (+ 1 1)) 5.343 * * [simplify]: iters left: 3 (3 enodes) 5.345 * * [simplify]: iters left: 2 (14 enodes) 5.348 * * [simplify]: iters left: 1 (17 enodes) 5.351 * * [simplify]: Extracting #0: cost 1 inf + 0 5.351 * * [simplify]: Extracting #1: cost 4 inf + 0 5.351 * * [simplify]: Extracting #2: cost 2 inf + 2 5.351 * * [simplify]: Extracting #3: cost 1 inf + 43 5.351 * * [simplify]: Extracting #4: cost 0 inf + 84 5.351 * [simplify]: Simplified to (* E E) 5.351 * [simplify]: Simplified (2 1) to (λ (a c) (pow (* E E) (log (sqrt (fmod (cosh c) (log1p a)))))) 5.351 * * * * [progress]: [ 21 / 80 ] simplifiying candidate # 5.351 * [simplify]: Simplifying (exp (+ (/ 1 2) 1/2)) 5.351 * * [simplify]: iters left: 5 (6 enodes) 5.358 * * [simplify]: iters left: 4 (24 enodes) 5.372 * * [simplify]: iters left: 3 (35 enodes) 5.381 * * [simplify]: Extracting #0: cost 1 inf + 0 5.381 * * [simplify]: Extracting #1: cost 0 inf + 1 5.381 * [simplify]: Simplified to E 5.381 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 5.382 * * * * [progress]: [ 22 / 80 ] simplifiying candidate # 5.382 * [simplify]: Simplifying (exp (+ (/ 1 2) (/ 1 2))) 5.382 * * [simplify]: iters left: 5 (5 enodes) 5.388 * * [simplify]: iters left: 4 (20 enodes) 5.394 * * [simplify]: iters left: 3 (27 enodes) 5.401 * * [simplify]: Extracting #0: cost 1 inf + 0 5.401 * * [simplify]: Extracting #1: cost 0 inf + 1 5.401 * [simplify]: Simplified to E 5.401 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 5.401 * * * * [progress]: [ 23 / 80 ] simplifiying candidate # 5.402 * [simplify]: Simplifying (exp 1/2) 5.402 * * [simplify]: iters left: 1 (2 enodes) 5.403 * * [simplify]: Extracting #0: cost 1 inf + 0 5.403 * * [simplify]: Extracting #1: cost 3 inf + 0 5.403 * * [simplify]: Extracting #2: cost 2 inf + 1 5.404 * * [simplify]: Extracting #3: cost 0 inf + 143 5.404 * [simplify]: Simplified to (exp 1/2) 5.404 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp 1/2) (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))) 5.404 * * * * [progress]: [ 24 / 80 ] simplifiying candidate # 5.404 * [simplify]: Simplifying (exp 1) 5.404 * * [simplify]: iters left: 1 (2 enodes) 5.405 * * [simplify]: Extracting #0: cost 1 inf + 0 5.405 * * [simplify]: Extracting #1: cost 0 inf + 1 5.405 * [simplify]: Simplified to E 5.405 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.405 * * * * [progress]: [ 25 / 80 ] simplifiying candidate # 5.406 * [simplify]: Simplifying (exp (/ 1 2)) 5.406 * * [simplify]: iters left: 3 (4 enodes) 5.409 * * [simplify]: iters left: 2 (17 enodes) 5.412 * * [simplify]: iters left: 1 (20 enodes) 5.415 * * [simplify]: Extracting #0: cost 1 inf + 0 5.415 * * [simplify]: Extracting #1: cost 4 inf + 0 5.415 * * [simplify]: Extracting #2: cost 0 inf + 84 5.415 * [simplify]: Simplified to (sqrt E) 5.415 * [simplify]: Simplified (2 1) to (λ (a c) (pow (sqrt E) (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))) 5.415 * * * * [progress]: [ 26 / 80 ] simplifiying candidate # 5.415 * [simplify]: Simplifying (exp 2) 5.415 * * [simplify]: iters left: 1 (2 enodes) 5.416 * * [simplify]: Extracting #0: cost 1 inf + 0 5.416 * * [simplify]: Extracting #1: cost 3 inf + 0 5.416 * * [simplify]: Extracting #2: cost 2 inf + 1 5.416 * * [simplify]: Extracting #3: cost 0 inf + 143 5.416 * [simplify]: Simplified to (exp 2) 5.416 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp 2) (log (sqrt (fmod (cosh c) (log1p a)))))) 5.417 * * * * [progress]: [ 27 / 80 ] simplifiying candidate # 5.417 * [simplify]: Simplifying (exp (+ 1 1)) 5.417 * * [simplify]: iters left: 3 (3 enodes) 5.419 * * [simplify]: iters left: 2 (14 enodes) 5.421 * * [simplify]: iters left: 1 (17 enodes) 5.424 * * [simplify]: Extracting #0: cost 1 inf + 0 5.424 * * [simplify]: Extracting #1: cost 4 inf + 0 5.424 * * [simplify]: Extracting #2: cost 2 inf + 2 5.424 * * [simplify]: Extracting #3: cost 1 inf + 43 5.424 * * [simplify]: Extracting #4: cost 0 inf + 84 5.424 * [simplify]: Simplified to (* E E) 5.424 * [simplify]: Simplified (2 1) to (λ (a c) (pow (* E E) (log (sqrt (fmod (cosh c) (log1p a)))))) 5.424 * * * * [progress]: [ 28 / 80 ] simplifiying candidate # 5.424 * [simplify]: Simplifying (exp 1) 5.424 * * [simplify]: iters left: 1 (2 enodes) 5.425 * * [simplify]: Extracting #0: cost 1 inf + 0 5.425 * * [simplify]: Extracting #1: cost 0 inf + 1 5.425 * [simplify]: Simplified to E 5.425 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.425 * * * * [progress]: [ 29 / 80 ] simplifiying candidate # 5.425 * [simplify]: Simplifying (exp (* 2 1/2)) 5.426 * * [simplify]: iters left: 3 (4 enodes) 5.428 * * [simplify]: iters left: 2 (16 enodes) 5.431 * * [simplify]: iters left: 1 (22 enodes) 5.435 * * [simplify]: Extracting #0: cost 1 inf + 0 5.435 * * [simplify]: Extracting #1: cost 0 inf + 1 5.435 * [simplify]: Simplified to E 5.435 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 5.435 * * * * [progress]: [ 30 / 80 ] simplifiying candidate # 5.435 * [simplify]: Simplifying (exp (* 2 1)) 5.435 * * [simplify]: iters left: 3 (4 enodes) 5.437 * * [simplify]: iters left: 2 (14 enodes) 5.439 * * [simplify]: iters left: 1 (16 enodes) 5.444 * * [simplify]: Extracting #0: cost 1 inf + 0 5.444 * * [simplify]: Extracting #1: cost 4 inf + 0 5.444 * * [simplify]: Extracting #2: cost 2 inf + 2 5.444 * * [simplify]: Extracting #3: cost 1 inf + 73 5.444 * * [simplify]: Extracting #4: cost 0 inf + 144 5.444 * [simplify]: Simplified to (exp 2) 5.444 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp 2) (log (sqrt (fmod (cosh c) (log1p a)))))) 5.444 * * * * [progress]: [ 31 / 80 ] simplifiying candidate # 5.444 * [simplify]: Simplifying (exp (* 2 (/ 1 2))) 5.444 * * [simplify]: iters left: 5 (5 enodes) 5.447 * * [simplify]: iters left: 4 (18 enodes) 5.450 * * [simplify]: iters left: 3 (24 enodes) 5.454 * * [simplify]: Extracting #0: cost 1 inf + 0 5.454 * * [simplify]: Extracting #1: cost 0 inf + 1 5.454 * [simplify]: Simplified to E 5.454 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 5.454 * * * * [progress]: [ 32 / 80 ] simplifiying candidate # 5.454 * [simplify]: Simplifying (exp (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) 5.454 * * [simplify]: iters left: 6 (11 enodes) 5.456 * * [simplify]: iters left: 5 (41 enodes) 5.462 * * [simplify]: iters left: 4 (62 enodes) 5.471 * * [simplify]: iters left: 3 (75 enodes) 5.492 * * [simplify]: iters left: 2 (101 enodes) 5.525 * * [simplify]: iters left: 1 (156 enodes) 5.558 * * [simplify]: Extracting #0: cost 1 inf + 0 5.558 * * [simplify]: Extracting #1: cost 15 inf + 0 5.558 * * [simplify]: Extracting #2: cost 57 inf + 1 5.558 * * [simplify]: Extracting #3: cost 74 inf + 4 5.559 * * [simplify]: Extracting #4: cost 80 inf + 5 5.559 * * [simplify]: Extracting #5: cost 86 inf + 5 5.559 * * [simplify]: Extracting #6: cost 84 inf + 245 5.560 * * [simplify]: Extracting #7: cost 77 inf + 2474 5.561 * * [simplify]: Extracting #8: cost 44 inf + 15852 5.564 * * [simplify]: Extracting #9: cost 14 inf + 37984 5.570 * * [simplify]: Extracting #10: cost 1 inf + 51413 5.577 * * [simplify]: Extracting #11: cost 0 inf + 52289 5.588 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 5.588 * [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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) 5.588 * * * * [progress]: [ 33 / 80 ] simplifiying candidate # 5.589 * [simplify]: Simplifying (exp (sqrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.589 * * [simplify]: iters left: 6 (10 enodes) 5.593 * * [simplify]: iters left: 5 (36 enodes) 5.598 * * [simplify]: iters left: 4 (52 enodes) 5.606 * * [simplify]: iters left: 3 (56 enodes) 5.614 * * [simplify]: iters left: 2 (58 enodes) 5.622 * * [simplify]: Extracting #0: cost 1 inf + 0 5.622 * * [simplify]: Extracting #1: cost 3 inf + 0 5.622 * * [simplify]: Extracting #2: cost 5 inf + 0 5.622 * * [simplify]: Extracting #3: cost 8 inf + 0 5.622 * * [simplify]: Extracting #4: cost 13 inf + 0 5.622 * * [simplify]: Extracting #5: cost 20 inf + 0 5.622 * * [simplify]: Extracting #6: cost 16 inf + 297 5.622 * * [simplify]: Extracting #7: cost 13 inf + 1890 5.622 * * [simplify]: Extracting #8: cost 4 inf + 4110 5.623 * * [simplify]: Extracting #9: cost 0 inf + 4810 5.624 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a))))) 5.624 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) 5.624 * * * * [progress]: [ 34 / 80 ] simplifiying candidate # 5.624 * [simplify]: Simplifying (exp 1) 5.625 * * [simplify]: iters left: 1 (2 enodes) 5.626 * * [simplify]: Extracting #0: cost 1 inf + 0 5.626 * * [simplify]: Extracting #1: cost 0 inf + 1 5.626 * [simplify]: Simplified to E 5.626 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.626 * * * * [progress]: [ 35 / 80 ] simplifiying candidate # 5.627 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a))))) 5.627 * * [simplify]: iters left: 5 (8 enodes) 5.630 * * [simplify]: iters left: 4 (28 enodes) 5.639 * * [simplify]: iters left: 3 (41 enodes) 5.651 * * [simplify]: iters left: 2 (45 enodes) 5.664 * * [simplify]: iters left: 1 (47 enodes) 5.674 * * [simplify]: Extracting #0: cost 1 inf + 0 5.674 * * [simplify]: Extracting #1: cost 4 inf + 0 5.674 * * [simplify]: Extracting #2: cost 8 inf + 0 5.674 * * [simplify]: Extracting #3: cost 14 inf + 0 5.674 * * [simplify]: Extracting #4: cost 13 inf + 94 5.675 * * [simplify]: Extracting #5: cost 14 inf + 312 5.675 * * [simplify]: Extracting #6: cost 7 inf + 1429 5.675 * * [simplify]: Extracting #7: cost 1 inf + 2567 5.675 * * [simplify]: Extracting #8: cost 0 inf + 2788 5.676 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 5.676 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a))))))) 5.676 * * * * [progress]: [ 36 / 80 ] simplifiying candidate # 5.676 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 5.676 * * [simplify]: iters left: 3 (6 enodes) 5.677 * * [simplify]: iters left: 2 (24 enodes) 5.681 * * [simplify]: iters left: 1 (37 enodes) 5.686 * * [simplify]: Extracting #0: cost 1 inf + 0 5.687 * * [simplify]: Extracting #1: cost 3 inf + 0 5.687 * * [simplify]: Extracting #2: cost 6 inf + 0 5.687 * * [simplify]: Extracting #3: cost 12 inf + 0 5.687 * * [simplify]: Extracting #4: cost 12 inf + 3 5.687 * * [simplify]: Extracting #5: cost 13 inf + 221 5.687 * * [simplify]: Extracting #6: cost 6 inf + 1172 5.687 * * [simplify]: Extracting #7: cost 1 inf + 1913 5.687 * * [simplify]: Extracting #8: cost 0 inf + 2134 5.688 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 5.688 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 5.688 * * * * [progress]: [ 37 / 80 ] simplifiying candidate # 5.688 * * * * [progress]: [ 38 / 80 ] simplifiying candidate # 5.688 * * * * [progress]: [ 39 / 80 ] simplifiying candidate # 5.688 * * * * [progress]: [ 40 / 80 ] simplifiying candidate # 5.688 * * * * [progress]: [ 41 / 80 ] simplifiying candidate # 5.688 * * * * [progress]: [ 42 / 80 ] simplifiying candidate # 5.688 * * * * [progress]: [ 43 / 80 ] simplifiying candidate #real (real->posit16 (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> 5.688 * * * * [progress]: [ 44 / 80 ] simplifiying candidate # 5.688 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 5.688 * * [simplify]: iters left: 4 (7 enodes) 5.690 * * [simplify]: iters left: 3 (27 enodes) 5.694 * * [simplify]: iters left: 2 (40 enodes) 5.701 * * [simplify]: iters left: 1 (44 enodes) 5.712 * * [simplify]: Extracting #0: cost 1 inf + 0 5.712 * * [simplify]: Extracting #1: cost 3 inf + 0 5.712 * * [simplify]: Extracting #2: cost 5 inf + 0 5.712 * * [simplify]: Extracting #3: cost 8 inf + 0 5.713 * * [simplify]: Extracting #4: cost 14 inf + 0 5.713 * * [simplify]: Extracting #5: cost 13 inf + 94 5.713 * * [simplify]: Extracting #6: cost 13 inf + 368 5.713 * * [simplify]: Extracting #7: cost 7 inf + 1177 5.714 * * [simplify]: Extracting #8: cost 0 inf + 2788 5.714 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 5.714 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 5.715 * * * * [progress]: [ 45 / 80 ] simplifiying candidate # 5.715 * [simplify]: Simplifying (+ 1/2 1/2) 5.715 * * [simplify]: iters left: 2 (2 enodes) 5.717 * * [simplify]: iters left: 1 (7 enodes) 5.720 * * [simplify]: Extracting #0: cost 1 inf + 0 5.720 * * [simplify]: Extracting #1: cost 0 inf + 1 5.720 * [simplify]: Simplified to 1 5.720 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a)))))) 5.720 * * * * [progress]: [ 46 / 80 ] simplifiying candidate # 5.720 * [simplify]: Simplifying (+ 1/2 (/ 1 2)) 5.720 * * [simplify]: iters left: 4 (5 enodes) 5.726 * * [simplify]: iters left: 3 (18 enodes) 5.733 * * [simplify]: iters left: 2 (20 enodes) 5.738 * * [simplify]: Extracting #0: cost 1 inf + 0 5.738 * * [simplify]: Extracting #1: cost 0 inf + 1 5.738 * [simplify]: Simplified to 1 5.738 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a)))))) 5.739 * * * * [progress]: [ 47 / 80 ] simplifiying candidate # 5.739 * [simplify]: Simplifying (+ 1 1) 5.739 * * [simplify]: iters left: 2 (2 enodes) 5.741 * * [simplify]: iters left: 1 (9 enodes) 5.744 * * [simplify]: Extracting #0: cost 1 inf + 0 5.744 * * [simplify]: Extracting #1: cost 0 inf + 1 5.744 * [simplify]: Simplified to 2 5.745 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 2 (log (sqrt (fmod (cosh c) (log1p a))))))) 5.745 * * * * [progress]: [ 48 / 80 ] simplifiying candidate # 5.745 * [simplify]: Simplifying (+ (/ 1 2) 1/2) 5.745 * * [simplify]: iters left: 4 (5 enodes) 5.752 * * [simplify]: iters left: 3 (18 enodes) 5.758 * * [simplify]: iters left: 2 (20 enodes) 5.764 * * [simplify]: Extracting #0: cost 1 inf + 0 5.764 * * [simplify]: Extracting #1: cost 0 inf + 1 5.764 * [simplify]: Simplified to 1 5.764 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a)))))) 5.764 * * * * [progress]: [ 49 / 80 ] simplifiying candidate # 5.764 * [simplify]: Simplifying (+ (/ 1 2) (/ 1 2)) 5.764 * * [simplify]: iters left: 4 (4 enodes) 5.768 * * [simplify]: iters left: 3 (15 enodes) 5.773 * * [simplify]: iters left: 2 (17 enodes) 5.778 * * [simplify]: Extracting #0: cost 1 inf + 0 5.778 * * [simplify]: Extracting #1: cost 0 inf + 1 5.778 * [simplify]: Simplified to 1 5.778 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a)))))) 5.778 * * * * [progress]: [ 50 / 80 ] simplifiying candidate # 5.778 * * * * [progress]: [ 51 / 80 ] simplifiying candidate # 5.778 * * * * [progress]: [ 52 / 80 ] simplifiying candidate # 5.779 * [simplify]: Simplifying (/ 1 2) 5.779 * * [simplify]: iters left: 2 (3 enodes) 5.782 * * [simplify]: iters left: 1 (12 enodes) 5.786 * * [simplify]: Extracting #0: cost 1 inf + 0 5.786 * * [simplify]: Extracting #1: cost 0 inf + 1 5.786 * [simplify]: Simplified to 1/2 5.786 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 1/2 (log (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))))) 5.786 * * * * [progress]: [ 53 / 80 ] simplifiying candidate # 5.787 * * * * [progress]: [ 54 / 80 ] simplifiying candidate # 5.787 * [simplify]: Simplifying (+ 1 1) 5.787 * * [simplify]: iters left: 2 (2 enodes) 5.789 * * [simplify]: iters left: 1 (9 enodes) 5.792 * * [simplify]: Extracting #0: cost 1 inf + 0 5.793 * * [simplify]: Extracting #1: cost 0 inf + 1 5.793 * [simplify]: Simplified to 2 5.793 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 2 (log (sqrt (fmod (cosh c) (log1p a))))))) 5.793 * * * * [progress]: [ 55 / 80 ] simplifiying candidate # 5.793 * * * * [progress]: [ 56 / 80 ] simplifiying candidate # 5.793 * [simplify]: Simplifying (* 2 1/2) 5.793 * * [simplify]: iters left: 2 (3 enodes) 5.797 * * [simplify]: iters left: 1 (11 enodes) 5.801 * * [simplify]: Extracting #0: cost 1 inf + 0 5.801 * * [simplify]: Extracting #1: cost 0 inf + 1 5.801 * [simplify]: Simplified to 1 5.801 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a)))))) 5.802 * * * * [progress]: [ 57 / 80 ] simplifiying candidate # 5.802 * [simplify]: Simplifying (* 2 1) 5.802 * * [simplify]: iters left: 2 (3 enodes) 5.804 * * [simplify]: iters left: 1 (9 enodes) 5.807 * * [simplify]: Extracting #0: cost 1 inf + 0 5.807 * * [simplify]: Extracting #1: cost 0 inf + 1 5.807 * [simplify]: Simplified to 2 5.807 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 2 (log (sqrt (fmod (cosh c) (log1p a))))))) 5.807 * * * * [progress]: [ 58 / 80 ] simplifiying candidate # 5.808 * [simplify]: Simplifying (* 2 (/ 1 2)) 5.808 * * [simplify]: iters left: 4 (4 enodes) 5.811 * * [simplify]: iters left: 3 (13 enodes) 5.815 * * [simplify]: iters left: 2 (15 enodes) 5.820 * * [simplify]: Extracting #0: cost 1 inf + 0 5.820 * * [simplify]: Extracting #1: cost 0 inf + 1 5.820 * [simplify]: Simplified to 1 5.820 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a)))))) 5.820 * * * * [progress]: [ 59 / 80 ] simplifiying candidate # 5.820 * * * * [progress]: [ 60 / 80 ] simplifiying candidate # 5.821 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 5.821 * * [simplify]: iters left: 4 (7 enodes) 5.823 * * [simplify]: iters left: 3 (27 enodes) 5.832 * * [simplify]: iters left: 2 (40 enodes) 5.843 * * [simplify]: iters left: 1 (44 enodes) 5.859 * * [simplify]: Extracting #0: cost 1 inf + 0 5.859 * * [simplify]: Extracting #1: cost 3 inf + 0 5.859 * * [simplify]: Extracting #2: cost 5 inf + 0 5.859 * * [simplify]: Extracting #3: cost 8 inf + 0 5.859 * * [simplify]: Extracting #4: cost 14 inf + 0 5.859 * * [simplify]: Extracting #5: cost 13 inf + 94 5.859 * * [simplify]: Extracting #6: cost 13 inf + 368 5.860 * * [simplify]: Extracting #7: cost 7 inf + 1177 5.860 * * [simplify]: Extracting #8: cost 0 inf + 2788 5.861 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 5.861 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 5.861 * * * * [progress]: [ 61 / 80 ] simplifiying candidate # 5.861 * [simplify]: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 5.861 * * [simplify]: iters left: 5 (7 enodes) 5.864 * * [simplify]: iters left: 4 (25 enodes) 5.872 * * [simplify]: iters left: 3 (39 enodes) 5.882 * * [simplify]: iters left: 2 (43 enodes) 5.889 * * [simplify]: iters left: 1 (45 enodes) 5.895 * * [simplify]: Extracting #0: cost 1 inf + 0 5.895 * * [simplify]: Extracting #1: cost 5 inf + 0 5.895 * * [simplify]: Extracting #2: cost 12 inf + 0 5.895 * * [simplify]: Extracting #3: cost 12 inf + 3 5.895 * * [simplify]: Extracting #4: cost 12 inf + 277 5.895 * * [simplify]: Extracting #5: cost 6 inf + 1066 5.895 * * [simplify]: Extracting #6: cost 0 inf + 2134 5.895 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.896 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 5.896 * * * * [progress]: [ 62 / 80 ] simplifiying candidate # 5.896 * * * * [progress]: [ 63 / 80 ] simplifiying candidate # 5.896 * * * * [progress]: [ 64 / 80 ] simplifiying candidate # 5.896 * * * * [progress]: [ 65 / 80 ] simplifiying candidate # 5.896 * * * * [progress]: [ 66 / 80 ] simplifiying candidate # 5.896 * * * * [progress]: [ 67 / 80 ] simplifiying candidate # 5.896 * * * * [progress]: [ 68 / 80 ] simplifiying candidate #real (real->posit16 (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> 5.896 * * * * [progress]: [ 69 / 80 ] simplifiying candidate # 5.896 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.896 * * [simplify]: iters left: 2 (5 enodes) 5.897 * * [simplify]: iters left: 1 (21 enodes) 5.901 * * [simplify]: Extracting #0: cost 1 inf + 0 5.901 * * [simplify]: Extracting #1: cost 4 inf + 0 5.901 * * [simplify]: Extracting #2: cost 10 inf + 0 5.901 * * [simplify]: Extracting #3: cost 10 inf + 3 5.901 * * [simplify]: Extracting #4: cost 9 inf + 368 5.901 * * [simplify]: Extracting #5: cost 5 inf + 809 5.901 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.901 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.901 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.901 * * * * [progress]: [ 70 / 80 ] simplifiying candidate # 5.902 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.902 * * [simplify]: iters left: 2 (5 enodes) 5.903 * * [simplify]: iters left: 1 (21 enodes) 5.906 * * [simplify]: Extracting #0: cost 1 inf + 0 5.906 * * [simplify]: Extracting #1: cost 4 inf + 0 5.906 * * [simplify]: Extracting #2: cost 10 inf + 0 5.906 * * [simplify]: Extracting #3: cost 10 inf + 3 5.906 * * [simplify]: Extracting #4: cost 9 inf + 368 5.906 * * [simplify]: Extracting #5: cost 5 inf + 809 5.906 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.907 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.907 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.907 * * * * [progress]: [ 71 / 80 ] simplifiying candidate # 5.907 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.907 * * [simplify]: iters left: 2 (5 enodes) 5.908 * * [simplify]: iters left: 1 (21 enodes) 5.912 * * [simplify]: Extracting #0: cost 1 inf + 0 5.912 * * [simplify]: Extracting #1: cost 4 inf + 0 5.912 * * [simplify]: Extracting #2: cost 10 inf + 0 5.912 * * [simplify]: Extracting #3: cost 10 inf + 3 5.912 * * [simplify]: Extracting #4: cost 9 inf + 368 5.912 * * [simplify]: Extracting #5: cost 5 inf + 809 5.912 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.913 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.913 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.913 * * * * [progress]: [ 72 / 80 ] simplifiying candidate # 5.913 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.913 * * [simplify]: iters left: 2 (5 enodes) 5.914 * * [simplify]: iters left: 1 (21 enodes) 5.921 * * [simplify]: Extracting #0: cost 1 inf + 0 5.921 * * [simplify]: Extracting #1: cost 4 inf + 0 5.921 * * [simplify]: Extracting #2: cost 10 inf + 0 5.921 * * [simplify]: Extracting #3: cost 10 inf + 3 5.921 * * [simplify]: Extracting #4: cost 9 inf + 368 5.921 * * [simplify]: Extracting #5: cost 5 inf + 809 5.922 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.922 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.922 * [simplify]: Simplified (2 1 1 1 1) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.922 * * * * [progress]: [ 73 / 80 ] simplifiying candidate # 5.923 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.923 * * [simplify]: iters left: 2 (5 enodes) 5.925 * * [simplify]: iters left: 1 (21 enodes) 5.931 * * [simplify]: Extracting #0: cost 1 inf + 0 5.932 * * [simplify]: Extracting #1: cost 4 inf + 0 5.932 * * [simplify]: Extracting #2: cost 10 inf + 0 5.932 * * [simplify]: Extracting #3: cost 10 inf + 3 5.932 * * [simplify]: Extracting #4: cost 9 inf + 368 5.932 * * [simplify]: Extracting #5: cost 5 inf + 809 5.933 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.933 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.933 * [simplify]: Simplified (2 1 1 1 1) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.933 * * * * [progress]: [ 74 / 80 ] simplifiying candidate # 5.933 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.934 * * [simplify]: iters left: 2 (5 enodes) 5.936 * * [simplify]: iters left: 1 (21 enodes) 5.942 * * [simplify]: Extracting #0: cost 1 inf + 0 5.942 * * [simplify]: Extracting #1: cost 4 inf + 0 5.942 * * [simplify]: Extracting #2: cost 10 inf + 0 5.942 * * [simplify]: Extracting #3: cost 10 inf + 3 5.943 * * [simplify]: Extracting #4: cost 9 inf + 368 5.943 * * [simplify]: Extracting #5: cost 5 inf + 809 5.943 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.944 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.944 * [simplify]: Simplified (2 1 1 1 1) to (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) 5.944 * * * * [progress]: [ 75 / 80 ] simplifiying candidate # 5.944 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.944 * * [simplify]: iters left: 2 (5 enodes) 5.946 * * [simplify]: iters left: 1 (21 enodes) 5.953 * * [simplify]: Extracting #0: cost 1 inf + 0 5.953 * * [simplify]: Extracting #1: cost 4 inf + 0 5.953 * * [simplify]: Extracting #2: cost 10 inf + 0 5.953 * * [simplify]: Extracting #3: cost 10 inf + 3 5.953 * * [simplify]: Extracting #4: cost 9 inf + 368 5.953 * * [simplify]: Extracting #5: cost 5 inf + 809 5.954 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.954 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.954 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 5.954 * * * * [progress]: [ 76 / 80 ] simplifiying candidate # 5.955 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.955 * * [simplify]: iters left: 2 (5 enodes) 5.957 * * [simplify]: iters left: 1 (21 enodes) 5.964 * * [simplify]: Extracting #0: cost 1 inf + 0 5.964 * * [simplify]: Extracting #1: cost 4 inf + 0 5.964 * * [simplify]: Extracting #2: cost 10 inf + 0 5.964 * * [simplify]: Extracting #3: cost 10 inf + 3 5.964 * * [simplify]: Extracting #4: cost 9 inf + 368 5.965 * * [simplify]: Extracting #5: cost 5 inf + 809 5.965 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.965 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.966 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 5.966 * * * * [progress]: [ 77 / 80 ] simplifiying candidate # 5.966 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.966 * * [simplify]: iters left: 2 (5 enodes) 5.968 * * [simplify]: iters left: 1 (21 enodes) 5.974 * * [simplify]: Extracting #0: cost 1 inf + 0 5.974 * * [simplify]: Extracting #1: cost 4 inf + 0 5.975 * * [simplify]: Extracting #2: cost 10 inf + 0 5.975 * * [simplify]: Extracting #3: cost 10 inf + 3 5.975 * * [simplify]: Extracting #4: cost 9 inf + 368 5.975 * * [simplify]: Extracting #5: cost 5 inf + 809 5.975 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.976 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.976 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 5.976 * * * * [progress]: [ 78 / 80 ] simplifiying candidate # 5.976 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 5.976 * * [simplify]: iters left: 3 (6 enodes) 5.979 * * [simplify]: iters left: 2 (24 enodes) 5.989 * * [simplify]: iters left: 1 (37 enodes) 6.001 * * [simplify]: Extracting #0: cost 1 inf + 0 6.001 * * [simplify]: Extracting #1: cost 3 inf + 0 6.001 * * [simplify]: Extracting #2: cost 6 inf + 0 6.001 * * [simplify]: Extracting #3: cost 12 inf + 0 6.001 * * [simplify]: Extracting #4: cost 12 inf + 3 6.001 * * [simplify]: Extracting #5: cost 13 inf + 221 6.002 * * [simplify]: Extracting #6: cost 6 inf + 1202 6.002 * * [simplify]: Extracting #7: cost 1 inf + 1973 6.002 * * [simplify]: Extracting #8: cost 0 inf + 2194 6.003 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 6.003 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 6.003 * * * * [progress]: [ 79 / 80 ] simplifiying candidate # 6.003 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 6.003 * * [simplify]: iters left: 3 (6 enodes) 6.004 * * [simplify]: iters left: 2 (24 enodes) 6.008 * * [simplify]: iters left: 1 (37 enodes) 6.014 * * [simplify]: Extracting #0: cost 1 inf + 0 6.014 * * [simplify]: Extracting #1: cost 3 inf + 0 6.014 * * [simplify]: Extracting #2: cost 6 inf + 0 6.014 * * [simplify]: Extracting #3: cost 12 inf + 0 6.014 * * [simplify]: Extracting #4: cost 12 inf + 3 6.014 * * [simplify]: Extracting #5: cost 13 inf + 221 6.014 * * [simplify]: Extracting #6: cost 6 inf + 1202 6.014 * * [simplify]: Extracting #7: cost 1 inf + 1973 6.015 * * [simplify]: Extracting #8: cost 0 inf + 2194 6.015 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 6.015 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 6.015 * * * * [progress]: [ 80 / 80 ] simplifiying candidate # 6.015 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 6.015 * * [simplify]: iters left: 3 (6 enodes) 6.016 * * [simplify]: iters left: 2 (24 enodes) 6.020 * * [simplify]: iters left: 1 (37 enodes) 6.026 * * [simplify]: Extracting #0: cost 1 inf + 0 6.026 * * [simplify]: Extracting #1: cost 3 inf + 0 6.026 * * [simplify]: Extracting #2: cost 6 inf + 0 6.026 * * [simplify]: Extracting #3: cost 12 inf + 0 6.026 * * [simplify]: Extracting #4: cost 12 inf + 3 6.026 * * [simplify]: Extracting #5: cost 13 inf + 221 6.026 * * [simplify]: Extracting #6: cost 6 inf + 1202 6.026 * * [simplify]: Extracting #7: cost 1 inf + 1973 6.026 * * [simplify]: Extracting #8: cost 0 inf + 2194 6.027 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 6.027 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 6.027 * * * [progress]: adding candidates to table 7.093 * [progress]: [Phase 3 of 3] Extracting. 7.093 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #real (real->posit16 (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> #) 7.096 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 7.096 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # #real (real->posit16 (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> #) 7.664 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # #real (real->posit16 (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> #) 7.779 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # #real (real->posit16 (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> #) 7.913 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # #real (real->posit16 (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> #) 8.031 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # #real (real->posit16 (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))> #) 8.197 * * * [regime]: Found split indices: #