0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.107 * * * [progress]: [2/2] Setting up program. 1.147 * [progress]: [Phase 2 of 3] Improving. 1.148 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.150 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.153 * * [simplify]: iters left: 2 (5 enodes) 1.163 * * [simplify]: iters left: 1 (21 enodes) 1.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1.174 * * [simplify]: Extracting #1: cost 4 inf + 0 1.174 * * [simplify]: Extracting #2: cost 10 inf + 0 1.175 * * [simplify]: Extracting #3: cost 10 inf + 3 1.175 * * [simplify]: Extracting #4: cost 9 inf + 368 1.175 * * [simplify]: Extracting #5: cost 5 inf + 809 1.176 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.176 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.177 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.186 * * [progress]: iteration 1 / 4 1.186 * * * [progress]: picking best candidate 1.192 * * * * [pick]: Picked # 1.192 * * * [progress]: localizing error 1.256 * * * [progress]: generating rewritten candidates 1.257 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.262 * * * [progress]: generating series expansions 1.262 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.267 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.267 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.268 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.271 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.271 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.271 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.271 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.271 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.343 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.343 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.343 * [taylor]: Taking taylor expansion of 0 in a 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [taylor]: Taking taylor expansion of 0 in a 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [taylor]: Taking taylor expansion of 0 in a 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.346 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.347 * [taylor]: Taking taylor expansion of 0 in a 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [taylor]: Taking taylor expansion of 0 in a 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [taylor]: Taking taylor expansion of 0 in a 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.348 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.348 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.348 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.349 * [taylor]: Taking taylor expansion of 0 in a 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [taylor]: Taking taylor expansion of 0 in a 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [taylor]: Taking taylor expansion of 0 in a 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.349 * * * [progress]: simplifying candidates 1.349 * * * * [progress]: [ 1 / 11 ] simplifiying candidate # 1.349 * * * * [progress]: [ 2 / 11 ] simplifiying candidate # 1.350 * * * * [progress]: [ 3 / 11 ] simplifiying candidate # 1.350 * * * * [progress]: [ 4 / 11 ] simplifiying candidate # 1.350 * * * * [progress]: [ 5 / 11 ] simplifiying candidate # 1.350 * * * * [progress]: [ 6 / 11 ] simplifiying candidate # 1.350 * * * * [progress]: [ 7 / 11 ] simplifiying candidate # 1.350 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 1.350 * * * * [progress]: [ 9 / 11 ] simplifiying candidate # 1.350 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.350 * * [simplify]: iters left: 2 (5 enodes) 1.351 * * [simplify]: iters left: 1 (21 enodes) 1.356 * * [simplify]: Extracting #0: cost 1 inf + 0 1.356 * * [simplify]: Extracting #1: cost 4 inf + 0 1.356 * * [simplify]: Extracting #2: cost 10 inf + 0 1.356 * * [simplify]: Extracting #3: cost 10 inf + 3 1.356 * * [simplify]: Extracting #4: cost 9 inf + 368 1.356 * * [simplify]: Extracting #5: cost 5 inf + 809 1.357 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.357 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.357 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.357 * * * * [progress]: [ 10 / 11 ] simplifiying candidate # 1.357 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.357 * * [simplify]: iters left: 2 (5 enodes) 1.358 * * [simplify]: iters left: 1 (21 enodes) 1.362 * * [simplify]: Extracting #0: cost 1 inf + 0 1.362 * * [simplify]: Extracting #1: cost 4 inf + 0 1.362 * * [simplify]: Extracting #2: cost 10 inf + 0 1.362 * * [simplify]: Extracting #3: cost 10 inf + 3 1.362 * * [simplify]: Extracting #4: cost 9 inf + 368 1.362 * * [simplify]: Extracting #5: cost 5 inf + 809 1.362 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.363 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.363 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.363 * * * * [progress]: [ 11 / 11 ] simplifiying candidate # 1.363 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.363 * * [simplify]: iters left: 2 (5 enodes) 1.364 * * [simplify]: iters left: 1 (21 enodes) 1.368 * * [simplify]: Extracting #0: cost 1 inf + 0 1.368 * * [simplify]: Extracting #1: cost 4 inf + 0 1.368 * * [simplify]: Extracting #2: cost 10 inf + 0 1.368 * * [simplify]: Extracting #3: cost 10 inf + 3 1.368 * * [simplify]: Extracting #4: cost 9 inf + 368 1.368 * * [simplify]: Extracting #5: cost 5 inf + 809 1.368 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.369 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.369 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.369 * * * [progress]: adding candidates to table 1.472 * * [progress]: iteration 2 / 4 1.472 * * * [progress]: picking best candidate 1.488 * * * * [pick]: Picked # 1.488 * * * [progress]: localizing error 1.504 * * * [progress]: generating rewritten candidates 1.504 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.504 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.506 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.509 * * * [progress]: generating series expansions 1.509 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.509 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.509 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.509 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.509 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.509 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.509 * [taylor]: Taking taylor expansion of 0 in a 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [taylor]: Taking taylor expansion of 0 in a 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [taylor]: Taking taylor expansion of 0 in a 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.510 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.510 * [taylor]: Taking taylor expansion of 0 in a 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [taylor]: Taking taylor expansion of 0 in a 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [taylor]: Taking taylor expansion of 0 in a 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [taylor]: Taking taylor expansion of 0 in a 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [taylor]: Taking taylor expansion of 0 in a 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [taylor]: Taking taylor expansion of 0 in a 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify 0 into 0 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.511 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.512 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.512 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.512 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.512 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.512 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.512 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.512 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.512 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.512 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.512 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.512 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.512 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.512 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.512 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.512 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.513 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.513 * [taylor]: Taking taylor expansion of 0 in a 1.513 * [backup-simplify]: Simplify 0 into 0 1.513 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.514 * [backup-simplify]: Simplify 0 into 0 1.521 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.521 * [taylor]: Taking taylor expansion of 0 in a 1.522 * [backup-simplify]: Simplify 0 into 0 1.522 * [backup-simplify]: Simplify 0 into 0 1.522 * [backup-simplify]: Simplify 0 into 0 1.523 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.523 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 1.525 * [taylor]: Taking taylor expansion of 0 in a 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.525 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.525 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.525 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.525 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.526 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.526 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.526 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.526 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.526 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.526 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.526 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.527 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.527 * [taylor]: Taking taylor expansion of 0 in a 1.527 * [backup-simplify]: Simplify 0 into 0 1.527 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.528 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.530 * [taylor]: Taking taylor expansion of 0 in a 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 0 into 0 1.531 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.531 * [backup-simplify]: Simplify 0 into 0 1.533 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 1.533 * [taylor]: Taking taylor expansion of 0 in a 1.533 * [backup-simplify]: Simplify 0 into 0 1.533 * [backup-simplify]: Simplify 0 into 0 1.533 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.533 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.533 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.533 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.533 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.533 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.533 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.533 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.534 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.534 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.534 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.534 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.534 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.534 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.535 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.535 * [taylor]: Taking taylor expansion of 0 in a 1.535 * [backup-simplify]: Simplify 0 into 0 1.535 * [backup-simplify]: Simplify 0 into 0 1.535 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.535 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.536 * [taylor]: Taking taylor expansion of 0 in a 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify 0 into 0 1.537 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.538 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 1.539 * [taylor]: Taking taylor expansion of 0 in a 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.540 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.540 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.540 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.540 * [taylor]: Taking taylor expansion of 0 in a 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [taylor]: Taking taylor expansion of 0 in a 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [taylor]: Taking taylor expansion of 0 in a 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.540 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.540 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.541 * [taylor]: Taking taylor expansion of 0 in a 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [taylor]: Taking taylor expansion of 0 in a 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [taylor]: Taking taylor expansion of 0 in a 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.541 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.541 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.541 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.542 * [taylor]: Taking taylor expansion of 0 in a 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [taylor]: Taking taylor expansion of 0 in a 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [taylor]: Taking taylor expansion of 0 in a 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [backup-simplify]: Simplify 0 into 0 1.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.542 * * * [progress]: simplifying candidates 1.542 * * * * [progress]: [ 1 / 46 ] simplifiying candidate # 1.542 * * * * [progress]: [ 2 / 46 ] simplifiying candidate # 1.542 * * * * [progress]: [ 3 / 46 ] simplifiying candidate # 1.542 * * * * [progress]: [ 4 / 46 ] simplifiying candidate # 1.542 * * * * [progress]: [ 5 / 46 ] simplifiying candidate # 1.542 * * * * [progress]: [ 6 / 46 ] simplifiying candidate # 1.543 * * * * [progress]: [ 7 / 46 ] simplifiying candidate # 1.543 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 1.543 * * * * [progress]: [ 9 / 46 ] simplifiying candidate # 1.543 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1.543 * * [simplify]: iters left: 6 (8 enodes) 1.545 * * [simplify]: iters left: 5 (32 enodes) 1.550 * * [simplify]: iters left: 4 (47 enodes) 1.557 * * [simplify]: iters left: 3 (51 enodes) 1.565 * * [simplify]: iters left: 2 (53 enodes) 1.575 * * [simplify]: Extracting #0: cost 1 inf + 0 1.575 * * [simplify]: Extracting #1: cost 4 inf + 0 1.575 * * [simplify]: Extracting #2: cost 7 inf + 0 1.575 * * [simplify]: Extracting #3: cost 9 inf + 0 1.575 * * [simplify]: Extracting #4: cost 12 inf + 0 1.575 * * [simplify]: Extracting #5: cost 18 inf + 0 1.576 * * [simplify]: Extracting #6: cost 16 inf + 185 1.576 * * [simplify]: Extracting #7: cost 18 inf + 312 1.576 * * [simplify]: Extracting #8: cost 12 inf + 1292 1.577 * * [simplify]: Extracting #9: cost 1 inf + 4069 1.577 * * [simplify]: Extracting #10: cost 0 inf + 4436 1.578 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 1.578 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 1.578 * * * * [progress]: [ 10 / 46 ] simplifiying candidate # 1.578 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 1.579 * * [simplify]: iters left: 4 (7 enodes) 1.581 * * [simplify]: iters left: 3 (27 enodes) 1.589 * * [simplify]: iters left: 2 (40 enodes) 1.599 * * [simplify]: iters left: 1 (44 enodes) 1.611 * * [simplify]: Extracting #0: cost 1 inf + 0 1.611 * * [simplify]: Extracting #1: cost 3 inf + 0 1.611 * * [simplify]: Extracting #2: cost 5 inf + 0 1.611 * * [simplify]: Extracting #3: cost 8 inf + 0 1.611 * * [simplify]: Extracting #4: cost 14 inf + 0 1.611 * * [simplify]: Extracting #5: cost 13 inf + 94 1.612 * * [simplify]: Extracting #6: cost 13 inf + 368 1.612 * * [simplify]: Extracting #7: cost 7 inf + 1177 1.612 * * [simplify]: Extracting #8: cost 0 inf + 2788 1.613 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 1.613 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 1.613 * * * * [progress]: [ 11 / 46 ] simplifiying candidate # 1.613 * [simplify]: Simplifying (log 1) 1.613 * * [simplify]: iters left: 1 (2 enodes) 1.616 * * [simplify]: Extracting #0: cost 1 inf + 0 1.616 * * [simplify]: Extracting #1: cost 0 inf + 1 1.616 * [simplify]: Simplified to 0 1.616 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a)))))) 1.617 * * * * [progress]: [ 12 / 46 ] simplifiying candidate # 1.617 * * * * [progress]: [ 13 / 46 ] simplifiying candidate # 1.617 * * * * [progress]: [ 14 / 46 ] simplifiying candidate # 1.617 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.617 * * [simplify]: iters left: 2 (5 enodes) 1.619 * * [simplify]: iters left: 1 (21 enodes) 1.625 * * [simplify]: Extracting #0: cost 1 inf + 0 1.625 * * [simplify]: Extracting #1: cost 4 inf + 0 1.625 * * [simplify]: Extracting #2: cost 10 inf + 0 1.625 * * [simplify]: Extracting #3: cost 10 inf + 3 1.625 * * [simplify]: Extracting #4: cost 9 inf + 368 1.625 * * [simplify]: Extracting #5: cost 5 inf + 809 1.626 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.626 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.626 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.626 * * * * [progress]: [ 15 / 46 ] simplifiying candidate # 1.626 * * * * [progress]: [ 16 / 46 ] simplifiying candidate # 1.626 * * * * [progress]: [ 17 / 46 ] simplifiying candidate # 1.627 * * * * [progress]: [ 18 / 46 ] simplifiying candidate # 1.627 * * * * [progress]: [ 19 / 46 ] simplifiying candidate # 1.627 * * * * [progress]: [ 20 / 46 ] simplifiying candidate # 1.627 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> 1.627 * * * * [progress]: [ 22 / 46 ] simplifiying candidate # 1.627 * * * * [progress]: [ 23 / 46 ] simplifiying candidate # 1.627 * [simplify]: Simplifying (exp 1) 1.627 * * [simplify]: iters left: 1 (2 enodes) 1.629 * * [simplify]: Extracting #0: cost 1 inf + 0 1.629 * * [simplify]: Extracting #1: cost 0 inf + 1 1.629 * [simplify]: Simplified to E 1.629 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 1.629 * * * * [progress]: [ 24 / 46 ] simplifiying candidate # 1.629 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.629 * * [simplify]: iters left: 6 (9 enodes) 1.632 * * [simplify]: iters left: 5 (35 enodes) 1.647 * * [simplify]: iters left: 4 (53 enodes) 1.661 * * [simplify]: iters left: 3 (66 enodes) 1.680 * * [simplify]: iters left: 2 (92 enodes) 1.708 * * [simplify]: iters left: 1 (144 enodes) 1.753 * * [simplify]: Extracting #0: cost 1 inf + 0 1.754 * * [simplify]: Extracting #1: cost 15 inf + 0 1.754 * * [simplify]: Extracting #2: cost 53 inf + 1 1.754 * * [simplify]: Extracting #3: cost 71 inf + 4 1.754 * * [simplify]: Extracting #4: cost 75 inf + 5 1.755 * * [simplify]: Extracting #5: cost 80 inf + 5 1.756 * * [simplify]: Extracting #6: cost 78 inf + 245 1.756 * * [simplify]: Extracting #7: cost 69 inf + 4045 1.759 * * [simplify]: Extracting #8: cost 35 inf + 19243 1.766 * * [simplify]: Extracting #9: cost 4 inf + 43907 1.776 * * [simplify]: Extracting #10: cost 0 inf + 46719 1.788 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.788 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.788 * * * * [progress]: [ 25 / 46 ] simplifiying candidate # 1.789 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a))))) 1.789 * * [simplify]: iters left: 5 (8 enodes) 1.792 * * [simplify]: iters left: 4 (30 enodes) 1.802 * * [simplify]: iters left: 3 (43 enodes) 1.815 * * [simplify]: iters left: 2 (47 enodes) 1.828 * * [simplify]: iters left: 1 (49 enodes) 1.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1.842 * * [simplify]: Extracting #1: cost 3 inf + 0 1.842 * * [simplify]: Extracting #2: cost 5 inf + 0 1.842 * * [simplify]: Extracting #3: cost 7 inf + 0 1.842 * * [simplify]: Extracting #4: cost 10 inf + 0 1.842 * * [simplify]: Extracting #5: cost 16 inf + 0 1.842 * * [simplify]: Extracting #6: cost 15 inf + 94 1.842 * * [simplify]: Extracting #7: cost 16 inf + 312 1.843 * * [simplify]: Extracting #8: cost 9 inf + 1489 1.843 * * [simplify]: Extracting #9: cost 0 inf + 3642 1.843 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a))))) 1.843 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a)))))) 1.843 * * * * [progress]: [ 26 / 46 ] simplifiying candidate # 1.844 * [simplify]: Simplifying (exp 1) 1.844 * * [simplify]: iters left: 1 (2 enodes) 1.845 * * [simplify]: Extracting #0: cost 1 inf + 0 1.845 * * [simplify]: Extracting #1: cost 0 inf + 1 1.845 * [simplify]: Simplified to E 1.845 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 1.845 * * * * [progress]: [ 27 / 46 ] simplifiying candidate # 1.845 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 1.845 * * [simplify]: iters left: 6 (9 enodes) 1.847 * * [simplify]: iters left: 5 (33 enodes) 1.852 * * [simplify]: iters left: 4 (50 enodes) 1.859 * * [simplify]: iters left: 3 (54 enodes) 1.867 * * [simplify]: iters left: 2 (56 enodes) 1.878 * * [simplify]: Extracting #0: cost 1 inf + 0 1.878 * * [simplify]: Extracting #1: cost 4 inf + 0 1.878 * * [simplify]: Extracting #2: cost 8 inf + 0 1.878 * * [simplify]: Extracting #3: cost 12 inf + 0 1.878 * * [simplify]: Extracting #4: cost 18 inf + 0 1.878 * * [simplify]: Extracting #5: cost 17 inf + 94 1.879 * * [simplify]: Extracting #6: cost 18 inf + 312 1.879 * * [simplify]: Extracting #7: cost 9 inf + 1659 1.879 * * [simplify]: Extracting #8: cost 3 inf + 3255 1.880 * * [simplify]: Extracting #9: cost 1 inf + 4029 1.881 * * [simplify]: Extracting #10: cost 0 inf + 4436 1.882 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 1.882 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a))))))) 1.882 * * * * [progress]: [ 28 / 46 ] simplifiying candidate # 1.882 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a))))) 1.882 * * [simplify]: iters left: 5 (8 enodes) 1.885 * * [simplify]: iters left: 4 (28 enodes) 1.894 * * [simplify]: iters left: 3 (41 enodes) 1.902 * * [simplify]: iters left: 2 (45 enodes) 1.911 * * [simplify]: iters left: 1 (47 enodes) 1.918 * * [simplify]: Extracting #0: cost 1 inf + 0 1.918 * * [simplify]: Extracting #1: cost 4 inf + 0 1.918 * * [simplify]: Extracting #2: cost 8 inf + 0 1.918 * * [simplify]: Extracting #3: cost 14 inf + 0 1.918 * * [simplify]: Extracting #4: cost 13 inf + 94 1.918 * * [simplify]: Extracting #5: cost 14 inf + 312 1.918 * * [simplify]: Extracting #6: cost 7 inf + 1429 1.918 * * [simplify]: Extracting #7: cost 1 inf + 2567 1.919 * * [simplify]: Extracting #8: cost 0 inf + 2788 1.919 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 1.919 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a))))))) 1.919 * * * * [progress]: [ 29 / 46 ] simplifiying candidate # 1.919 * [simplify]: Simplifying (exp (log 1)) 1.919 * * [simplify]: iters left: 2 (3 enodes) 1.921 * * [simplify]: iters left: 1 (9 enodes) 1.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1.922 * * [simplify]: Extracting #1: cost 0 inf + 1 1.923 * [simplify]: Simplified to 1 1.923 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a)))))) 1.923 * * * * [progress]: [ 30 / 46 ] simplifiying candidate # 1.923 * [simplify]: Simplifying (cosh c) 1.923 * * [simplify]: iters left: 1 (2 enodes) 1.923 * * [simplify]: Extracting #0: cost 1 inf + 0 1.923 * * [simplify]: Extracting #1: cost 5 inf + 0 1.923 * * [simplify]: Extracting #2: cost 5 inf + 2 1.923 * * [simplify]: Extracting #3: cost 3 inf + 185 1.924 * * [simplify]: Extracting #4: cost 0 inf + 558 1.924 * [simplify]: Simplified to (cosh c) 1.924 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a))) 1.924 * * * * [progress]: [ 31 / 46 ] simplifiying candidate # 1.924 * * * * [progress]: [ 32 / 46 ] simplifiying candidate # 1.924 * * * * [progress]: [ 33 / 46 ] simplifiying candidate # 1.924 * * * * [progress]: [ 34 / 46 ] simplifiying candidate # 1.924 * * * * [progress]: [ 35 / 46 ] simplifiying candidate # 1.924 * * * * [progress]: [ 36 / 46 ] simplifiying candidate # 1.924 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))> 1.924 * * * * [progress]: [ 38 / 46 ] simplifiying candidate # 1.924 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.924 * * [simplify]: iters left: 2 (5 enodes) 1.926 * * [simplify]: iters left: 1 (21 enodes) 1.931 * * [simplify]: Extracting #0: cost 1 inf + 0 1.931 * * [simplify]: Extracting #1: cost 4 inf + 0 1.931 * * [simplify]: Extracting #2: cost 10 inf + 0 1.931 * * [simplify]: Extracting #3: cost 10 inf + 3 1.931 * * [simplify]: Extracting #4: cost 9 inf + 368 1.931 * * [simplify]: Extracting #5: cost 5 inf + 809 1.931 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.931 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.931 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.931 * * * * [progress]: [ 39 / 46 ] simplifiying candidate # 1.932 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.932 * * [simplify]: iters left: 2 (5 enodes) 1.933 * * [simplify]: iters left: 1 (21 enodes) 1.937 * * [simplify]: Extracting #0: cost 1 inf + 0 1.937 * * [simplify]: Extracting #1: cost 4 inf + 0 1.937 * * [simplify]: Extracting #2: cost 10 inf + 0 1.937 * * [simplify]: Extracting #3: cost 10 inf + 3 1.937 * * [simplify]: Extracting #4: cost 9 inf + 368 1.937 * * [simplify]: Extracting #5: cost 5 inf + 809 1.937 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.938 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.938 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.938 * * * * [progress]: [ 40 / 46 ] simplifiying candidate # 1.938 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.938 * * [simplify]: iters left: 2 (5 enodes) 1.939 * * [simplify]: iters left: 1 (21 enodes) 1.943 * * [simplify]: Extracting #0: cost 1 inf + 0 1.943 * * [simplify]: Extracting #1: cost 4 inf + 0 1.943 * * [simplify]: Extracting #2: cost 10 inf + 0 1.943 * * [simplify]: Extracting #3: cost 10 inf + 3 1.943 * * [simplify]: Extracting #4: cost 9 inf + 368 1.943 * * [simplify]: Extracting #5: cost 5 inf + 809 1.943 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.944 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.944 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.944 * * * * [progress]: [ 41 / 46 ] simplifiying candidate # 1.944 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 1.944 * * [simplify]: iters left: 3 (6 enodes) 1.945 * * [simplify]: iters left: 2 (24 enodes) 1.949 * * [simplify]: iters left: 1 (37 enodes) 1.955 * * [simplify]: Extracting #0: cost 1 inf + 0 1.955 * * [simplify]: Extracting #1: cost 3 inf + 0 1.955 * * [simplify]: Extracting #2: cost 6 inf + 0 1.955 * * [simplify]: Extracting #3: cost 12 inf + 0 1.955 * * [simplify]: Extracting #4: cost 12 inf + 3 1.955 * * [simplify]: Extracting #5: cost 13 inf + 221 1.955 * * [simplify]: Extracting #6: cost 6 inf + 1202 1.955 * * [simplify]: Extracting #7: cost 1 inf + 1973 1.956 * * [simplify]: Extracting #8: cost 0 inf + 2194 1.956 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 1.956 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.956 * * * * [progress]: [ 42 / 46 ] simplifiying candidate # 1.956 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 1.956 * * [simplify]: iters left: 3 (6 enodes) 1.957 * * [simplify]: iters left: 2 (24 enodes) 1.961 * * [simplify]: iters left: 1 (37 enodes) 1.968 * * [simplify]: Extracting #0: cost 1 inf + 0 1.968 * * [simplify]: Extracting #1: cost 3 inf + 0 1.968 * * [simplify]: Extracting #2: cost 6 inf + 0 1.968 * * [simplify]: Extracting #3: cost 12 inf + 0 1.968 * * [simplify]: Extracting #4: cost 12 inf + 3 1.968 * * [simplify]: Extracting #5: cost 13 inf + 221 1.968 * * [simplify]: Extracting #6: cost 6 inf + 1202 1.968 * * [simplify]: Extracting #7: cost 1 inf + 1973 1.969 * * [simplify]: Extracting #8: cost 0 inf + 2194 1.969 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 1.969 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.969 * * * * [progress]: [ 43 / 46 ] simplifiying candidate # 1.969 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 1.969 * * [simplify]: iters left: 3 (6 enodes) 1.970 * * [simplify]: iters left: 2 (24 enodes) 1.974 * * [simplify]: iters left: 1 (37 enodes) 1.980 * * [simplify]: Extracting #0: cost 1 inf + 0 1.980 * * [simplify]: Extracting #1: cost 3 inf + 0 1.980 * * [simplify]: Extracting #2: cost 6 inf + 0 1.980 * * [simplify]: Extracting #3: cost 12 inf + 0 1.980 * * [simplify]: Extracting #4: cost 12 inf + 3 1.980 * * [simplify]: Extracting #5: cost 13 inf + 221 1.980 * * [simplify]: Extracting #6: cost 6 inf + 1202 1.981 * * [simplify]: Extracting #7: cost 1 inf + 1973 1.981 * * [simplify]: Extracting #8: cost 0 inf + 2194 1.981 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 1.981 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.981 * * * * [progress]: [ 44 / 46 ] simplifiying candidate # 1.981 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.981 * * [simplify]: iters left: 2 (5 enodes) 1.982 * * [simplify]: iters left: 1 (21 enodes) 1.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1.986 * * [simplify]: Extracting #1: cost 4 inf + 0 1.986 * * [simplify]: Extracting #2: cost 10 inf + 0 1.986 * * [simplify]: Extracting #3: cost 10 inf + 3 1.986 * * [simplify]: Extracting #4: cost 9 inf + 368 1.987 * * [simplify]: Extracting #5: cost 5 inf + 809 1.987 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.987 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.987 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.987 * * * * [progress]: [ 45 / 46 ] simplifiying candidate # 1.987 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.987 * * [simplify]: iters left: 2 (5 enodes) 1.988 * * [simplify]: iters left: 1 (21 enodes) 1.992 * * [simplify]: Extracting #0: cost 1 inf + 0 1.992 * * [simplify]: Extracting #1: cost 4 inf + 0 1.992 * * [simplify]: Extracting #2: cost 10 inf + 0 1.992 * * [simplify]: Extracting #3: cost 10 inf + 3 1.992 * * [simplify]: Extracting #4: cost 9 inf + 368 1.992 * * [simplify]: Extracting #5: cost 5 inf + 809 1.992 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.992 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.992 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.993 * * * * [progress]: [ 46 / 46 ] simplifiying candidate # 1.993 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.993 * * [simplify]: iters left: 2 (5 enodes) 1.995 * * [simplify]: iters left: 1 (21 enodes) 1.999 * * [simplify]: Extracting #0: cost 1 inf + 0 1.999 * * [simplify]: Extracting #1: cost 4 inf + 0 1.999 * * [simplify]: Extracting #2: cost 10 inf + 0 1.999 * * [simplify]: Extracting #3: cost 10 inf + 3 1.999 * * [simplify]: Extracting #4: cost 9 inf + 368 1.999 * * [simplify]: Extracting #5: cost 5 inf + 809 1.999 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.999 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.000 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.000 * * * [progress]: adding candidates to table 2.436 * * [progress]: iteration 3 / 4 2.436 * * * [progress]: picking best candidate 2.488 * * * * [pick]: Picked # 2.488 * * * [progress]: localizing error 2.503 * * * [progress]: generating rewritten candidates 2.503 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 2.503 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 2.503 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 2.518 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 2.521 * * * [progress]: generating series expansions 2.521 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 2.522 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.522 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.522 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.522 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.522 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.522 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.522 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.522 * [taylor]: Taking taylor expansion of 0 in a 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [taylor]: Taking taylor expansion of 0 in a 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [taylor]: Taking taylor expansion of 0 in a 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.523 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.523 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.523 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.523 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.523 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.524 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.524 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.524 * [taylor]: Taking taylor expansion of 0 in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [taylor]: Taking taylor expansion of 0 in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [taylor]: Taking taylor expansion of 0 in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.524 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.524 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.525 * [taylor]: Taking taylor expansion of 0 in a 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [taylor]: Taking taylor expansion of 0 in a 2.525 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [taylor]: Taking taylor expansion of 0 in a 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.526 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 2.526 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.526 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.526 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.526 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.526 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.526 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.526 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.526 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.526 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.527 * [taylor]: Taking taylor expansion of 0 in a 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [taylor]: Taking taylor expansion of 0 in a 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [taylor]: Taking taylor expansion of 0 in a 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.527 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.527 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.527 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.528 * [taylor]: Taking taylor expansion of 0 in a 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [taylor]: Taking taylor expansion of 0 in a 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [taylor]: Taking taylor expansion of 0 in a 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.529 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.530 * [taylor]: Taking taylor expansion of 0 in a 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [taylor]: Taking taylor expansion of 0 in a 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [taylor]: Taking taylor expansion of 0 in a 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.530 * * * * [progress]: [ 3 / 4 ] generating series at (2) 2.531 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 2.531 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.531 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.531 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.531 * [taylor]: Taking taylor expansion of 0 in a 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [taylor]: Taking taylor expansion of 0 in a 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [taylor]: Taking taylor expansion of 0 in a 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.532 * [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))) 2.532 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.532 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.532 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.532 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.532 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.532 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.532 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.532 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.533 * [taylor]: Taking taylor expansion of 0 in a 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [taylor]: Taking taylor expansion of 0 in a 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [taylor]: Taking taylor expansion of 0 in a 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.534 * [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))) 2.534 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.535 * [taylor]: Taking taylor expansion of 0 in a 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [taylor]: Taking taylor expansion of 0 in a 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [taylor]: Taking taylor expansion of 0 in a 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.535 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 2.535 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 2.535 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0 2.535 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 2.535 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.535 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.535 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 2.535 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 2.535 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 2.535 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.536 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 2.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 2.536 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 2.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.536 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 2.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 2.536 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 2.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.536 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 2.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 2.536 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 2.536 * [taylor]: Taking taylor expansion of 0 in a 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 2.537 * [taylor]: Taking taylor expansion of 0 in a 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 2.538 * [taylor]: Taking taylor expansion of 0 in a 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 2.539 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.539 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 2.539 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.539 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.539 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 2.539 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.539 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.539 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 2.539 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.539 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.539 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 2.539 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.540 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.540 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.540 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 2.540 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.540 * [taylor]: Taking taylor expansion of 0 in a 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 2.540 * [taylor]: Taking taylor expansion of 0 in a 2.540 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 2.541 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 2.542 * [taylor]: Taking taylor expansion of 0 in a 2.542 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a))) 2.542 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.542 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 2.542 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.542 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 2.542 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.542 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 2.542 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.543 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 2.543 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.543 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 2.543 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.543 * [taylor]: Taking taylor expansion of 0 in a 2.543 * [backup-simplify]: Simplify 0 into 0 2.543 * [backup-simplify]: Simplify 0 into 0 2.543 * [backup-simplify]: Simplify 0 into 0 2.544 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 2.544 * [taylor]: Taking taylor expansion of 0 in a 2.544 * [backup-simplify]: Simplify 0 into 0 2.544 * [backup-simplify]: Simplify 0 into 0 2.544 * [backup-simplify]: Simplify 0 into 0 2.544 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 2.544 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 2.545 * [taylor]: Taking taylor expansion of 0 in a 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a))) 2.545 * * * [progress]: simplifying candidates 2.545 * * * * [progress]: [ 1 / 92 ] simplifiying candidate # 2.545 * * * * [progress]: [ 2 / 92 ] simplifiying candidate # 2.545 * * * * [progress]: [ 3 / 92 ] simplifiying candidate # 2.545 * * * * [progress]: [ 4 / 92 ] simplifiying candidate # 2.545 * * * * [progress]: [ 5 / 92 ] simplifiying candidate # 2.545 * * * * [progress]: [ 6 / 92 ] simplifiying candidate # 2.545 * * * * [progress]: [ 7 / 92 ] simplifiying candidate # 2.545 * * * * [progress]: [ 8 / 92 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 2.545 * * * * [progress]: [ 9 / 92 ] simplifiying candidate # 2.546 * * * * [progress]: [ 10 / 92 ] simplifiying candidate # 2.546 * * * * [progress]: [ 11 / 92 ] simplifiying candidate # 2.546 * * * * [progress]: [ 12 / 92 ] simplifiying candidate # 2.546 * * * * [progress]: [ 13 / 92 ] simplifiying candidate # 2.546 * * * * [progress]: [ 14 / 92 ] simplifiying candidate # 2.546 * * * * [progress]: [ 15 / 92 ] simplifiying candidate # 2.546 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> 2.546 * * * * [progress]: [ 17 / 92 ] simplifiying candidate # 2.546 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.546 * * [simplify]: iters left: 2 (5 enodes) 2.547 * * [simplify]: iters left: 1 (21 enodes) 2.550 * * [simplify]: Extracting #0: cost 1 inf + 0 2.550 * * [simplify]: Extracting #1: cost 4 inf + 0 2.550 * * [simplify]: Extracting #2: cost 10 inf + 0 2.550 * * [simplify]: Extracting #3: cost 10 inf + 3 2.551 * * [simplify]: Extracting #4: cost 9 inf + 368 2.551 * * [simplify]: Extracting #5: cost 5 inf + 809 2.551 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.551 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.551 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 1/2))) 2.551 * [simplify]: Simplifying (+ 1/2 1/2) 2.551 * * [simplify]: iters left: 2 (2 enodes) 2.553 * * [simplify]: iters left: 1 (7 enodes) 2.559 * * [simplify]: Extracting #0: cost 1 inf + 0 2.559 * * [simplify]: Extracting #1: cost 0 inf + 1 2.559 * [simplify]: Simplified to 1 2.559 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 2.559 * * * * [progress]: [ 18 / 92 ] simplifiying candidate # 2.559 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.559 * * [simplify]: iters left: 2 (5 enodes) 2.560 * * [simplify]: iters left: 1 (21 enodes) 2.564 * * [simplify]: Extracting #0: cost 1 inf + 0 2.564 * * [simplify]: Extracting #1: cost 4 inf + 0 2.564 * * [simplify]: Extracting #2: cost 10 inf + 0 2.564 * * [simplify]: Extracting #3: cost 10 inf + 3 2.564 * * [simplify]: Extracting #4: cost 9 inf + 368 2.564 * * [simplify]: Extracting #5: cost 5 inf + 809 2.564 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.564 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.564 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 (/ 1 2)))) 2.565 * [simplify]: Simplifying (+ 1/2 (/ 1 2)) 2.565 * * [simplify]: iters left: 4 (5 enodes) 2.568 * * [simplify]: iters left: 3 (18 enodes) 2.572 * * [simplify]: iters left: 2 (20 enodes) 2.575 * * [simplify]: Extracting #0: cost 1 inf + 0 2.575 * * [simplify]: Extracting #1: cost 0 inf + 1 2.575 * [simplify]: Simplified to 1 2.575 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 2.575 * * * * [progress]: [ 19 / 92 ] simplifiying candidate # 2.575 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 2.576 * * [simplify]: iters left: 3 (6 enodes) 2.577 * * [simplify]: iters left: 2 (24 enodes) 2.580 * * [simplify]: iters left: 1 (37 enodes) 2.589 * * [simplify]: Extracting #0: cost 1 inf + 0 2.590 * * [simplify]: Extracting #1: cost 3 inf + 0 2.590 * * [simplify]: Extracting #2: cost 6 inf + 0 2.590 * * [simplify]: Extracting #3: cost 12 inf + 0 2.590 * * [simplify]: Extracting #4: cost 12 inf + 3 2.590 * * [simplify]: Extracting #5: cost 13 inf + 221 2.590 * * [simplify]: Extracting #6: cost 6 inf + 1172 2.591 * * [simplify]: Extracting #7: cost 1 inf + 1913 2.591 * * [simplify]: Extracting #8: cost 0 inf + 2134 2.592 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.592 * [simplify]: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1))) 2.592 * [simplify]: Simplifying (+ 1 1) 2.592 * * [simplify]: iters left: 2 (2 enodes) 2.594 * * [simplify]: iters left: 1 (9 enodes) 2.598 * * [simplify]: Extracting #0: cost 1 inf + 0 2.598 * * [simplify]: Extracting #1: cost 0 inf + 1 2.598 * [simplify]: Simplified to 2 2.598 * [simplify]: Simplified (2 2) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2)) 2.598 * * * * [progress]: [ 20 / 92 ] simplifiying candidate # 2.598 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.598 * * [simplify]: iters left: 2 (5 enodes) 2.600 * * [simplify]: iters left: 1 (21 enodes) 2.607 * * [simplify]: Extracting #0: cost 1 inf + 0 2.607 * * [simplify]: Extracting #1: cost 4 inf + 0 2.607 * * [simplify]: Extracting #2: cost 10 inf + 0 2.607 * * [simplify]: Extracting #3: cost 10 inf + 3 2.607 * * [simplify]: Extracting #4: cost 9 inf + 368 2.608 * * [simplify]: Extracting #5: cost 5 inf + 809 2.608 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.608 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.608 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) 1/2))) 2.609 * [simplify]: Simplifying (+ (/ 1 2) 1/2) 2.609 * * [simplify]: iters left: 4 (5 enodes) 2.616 * * [simplify]: iters left: 3 (18 enodes) 2.621 * * [simplify]: iters left: 2 (20 enodes) 2.627 * * [simplify]: Extracting #0: cost 1 inf + 0 2.627 * * [simplify]: Extracting #1: cost 0 inf + 1 2.627 * [simplify]: Simplified to 1 2.627 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 2.627 * * * * [progress]: [ 21 / 92 ] simplifiying candidate # 2.627 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.628 * * [simplify]: iters left: 2 (5 enodes) 2.630 * * [simplify]: iters left: 1 (21 enodes) 2.637 * * [simplify]: Extracting #0: cost 1 inf + 0 2.637 * * [simplify]: Extracting #1: cost 4 inf + 0 2.637 * * [simplify]: Extracting #2: cost 10 inf + 0 2.637 * * [simplify]: Extracting #3: cost 10 inf + 3 2.637 * * [simplify]: Extracting #4: cost 9 inf + 368 2.637 * * [simplify]: Extracting #5: cost 5 inf + 809 2.638 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.638 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.638 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) (/ 1 2)))) 2.638 * [simplify]: Simplifying (+ (/ 1 2) (/ 1 2)) 2.639 * * [simplify]: iters left: 4 (4 enodes) 2.643 * * [simplify]: iters left: 3 (15 enodes) 2.648 * * [simplify]: iters left: 2 (17 enodes) 2.653 * * [simplify]: Extracting #0: cost 1 inf + 0 2.653 * * [simplify]: Extracting #1: cost 0 inf + 1 2.653 * [simplify]: Simplified to 1 2.653 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 2.653 * * * * [progress]: [ 22 / 92 ] simplifiying candidate # 2.654 * [simplify]: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 2.654 * * [simplify]: iters left: 4 (6 enodes) 2.657 * * [simplify]: iters left: 3 (24 enodes) 2.665 * * [simplify]: iters left: 2 (37 enodes) 2.677 * * [simplify]: iters left: 1 (41 enodes) 2.689 * * [simplify]: Extracting #0: cost 1 inf + 0 2.689 * * [simplify]: Extracting #1: cost 3 inf + 0 2.689 * * [simplify]: Extracting #2: cost 6 inf + 0 2.689 * * [simplify]: Extracting #3: cost 12 inf + 0 2.689 * * [simplify]: Extracting #4: cost 12 inf + 3 2.689 * * [simplify]: Extracting #5: cost 13 inf + 221 2.690 * * [simplify]: Extracting #6: cost 6 inf + 1172 2.690 * * [simplify]: Extracting #7: cost 1 inf + 1913 2.691 * * [simplify]: Extracting #8: cost 0 inf + 2134 2.691 * [simplify]: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 2.691 * [simplify]: Simplified (2 1) to (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2)) 2.691 * * * * [progress]: [ 23 / 92 ] simplifiying candidate # 2.692 * [simplify]: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 2.692 * * [simplify]: iters left: 5 (7 enodes) 2.695 * * [simplify]: iters left: 4 (25 enodes) 2.706 * * [simplify]: iters left: 3 (39 enodes) 2.717 * * [simplify]: iters left: 2 (43 enodes) 2.729 * * [simplify]: iters left: 1 (45 enodes) 2.738 * * [simplify]: Extracting #0: cost 1 inf + 0 2.738 * * [simplify]: Extracting #1: cost 5 inf + 0 2.738 * * [simplify]: Extracting #2: cost 12 inf + 0 2.738 * * [simplify]: Extracting #3: cost 12 inf + 3 2.738 * * [simplify]: Extracting #4: cost 12 inf + 277 2.739 * * [simplify]: Extracting #5: cost 6 inf + 1066 2.739 * * [simplify]: Extracting #6: cost 0 inf + 2134 2.739 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.739 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 2.739 * * * * [progress]: [ 24 / 92 ] simplifiying candidate # 2.739 * [simplify]: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 2.739 * * [simplify]: iters left: 4 (6 enodes) 2.741 * * [simplify]: iters left: 3 (24 enodes) 2.744 * * [simplify]: iters left: 2 (37 enodes) 2.750 * * [simplify]: iters left: 1 (41 enodes) 2.756 * * [simplify]: Extracting #0: cost 1 inf + 0 2.756 * * [simplify]: Extracting #1: cost 3 inf + 0 2.756 * * [simplify]: Extracting #2: cost 6 inf + 0 2.756 * * [simplify]: Extracting #3: cost 12 inf + 0 2.756 * * [simplify]: Extracting #4: cost 12 inf + 3 2.756 * * [simplify]: Extracting #5: cost 13 inf + 221 2.756 * * [simplify]: Extracting #6: cost 6 inf + 1172 2.757 * * [simplify]: Extracting #7: cost 1 inf + 1913 2.757 * * [simplify]: Extracting #8: cost 0 inf + 2134 2.757 * [simplify]: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 2.757 * [simplify]: Simplified (2 1) to (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (/ 1 2))) 2.757 * [simplify]: Simplifying (/ 1 2) 2.757 * * [simplify]: iters left: 2 (3 enodes) 2.759 * * [simplify]: iters left: 1 (12 enodes) 2.761 * * [simplify]: Extracting #0: cost 1 inf + 0 2.761 * * [simplify]: Extracting #1: cost 0 inf + 1 2.761 * [simplify]: Simplified to 1/2 2.761 * [simplify]: Simplified (2 2) to (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2)) 2.762 * * * * [progress]: [ 25 / 92 ] simplifiying candidate # 2.762 * * * * [progress]: [ 26 / 92 ] simplifiying candidate # 2.762 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 2.762 * * [simplify]: iters left: 3 (6 enodes) 2.763 * * [simplify]: iters left: 2 (24 enodes) 2.771 * * [simplify]: iters left: 1 (37 enodes) 2.776 * * [simplify]: Extracting #0: cost 1 inf + 0 2.776 * * [simplify]: Extracting #1: cost 3 inf + 0 2.776 * * [simplify]: Extracting #2: cost 6 inf + 0 2.776 * * [simplify]: Extracting #3: cost 12 inf + 0 2.776 * * [simplify]: Extracting #4: cost 12 inf + 3 2.776 * * [simplify]: Extracting #5: cost 13 inf + 221 2.777 * * [simplify]: Extracting #6: cost 6 inf + 1172 2.777 * * [simplify]: Extracting #7: cost 1 inf + 1913 2.777 * * [simplify]: Extracting #8: cost 0 inf + 2134 2.777 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.777 * [simplify]: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1))) 2.777 * * * * [progress]: [ 27 / 92 ] simplifiying candidate # 2.777 * * * * [progress]: [ 28 / 92 ] simplifiying candidate # 2.778 * [simplify]: Simplifying (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2.778 * * [simplify]: iters left: 6 (8 enodes) 2.779 * * [simplify]: iters left: 5 (30 enodes) 2.784 * * [simplify]: iters left: 4 (43 enodes) 2.790 * * [simplify]: iters left: 3 (47 enodes) 2.797 * * [simplify]: iters left: 2 (49 enodes) 2.807 * * [simplify]: Extracting #0: cost 1 inf + 0 2.807 * * [simplify]: Extracting #1: cost 3 inf + 0 2.807 * * [simplify]: Extracting #2: cost 5 inf + 0 2.807 * * [simplify]: Extracting #3: cost 7 inf + 0 2.807 * * [simplify]: Extracting #4: cost 10 inf + 0 2.807 * * [simplify]: Extracting #5: cost 16 inf + 0 2.808 * * [simplify]: Extracting #6: cost 15 inf + 94 2.808 * * [simplify]: Extracting #7: cost 16 inf + 312 2.808 * * [simplify]: Extracting #8: cost 9 inf + 1429 2.809 * * [simplify]: Extracting #9: cost 0 inf + 3522 2.809 * [simplify]: Simplified to (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2.810 * [simplify]: Simplified (2 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 2.810 * * * * [progress]: [ 29 / 92 ] simplifiying candidate # 2.810 * * * * [progress]: [ 30 / 92 ] simplifiying candidate # 2.810 * * * * [progress]: [ 31 / 92 ] simplifiying candidate # 2.810 * [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))))) 2.810 * * [simplify]: iters left: 6 (9 enodes) 2.815 * * [simplify]: iters left: 5 (38 enodes) 2.828 * * [simplify]: iters left: 4 (64 enodes) 2.845 * * [simplify]: iters left: 3 (81 enodes) 2.860 * * [simplify]: iters left: 2 (115 enodes) 2.893 * * [simplify]: iters left: 1 (199 enodes) 2.947 * * [simplify]: Extracting #0: cost 1 inf + 0 2.947 * * [simplify]: Extracting #1: cost 23 inf + 0 2.948 * * [simplify]: Extracting #2: cost 90 inf + 3 2.948 * * [simplify]: Extracting #3: cost 100 inf + 10 2.949 * * [simplify]: Extracting #4: cost 96 inf + 218 2.952 * * [simplify]: Extracting #5: cost 46 inf + 23406 2.960 * * [simplify]: Extracting #6: cost 6 inf + 43554 2.969 * * [simplify]: Extracting #7: cost 0 inf + 46550 2.978 * [simplify]: Simplified to (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) 2.978 * [simplify]: Simplified (2 1) to (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) 2.978 * * * * [progress]: [ 32 / 92 ] simplifiying candidate # 2.978 * * * * [progress]: [ 33 / 92 ] simplifiying candidate # 2.978 * * * * [progress]: [ 34 / 92 ] simplifiying candidate # 2.978 * [simplify]: Simplifying (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 2.978 * * [simplify]: iters left: 4 (6 enodes) 2.981 * * [simplify]: iters left: 3 (24 enodes) 2.989 * * [simplify]: iters left: 2 (37 enodes) 3.000 * * [simplify]: iters left: 1 (41 enodes) 3.012 * * [simplify]: Extracting #0: cost 1 inf + 0 3.012 * * [simplify]: Extracting #1: cost 3 inf + 0 3.012 * * [simplify]: Extracting #2: cost 6 inf + 0 3.012 * * [simplify]: Extracting #3: cost 12 inf + 0 3.012 * * [simplify]: Extracting #4: cost 12 inf + 3 3.012 * * [simplify]: Extracting #5: cost 13 inf + 221 3.013 * * [simplify]: Extracting #6: cost 6 inf + 1172 3.013 * * [simplify]: Extracting #7: cost 1 inf + 1913 3.013 * * [simplify]: Extracting #8: cost 0 inf + 2134 3.014 * [simplify]: Simplified to (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 3.014 * [simplify]: Simplified (2 1) to (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))) 3.014 * * * * [progress]: [ 35 / 92 ] simplifiying candidate # 3.014 * * * * [progress]: [ 36 / 92 ] simplifiying candidate # 3.014 * [simplify]: Simplifying (cosh c) 3.014 * * [simplify]: iters left: 1 (2 enodes) 3.015 * * [simplify]: Extracting #0: cost 1 inf + 0 3.015 * * [simplify]: Extracting #1: cost 5 inf + 0 3.015 * * [simplify]: Extracting #2: cost 5 inf + 2 3.015 * * [simplify]: Extracting #3: cost 3 inf + 185 3.015 * * [simplify]: Extracting #4: cost 0 inf + 558 3.015 * [simplify]: Simplified to (cosh c) 3.015 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a))) 3.015 * [simplify]: Simplifying (log1p a) 3.016 * * [simplify]: iters left: 1 (2 enodes) 3.016 * * [simplify]: Extracting #0: cost 1 inf + 0 3.016 * * [simplify]: Extracting #1: cost 3 inf + 0 3.016 * * [simplify]: Extracting #2: cost 2 inf + 1 3.016 * * [simplify]: Extracting #3: cost 0 inf + 183 3.016 * [simplify]: Simplified to (log1p a) 3.016 * [simplify]: Simplified (2 2) to (λ (a c) (fmod (cosh c) (log1p a))) 3.016 * * * * [progress]: [ 37 / 92 ] simplifiying candidate # 3.016 * * * * [progress]: [ 38 / 92 ] simplifiying candidate # 3.016 * [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)))))) 3.016 * * [simplify]: iters left: 6 (9 enodes) 3.018 * * [simplify]: iters left: 5 (37 enodes) 3.024 * * [simplify]: iters left: 4 (54 enodes) 3.037 * * [simplify]: iters left: 3 (67 enodes) 3.048 * * [simplify]: iters left: 2 (87 enodes) 3.073 * * [simplify]: iters left: 1 (133 enodes) 3.121 * * [simplify]: Extracting #0: cost 1 inf + 0 3.121 * * [simplify]: Extracting #1: cost 13 inf + 0 3.121 * * [simplify]: Extracting #2: cost 40 inf + 1 3.121 * * [simplify]: Extracting #3: cost 41 inf + 7 3.122 * * [simplify]: Extracting #4: cost 45 inf + 9 3.122 * * [simplify]: Extracting #5: cost 42 inf + 250 3.123 * * [simplify]: Extracting #6: cost 40 inf + 1068 3.124 * * [simplify]: Extracting #7: cost 25 inf + 6596 3.127 * * [simplify]: Extracting #8: cost 8 inf + 16704 3.131 * * [simplify]: Extracting #9: cost 0 inf + 22594 3.136 * [simplify]: Simplified to (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) 3.136 * [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))))))) 3.136 * [simplify]: Simplifying (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3.136 * * [simplify]: iters left: 6 (8 enodes) 3.140 * * [simplify]: iters left: 5 (30 enodes) 3.149 * * [simplify]: iters left: 4 (43 enodes) 3.165 * * [simplify]: iters left: 3 (47 enodes) 3.179 * * [simplify]: iters left: 2 (49 enodes) 3.193 * * [simplify]: Extracting #0: cost 1 inf + 0 3.193 * * [simplify]: Extracting #1: cost 3 inf + 0 3.193 * * [simplify]: Extracting #2: cost 5 inf + 0 3.193 * * [simplify]: Extracting #3: cost 7 inf + 0 3.193 * * [simplify]: Extracting #4: cost 10 inf + 0 3.193 * * [simplify]: Extracting #5: cost 16 inf + 0 3.193 * * [simplify]: Extracting #6: cost 15 inf + 94 3.193 * * [simplify]: Extracting #7: cost 16 inf + 312 3.194 * * [simplify]: Extracting #8: cost 9 inf + 1429 3.194 * * [simplify]: Extracting #9: cost 0 inf + 3562 3.195 * [simplify]: Simplified to (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3.195 * [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))))))) 3.195 * * * * [progress]: [ 39 / 92 ] simplifiying candidate # 3.195 * [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)))))) 3.196 * * [simplify]: iters left: 6 (9 enodes) 3.199 * * [simplify]: iters left: 5 (32 enodes) 3.210 * * [simplify]: iters left: 4 (46 enodes) 3.222 * * [simplify]: iters left: 3 (50 enodes) 3.236 * * [simplify]: iters left: 2 (52 enodes) 3.250 * * [simplify]: Extracting #0: cost 1 inf + 0 3.250 * * [simplify]: Extracting #1: cost 4 inf + 0 3.250 * * [simplify]: Extracting #2: cost 7 inf + 0 3.250 * * [simplify]: Extracting #3: cost 10 inf + 0 3.250 * * [simplify]: Extracting #4: cost 16 inf + 0 3.250 * * [simplify]: Extracting #5: cost 14 inf + 185 3.250 * * [simplify]: Extracting #6: cost 16 inf + 312 3.251 * * [simplify]: Extracting #7: cost 5 inf + 2405 3.251 * * [simplify]: Extracting #8: cost 0 inf + 3562 3.252 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 3.252 * [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))))))) 3.252 * [simplify]: Simplifying (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3.253 * * [simplify]: iters left: 6 (8 enodes) 3.256 * * [simplify]: iters left: 5 (28 enodes) 3.262 * * [simplify]: iters left: 4 (42 enodes) 3.268 * * [simplify]: iters left: 3 (46 enodes) 3.275 * * [simplify]: iters left: 2 (48 enodes) 3.282 * * [simplify]: Extracting #0: cost 1 inf + 0 3.282 * * [simplify]: Extracting #1: cost 4 inf + 0 3.282 * * [simplify]: Extracting #2: cost 8 inf + 0 3.282 * * [simplify]: Extracting #3: cost 14 inf + 0 3.282 * * [simplify]: Extracting #4: cost 13 inf + 94 3.282 * * [simplify]: Extracting #5: cost 14 inf + 312 3.282 * * [simplify]: Extracting #6: cost 7 inf + 1509 3.282 * * [simplify]: Extracting #7: cost 1 inf + 2667 3.283 * * [simplify]: Extracting #8: cost 0 inf + 2888 3.283 * [simplify]: Simplified to (cbrt (fmod (cosh c) (log1p a))) 3.283 * [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))))) 3.283 * * * * [progress]: [ 40 / 92 ] simplifiying candidate # 3.283 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.283 * * [simplify]: iters left: 6 (8 enodes) 3.285 * * [simplify]: iters left: 5 (28 enodes) 3.291 * * [simplify]: iters left: 4 (42 enodes) 3.305 * * [simplify]: iters left: 3 (46 enodes) 3.311 * * [simplify]: iters left: 2 (48 enodes) 3.318 * * [simplify]: Extracting #0: cost 1 inf + 0 3.318 * * [simplify]: Extracting #1: cost 4 inf + 0 3.318 * * [simplify]: Extracting #2: cost 8 inf + 0 3.318 * * [simplify]: Extracting #3: cost 14 inf + 0 3.318 * * [simplify]: Extracting #4: cost 13 inf + 94 3.318 * * [simplify]: Extracting #5: cost 14 inf + 312 3.318 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.319 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.319 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.319 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.319 * [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))))))) 3.320 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.320 * * [simplify]: iters left: 6 (8 enodes) 3.321 * * [simplify]: iters left: 5 (28 enodes) 3.326 * * [simplify]: iters left: 4 (42 enodes) 3.332 * * [simplify]: iters left: 3 (46 enodes) 3.339 * * [simplify]: iters left: 2 (48 enodes) 3.346 * * [simplify]: Extracting #0: cost 1 inf + 0 3.346 * * [simplify]: Extracting #1: cost 4 inf + 0 3.346 * * [simplify]: Extracting #2: cost 8 inf + 0 3.346 * * [simplify]: Extracting #3: cost 14 inf + 0 3.346 * * [simplify]: Extracting #4: cost 13 inf + 94 3.346 * * [simplify]: Extracting #5: cost 14 inf + 312 3.346 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.347 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.347 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.347 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.347 * [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))))) 3.347 * * * * [progress]: [ 41 / 92 ] simplifiying candidate # 3.348 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.348 * * [simplify]: iters left: 6 (8 enodes) 3.349 * * [simplify]: iters left: 5 (28 enodes) 3.354 * * [simplify]: iters left: 4 (42 enodes) 3.360 * * [simplify]: iters left: 3 (46 enodes) 3.370 * * [simplify]: iters left: 2 (48 enodes) 3.384 * * [simplify]: Extracting #0: cost 1 inf + 0 3.384 * * [simplify]: Extracting #1: cost 4 inf + 0 3.384 * * [simplify]: Extracting #2: cost 8 inf + 0 3.384 * * [simplify]: Extracting #3: cost 14 inf + 0 3.384 * * [simplify]: Extracting #4: cost 13 inf + 94 3.384 * * [simplify]: Extracting #5: cost 14 inf + 312 3.384 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.385 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.386 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.386 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.386 * [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))))))) 3.387 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.387 * * [simplify]: iters left: 6 (8 enodes) 3.390 * * [simplify]: iters left: 5 (28 enodes) 3.396 * * [simplify]: iters left: 4 (42 enodes) 3.402 * * [simplify]: iters left: 3 (46 enodes) 3.409 * * [simplify]: iters left: 2 (48 enodes) 3.417 * * [simplify]: Extracting #0: cost 1 inf + 0 3.417 * * [simplify]: Extracting #1: cost 4 inf + 0 3.417 * * [simplify]: Extracting #2: cost 8 inf + 0 3.417 * * [simplify]: Extracting #3: cost 14 inf + 0 3.417 * * [simplify]: Extracting #4: cost 13 inf + 94 3.417 * * [simplify]: Extracting #5: cost 14 inf + 312 3.417 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.417 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.418 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.418 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.418 * [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))))) 3.418 * * * * [progress]: [ 42 / 92 ] simplifiying candidate # 3.418 * [simplify]: Simplifying (* (sqrt 1) (sqrt 1)) 3.418 * * [simplify]: iters left: 3 (3 enodes) 3.420 * * [simplify]: iters left: 2 (9 enodes) 3.422 * * [simplify]: iters left: 1 (11 enodes) 3.423 * * [simplify]: Extracting #0: cost 1 inf + 0 3.423 * * [simplify]: Extracting #1: cost 0 inf + 1 3.423 * [simplify]: Simplified to 1 3.423 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) 3.424 * [simplify]: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 3.424 * * [simplify]: iters left: 5 (7 enodes) 3.425 * * [simplify]: iters left: 4 (25 enodes) 3.429 * * [simplify]: iters left: 3 (39 enodes) 3.435 * * [simplify]: iters left: 2 (43 enodes) 3.441 * * [simplify]: iters left: 1 (45 enodes) 3.452 * * [simplify]: Extracting #0: cost 1 inf + 0 3.452 * * [simplify]: Extracting #1: cost 5 inf + 0 3.452 * * [simplify]: Extracting #2: cost 12 inf + 0 3.453 * * [simplify]: Extracting #3: cost 12 inf + 3 3.453 * * [simplify]: Extracting #4: cost 12 inf + 277 3.453 * * [simplify]: Extracting #5: cost 6 inf + 1066 3.453 * * [simplify]: Extracting #6: cost 0 inf + 2134 3.454 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.454 * [simplify]: Simplified (2 2) to (λ (a c) (* 1 (fmod (cosh c) (log1p a)))) 3.454 * * * * [progress]: [ 43 / 92 ] simplifiying candidate # 3.454 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.455 * * [simplify]: iters left: 6 (8 enodes) 3.458 * * [simplify]: iters left: 5 (28 enodes) 3.466 * * [simplify]: iters left: 4 (42 enodes) 3.474 * * [simplify]: iters left: 3 (46 enodes) 3.481 * * [simplify]: iters left: 2 (48 enodes) 3.487 * * [simplify]: Extracting #0: cost 1 inf + 0 3.487 * * [simplify]: Extracting #1: cost 4 inf + 0 3.487 * * [simplify]: Extracting #2: cost 8 inf + 0 3.488 * * [simplify]: Extracting #3: cost 14 inf + 0 3.488 * * [simplify]: Extracting #4: cost 13 inf + 94 3.488 * * [simplify]: Extracting #5: cost 14 inf + 312 3.488 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.488 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.488 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.489 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.489 * [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))))))) 3.489 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.489 * * [simplify]: iters left: 6 (8 enodes) 3.491 * * [simplify]: iters left: 5 (28 enodes) 3.496 * * [simplify]: iters left: 4 (42 enodes) 3.502 * * [simplify]: iters left: 3 (46 enodes) 3.509 * * [simplify]: iters left: 2 (48 enodes) 3.516 * * [simplify]: Extracting #0: cost 1 inf + 0 3.517 * * [simplify]: Extracting #1: cost 4 inf + 0 3.517 * * [simplify]: Extracting #2: cost 8 inf + 0 3.517 * * [simplify]: Extracting #3: cost 14 inf + 0 3.517 * * [simplify]: Extracting #4: cost 13 inf + 94 3.517 * * [simplify]: Extracting #5: cost 14 inf + 312 3.517 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.518 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.518 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.519 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.519 * [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))))) 3.519 * * * * [progress]: [ 44 / 92 ] simplifiying candidate # 3.520 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.520 * * [simplify]: iters left: 6 (8 enodes) 3.523 * * [simplify]: iters left: 5 (28 enodes) 3.532 * * [simplify]: iters left: 4 (42 enodes) 3.544 * * [simplify]: iters left: 3 (46 enodes) 3.558 * * [simplify]: iters left: 2 (48 enodes) 3.571 * * [simplify]: Extracting #0: cost 1 inf + 0 3.571 * * [simplify]: Extracting #1: cost 4 inf + 0 3.571 * * [simplify]: Extracting #2: cost 8 inf + 0 3.571 * * [simplify]: Extracting #3: cost 14 inf + 0 3.571 * * [simplify]: Extracting #4: cost 13 inf + 94 3.571 * * [simplify]: Extracting #5: cost 14 inf + 312 3.572 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.572 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.573 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.573 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.573 * [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))))))) 3.574 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.574 * * [simplify]: iters left: 6 (8 enodes) 3.577 * * [simplify]: iters left: 5 (28 enodes) 3.586 * * [simplify]: iters left: 4 (42 enodes) 3.597 * * [simplify]: iters left: 3 (46 enodes) 3.610 * * [simplify]: iters left: 2 (48 enodes) 3.623 * * [simplify]: Extracting #0: cost 1 inf + 0 3.623 * * [simplify]: Extracting #1: cost 4 inf + 0 3.623 * * [simplify]: Extracting #2: cost 8 inf + 0 3.623 * * [simplify]: Extracting #3: cost 14 inf + 0 3.623 * * [simplify]: Extracting #4: cost 13 inf + 94 3.623 * * [simplify]: Extracting #5: cost 14 inf + 312 3.624 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.624 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.624 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.624 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.625 * [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))))) 3.625 * * * * [progress]: [ 45 / 92 ] simplifiying candidate # 3.625 * [simplify]: Simplifying (* 1 1) 3.625 * * [simplify]: iters left: 2 (2 enodes) 3.626 * * [simplify]: iters left: 1 (6 enodes) 3.627 * * [simplify]: Extracting #0: cost 1 inf + 0 3.627 * * [simplify]: Extracting #1: cost 0 inf + 1 3.627 * [simplify]: Simplified to 1 3.627 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) 3.627 * [simplify]: Simplifying (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 3.627 * * [simplify]: iters left: 5 (7 enodes) 3.630 * * [simplify]: iters left: 4 (25 enodes) 3.634 * * [simplify]: iters left: 3 (39 enodes) 3.640 * * [simplify]: iters left: 2 (43 enodes) 3.646 * * [simplify]: iters left: 1 (45 enodes) 3.652 * * [simplify]: Extracting #0: cost 1 inf + 0 3.652 * * [simplify]: Extracting #1: cost 5 inf + 0 3.652 * * [simplify]: Extracting #2: cost 12 inf + 0 3.652 * * [simplify]: Extracting #3: cost 12 inf + 3 3.652 * * [simplify]: Extracting #4: cost 12 inf + 277 3.653 * * [simplify]: Extracting #5: cost 6 inf + 1066 3.653 * * [simplify]: Extracting #6: cost 0 inf + 2134 3.653 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.653 * [simplify]: Simplified (2 2) to (λ (a c) (* 1 (fmod (cosh c) (log1p a)))) 3.653 * * * * [progress]: [ 46 / 92 ] simplifiying candidate # 3.653 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.653 * * [simplify]: iters left: 6 (8 enodes) 3.655 * * [simplify]: iters left: 5 (28 enodes) 3.664 * * [simplify]: iters left: 4 (42 enodes) 3.677 * * [simplify]: iters left: 3 (46 enodes) 3.690 * * [simplify]: iters left: 2 (48 enodes) 3.703 * * [simplify]: Extracting #0: cost 1 inf + 0 3.703 * * [simplify]: Extracting #1: cost 4 inf + 0 3.703 * * [simplify]: Extracting #2: cost 8 inf + 0 3.703 * * [simplify]: Extracting #3: cost 14 inf + 0 3.703 * * [simplify]: Extracting #4: cost 13 inf + 94 3.703 * * [simplify]: Extracting #5: cost 14 inf + 312 3.704 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.704 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.705 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.706 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.706 * [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))))))) 3.706 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.706 * * [simplify]: iters left: 6 (8 enodes) 3.710 * * [simplify]: iters left: 5 (28 enodes) 3.718 * * [simplify]: iters left: 4 (42 enodes) 3.730 * * [simplify]: iters left: 3 (46 enodes) 3.737 * * [simplify]: iters left: 2 (48 enodes) 3.744 * * [simplify]: Extracting #0: cost 1 inf + 0 3.744 * * [simplify]: Extracting #1: cost 4 inf + 0 3.744 * * [simplify]: Extracting #2: cost 8 inf + 0 3.744 * * [simplify]: Extracting #3: cost 14 inf + 0 3.744 * * [simplify]: Extracting #4: cost 13 inf + 94 3.744 * * [simplify]: Extracting #5: cost 14 inf + 312 3.744 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.745 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.745 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.745 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.745 * [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))))) 3.745 * * * * [progress]: [ 47 / 92 ] simplifiying candidate # 3.745 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.746 * * [simplify]: iters left: 6 (8 enodes) 3.749 * * [simplify]: iters left: 5 (28 enodes) 3.753 * * [simplify]: iters left: 4 (42 enodes) 3.760 * * [simplify]: iters left: 3 (46 enodes) 3.773 * * [simplify]: iters left: 2 (48 enodes) 3.785 * * [simplify]: Extracting #0: cost 1 inf + 0 3.785 * * [simplify]: Extracting #1: cost 4 inf + 0 3.785 * * [simplify]: Extracting #2: cost 8 inf + 0 3.785 * * [simplify]: Extracting #3: cost 14 inf + 0 3.785 * * [simplify]: Extracting #4: cost 13 inf + 94 3.786 * * [simplify]: Extracting #5: cost 14 inf + 312 3.786 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.786 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.786 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.787 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.787 * [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))))))) 3.787 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.787 * * [simplify]: iters left: 6 (8 enodes) 3.789 * * [simplify]: iters left: 5 (28 enodes) 3.793 * * [simplify]: iters left: 4 (42 enodes) 3.799 * * [simplify]: iters left: 3 (46 enodes) 3.806 * * [simplify]: iters left: 2 (48 enodes) 3.812 * * [simplify]: Extracting #0: cost 1 inf + 0 3.812 * * [simplify]: Extracting #1: cost 4 inf + 0 3.813 * * [simplify]: Extracting #2: cost 8 inf + 0 3.813 * * [simplify]: Extracting #3: cost 14 inf + 0 3.813 * * [simplify]: Extracting #4: cost 13 inf + 94 3.813 * * [simplify]: Extracting #5: cost 14 inf + 312 3.813 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.813 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.813 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.814 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.814 * [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))))) 3.814 * * * * [progress]: [ 48 / 92 ] simplifiying candidate # 3.814 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.814 * * [simplify]: iters left: 6 (8 enodes) 3.816 * * [simplify]: iters left: 5 (28 enodes) 3.820 * * [simplify]: iters left: 4 (42 enodes) 3.826 * * [simplify]: iters left: 3 (46 enodes) 3.833 * * [simplify]: iters left: 2 (48 enodes) 3.841 * * [simplify]: Extracting #0: cost 1 inf + 0 3.841 * * [simplify]: Extracting #1: cost 4 inf + 0 3.841 * * [simplify]: Extracting #2: cost 8 inf + 0 3.841 * * [simplify]: Extracting #3: cost 14 inf + 0 3.841 * * [simplify]: Extracting #4: cost 13 inf + 94 3.841 * * [simplify]: Extracting #5: cost 14 inf + 312 3.841 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.842 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.843 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.843 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.843 * [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))))))) 3.844 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.844 * * [simplify]: iters left: 6 (8 enodes) 3.849 * * [simplify]: iters left: 5 (28 enodes) 3.854 * * [simplify]: iters left: 4 (42 enodes) 3.861 * * [simplify]: iters left: 3 (46 enodes) 3.867 * * [simplify]: iters left: 2 (48 enodes) 3.874 * * [simplify]: Extracting #0: cost 1 inf + 0 3.874 * * [simplify]: Extracting #1: cost 4 inf + 0 3.874 * * [simplify]: Extracting #2: cost 8 inf + 0 3.874 * * [simplify]: Extracting #3: cost 14 inf + 0 3.874 * * [simplify]: Extracting #4: cost 13 inf + 94 3.874 * * [simplify]: Extracting #5: cost 14 inf + 312 3.875 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.875 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.875 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.875 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.876 * [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))))) 3.876 * * * * [progress]: [ 49 / 92 ] simplifiying candidate # 3.876 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.876 * * [simplify]: iters left: 6 (8 enodes) 3.877 * * [simplify]: iters left: 5 (28 enodes) 3.882 * * [simplify]: iters left: 4 (42 enodes) 3.893 * * [simplify]: iters left: 3 (46 enodes) 3.903 * * [simplify]: iters left: 2 (48 enodes) 3.910 * * [simplify]: Extracting #0: cost 1 inf + 0 3.910 * * [simplify]: Extracting #1: cost 4 inf + 0 3.910 * * [simplify]: Extracting #2: cost 8 inf + 0 3.910 * * [simplify]: Extracting #3: cost 14 inf + 0 3.910 * * [simplify]: Extracting #4: cost 13 inf + 94 3.910 * * [simplify]: Extracting #5: cost 14 inf + 312 3.910 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.910 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.911 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.911 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.911 * [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))))))) 3.911 * [simplify]: Simplifying (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3.911 * * [simplify]: iters left: 6 (8 enodes) 3.913 * * [simplify]: iters left: 5 (28 enodes) 3.917 * * [simplify]: iters left: 4 (42 enodes) 3.923 * * [simplify]: iters left: 3 (46 enodes) 3.930 * * [simplify]: iters left: 2 (48 enodes) 3.939 * * [simplify]: Extracting #0: cost 1 inf + 0 3.939 * * [simplify]: Extracting #1: cost 4 inf + 0 3.939 * * [simplify]: Extracting #2: cost 8 inf + 0 3.939 * * [simplify]: Extracting #3: cost 14 inf + 0 3.939 * * [simplify]: Extracting #4: cost 13 inf + 94 3.939 * * [simplify]: Extracting #5: cost 14 inf + 312 3.940 * * [simplify]: Extracting #6: cost 7 inf + 1429 3.940 * * [simplify]: Extracting #7: cost 1 inf + 2507 3.940 * * [simplify]: Extracting #8: cost 0 inf + 2728 3.942 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.942 * [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))))) 3.942 * * * * [progress]: [ 50 / 92 ] simplifiying candidate # 3.942 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.942 * * [simplify]: iters left: 2 (5 enodes) 3.943 * * [simplify]: iters left: 1 (21 enodes) 3.947 * * [simplify]: Extracting #0: cost 1 inf + 0 3.947 * * [simplify]: Extracting #1: cost 4 inf + 0 3.947 * * [simplify]: Extracting #2: cost 10 inf + 0 3.947 * * [simplify]: Extracting #3: cost 10 inf + 3 3.947 * * [simplify]: Extracting #4: cost 9 inf + 368 3.947 * * [simplify]: Extracting #5: cost 5 inf + 809 3.947 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.948 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.948 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 1/2))) 3.948 * [simplify]: Simplifying (* 2 1/2) 3.948 * * [simplify]: iters left: 2 (3 enodes) 3.950 * * [simplify]: iters left: 1 (11 enodes) 3.952 * * [simplify]: Extracting #0: cost 1 inf + 0 3.952 * * [simplify]: Extracting #1: cost 0 inf + 1 3.952 * [simplify]: Simplified to 1 3.952 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 3.952 * * * * [progress]: [ 51 / 92 ] simplifiying candidate # 3.952 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 3.953 * * [simplify]: iters left: 3 (6 enodes) 3.954 * * [simplify]: iters left: 2 (24 enodes) 3.957 * * [simplify]: iters left: 1 (37 enodes) 3.963 * * [simplify]: Extracting #0: cost 1 inf + 0 3.963 * * [simplify]: Extracting #1: cost 3 inf + 0 3.963 * * [simplify]: Extracting #2: cost 6 inf + 0 3.963 * * [simplify]: Extracting #3: cost 12 inf + 0 3.963 * * [simplify]: Extracting #4: cost 12 inf + 3 3.963 * * [simplify]: Extracting #5: cost 13 inf + 221 3.963 * * [simplify]: Extracting #6: cost 6 inf + 1172 3.964 * * [simplify]: Extracting #7: cost 1 inf + 1913 3.964 * * [simplify]: Extracting #8: cost 0 inf + 2134 3.964 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 3.964 * [simplify]: Simplified (2 1) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (* 2 1))) 3.964 * [simplify]: Simplifying (* 2 1) 3.964 * * [simplify]: iters left: 2 (3 enodes) 3.966 * * [simplify]: iters left: 1 (9 enodes) 3.968 * * [simplify]: Extracting #0: cost 1 inf + 0 3.968 * * [simplify]: Extracting #1: cost 0 inf + 1 3.968 * [simplify]: Simplified to 2 3.968 * [simplify]: Simplified (2 2) to (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2)) 3.968 * * * * [progress]: [ 52 / 92 ] simplifiying candidate # 3.969 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.969 * * [simplify]: iters left: 2 (5 enodes) 3.971 * * [simplify]: iters left: 1 (21 enodes) 3.977 * * [simplify]: Extracting #0: cost 1 inf + 0 3.977 * * [simplify]: Extracting #1: cost 4 inf + 0 3.977 * * [simplify]: Extracting #2: cost 10 inf + 0 3.978 * * [simplify]: Extracting #3: cost 10 inf + 3 3.978 * * [simplify]: Extracting #4: cost 9 inf + 368 3.978 * * [simplify]: Extracting #5: cost 5 inf + 809 3.978 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.979 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.979 * [simplify]: Simplified (2 1) to (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 (/ 1 2)))) 3.979 * [simplify]: Simplifying (* 2 (/ 1 2)) 3.979 * * [simplify]: iters left: 4 (4 enodes) 3.983 * * [simplify]: iters left: 3 (13 enodes) 3.988 * * [simplify]: iters left: 2 (15 enodes) 3.993 * * [simplify]: Extracting #0: cost 1 inf + 0 3.993 * * [simplify]: Extracting #1: cost 0 inf + 1 3.993 * [simplify]: Simplified to 1 3.993 * [simplify]: Simplified (2 2) to (λ (a c) (pow (fmod (cosh c) (log1p a)) 1)) 3.993 * * * * [progress]: [ 53 / 92 ] simplifiying candidate # 3.993 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh c) (log1p a)))) 3.993 * * [simplify]: iters left: 4 (7 enodes) 3.996 * * [simplify]: iters left: 3 (27 enodes) 4.005 * * [simplify]: iters left: 2 (40 enodes) 4.016 * * [simplify]: iters left: 1 (44 enodes) 4.028 * * [simplify]: Extracting #0: cost 1 inf + 0 4.028 * * [simplify]: Extracting #1: cost 3 inf + 0 4.028 * * [simplify]: Extracting #2: cost 5 inf + 0 4.028 * * [simplify]: Extracting #3: cost 8 inf + 0 4.028 * * [simplify]: Extracting #4: cost 14 inf + 0 4.028 * * [simplify]: Extracting #5: cost 13 inf + 94 4.028 * * [simplify]: Extracting #6: cost 13 inf + 368 4.028 * * [simplify]: Extracting #7: cost 7 inf + 1177 4.029 * * [simplify]: Extracting #8: cost 0 inf + 2808 4.029 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4.029 * [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)))))) 4.029 * * * * [progress]: [ 54 / 92 ] simplifiying candidate # 4.029 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4.029 * * [simplify]: iters left: 4 (7 enodes) 4.031 * * [simplify]: iters left: 3 (27 enodes) 4.035 * * [simplify]: iters left: 2 (40 enodes) 4.041 * * [simplify]: iters left: 1 (44 enodes) 4.047 * * [simplify]: Extracting #0: cost 1 inf + 0 4.047 * * [simplify]: Extracting #1: cost 3 inf + 0 4.047 * * [simplify]: Extracting #2: cost 5 inf + 0 4.047 * * [simplify]: Extracting #3: cost 8 inf + 0 4.047 * * [simplify]: Extracting #4: cost 14 inf + 0 4.047 * * [simplify]: Extracting #5: cost 13 inf + 94 4.047 * * [simplify]: Extracting #6: cost 13 inf + 368 4.047 * * [simplify]: Extracting #7: cost 7 inf + 1217 4.047 * * [simplify]: Extracting #8: cost 0 inf + 2888 4.048 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4.048 * [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)))))) 4.048 * * * * [progress]: [ 55 / 92 ] simplifiying candidate # 4.048 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.048 * * [simplify]: iters left: 4 (7 enodes) 4.050 * * [simplify]: iters left: 3 (27 enodes) 4.055 * * [simplify]: iters left: 2 (40 enodes) 4.061 * * [simplify]: iters left: 1 (44 enodes) 4.072 * * [simplify]: Extracting #0: cost 1 inf + 0 4.072 * * [simplify]: Extracting #1: cost 3 inf + 0 4.073 * * [simplify]: Extracting #2: cost 5 inf + 0 4.073 * * [simplify]: Extracting #3: cost 8 inf + 0 4.073 * * [simplify]: Extracting #4: cost 14 inf + 0 4.073 * * [simplify]: Extracting #5: cost 13 inf + 94 4.073 * * [simplify]: Extracting #6: cost 13 inf + 368 4.073 * * [simplify]: Extracting #7: cost 7 inf + 1177 4.074 * * [simplify]: Extracting #8: cost 0 inf + 2728 4.074 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.074 * [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)))))) 4.075 * * * * [progress]: [ 56 / 92 ] simplifiying candidate # 4.075 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 4.075 * * [simplify]: iters left: 3 (6 enodes) 4.077 * * [simplify]: iters left: 2 (24 enodes) 4.085 * * [simplify]: iters left: 1 (37 enodes) 4.094 * * [simplify]: Extracting #0: cost 1 inf + 0 4.094 * * [simplify]: Extracting #1: cost 3 inf + 0 4.094 * * [simplify]: Extracting #2: cost 6 inf + 0 4.094 * * [simplify]: Extracting #3: cost 12 inf + 0 4.094 * * [simplify]: Extracting #4: cost 12 inf + 3 4.094 * * [simplify]: Extracting #5: cost 13 inf + 221 4.094 * * [simplify]: Extracting #6: cost 6 inf + 1172 4.094 * * [simplify]: Extracting #7: cost 1 inf + 1913 4.094 * * [simplify]: Extracting #8: cost 0 inf + 2134 4.095 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 4.095 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (sqrt (fmod (cosh c) (log1p a))))) 4.095 * * * * [progress]: [ 57 / 92 ] simplifiying candidate # 4.095 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.095 * * [simplify]: iters left: 4 (7 enodes) 4.096 * * [simplify]: iters left: 3 (27 enodes) 4.101 * * [simplify]: iters left: 2 (40 enodes) 4.107 * * [simplify]: iters left: 1 (44 enodes) 4.113 * * [simplify]: Extracting #0: cost 1 inf + 0 4.113 * * [simplify]: Extracting #1: cost 3 inf + 0 4.113 * * [simplify]: Extracting #2: cost 5 inf + 0 4.113 * * [simplify]: Extracting #3: cost 8 inf + 0 4.113 * * [simplify]: Extracting #4: cost 14 inf + 0 4.113 * * [simplify]: Extracting #5: cost 13 inf + 94 4.113 * * [simplify]: Extracting #6: cost 13 inf + 368 4.114 * * [simplify]: Extracting #7: cost 7 inf + 1177 4.114 * * [simplify]: Extracting #8: cost 0 inf + 2728 4.114 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.114 * [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)))))) 4.114 * * * * [progress]: [ 58 / 92 ] simplifiying candidate # 4.114 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 4.114 * * [simplify]: iters left: 3 (6 enodes) 4.116 * * [simplify]: iters left: 2 (24 enodes) 4.119 * * [simplify]: iters left: 1 (37 enodes) 4.127 * * [simplify]: Extracting #0: cost 1 inf + 0 4.127 * * [simplify]: Extracting #1: cost 3 inf + 0 4.127 * * [simplify]: Extracting #2: cost 6 inf + 0 4.127 * * [simplify]: Extracting #3: cost 12 inf + 0 4.127 * * [simplify]: Extracting #4: cost 12 inf + 3 4.127 * * [simplify]: Extracting #5: cost 13 inf + 221 4.128 * * [simplify]: Extracting #6: cost 6 inf + 1172 4.128 * * [simplify]: Extracting #7: cost 1 inf + 1913 4.129 * * [simplify]: Extracting #8: cost 0 inf + 2134 4.129 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 4.129 * [simplify]: Simplified (2 2) to (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) 1) (sqrt (fmod (cosh c) (log1p a))))) 4.129 * * * * [progress]: [ 59 / 92 ] simplifiying candidate # 4.130 * [simplify]: Simplifying (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4.130 * * [simplify]: iters left: 6 (8 enodes) 4.133 * * [simplify]: iters left: 5 (30 enodes) 4.143 * * [simplify]: iters left: 4 (43 enodes) 4.151 * * [simplify]: iters left: 3 (47 enodes) 4.158 * * [simplify]: iters left: 2 (49 enodes) 4.167 * * [simplify]: Extracting #0: cost 1 inf + 0 4.167 * * [simplify]: Extracting #1: cost 3 inf + 0 4.167 * * [simplify]: Extracting #2: cost 5 inf + 0 4.167 * * [simplify]: Extracting #3: cost 7 inf + 0 4.167 * * [simplify]: Extracting #4: cost 10 inf + 0 4.167 * * [simplify]: Extracting #5: cost 16 inf + 0 4.167 * * [simplify]: Extracting #6: cost 15 inf + 94 4.167 * * [simplify]: Extracting #7: cost 16 inf + 312 4.167 * * [simplify]: Extracting #8: cost 9 inf + 1429 4.168 * * [simplify]: Extracting #9: cost 0 inf + 3562 4.168 * [simplify]: Simplified to (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4.168 * [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)))))) 4.168 * * * * [progress]: [ 60 / 92 ] simplifiying candidate # 4.168 * [simplify]: Simplifying (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 4.169 * * [simplify]: iters left: 6 (8 enodes) 4.170 * * [simplify]: iters left: 5 (31 enodes) 4.175 * * [simplify]: iters left: 4 (44 enodes) 4.188 * * [simplify]: iters left: 3 (48 enodes) 4.202 * * [simplify]: iters left: 2 (50 enodes) 4.216 * * [simplify]: Extracting #0: cost 1 inf + 0 4.216 * * [simplify]: Extracting #1: cost 4 inf + 0 4.216 * * [simplify]: Extracting #2: cost 7 inf + 0 4.216 * * [simplify]: Extracting #3: cost 10 inf + 0 4.216 * * [simplify]: Extracting #4: cost 16 inf + 0 4.216 * * [simplify]: Extracting #5: cost 15 inf + 94 4.216 * * [simplify]: Extracting #6: cost 15 inf + 368 4.217 * * [simplify]: Extracting #7: cost 9 inf + 1549 4.217 * * [simplify]: Extracting #8: cost 0 inf + 3562 4.218 * [simplify]: Simplified to (fabs (cbrt (fmod (cosh c) (log1p a)))) 4.218 * [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)))))) 4.218 * * * * [progress]: [ 61 / 92 ] simplifiying candidate # 4.219 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.219 * * [simplify]: iters left: 4 (7 enodes) 4.222 * * [simplify]: iters left: 3 (27 enodes) 4.230 * * [simplify]: iters left: 2 (40 enodes) 4.236 * * [simplify]: iters left: 1 (44 enodes) 4.242 * * [simplify]: Extracting #0: cost 1 inf + 0 4.243 * * [simplify]: Extracting #1: cost 3 inf + 0 4.243 * * [simplify]: Extracting #2: cost 5 inf + 0 4.243 * * [simplify]: Extracting #3: cost 8 inf + 0 4.243 * * [simplify]: Extracting #4: cost 14 inf + 0 4.243 * * [simplify]: Extracting #5: cost 13 inf + 94 4.243 * * [simplify]: Extracting #6: cost 13 inf + 368 4.243 * * [simplify]: Extracting #7: cost 7 inf + 1177 4.243 * * [simplify]: Extracting #8: cost 0 inf + 2728 4.244 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.244 * [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)))))) 4.244 * * * * [progress]: [ 62 / 92 ] simplifiying candidate # 4.244 * [simplify]: Simplifying (sqrt 1) 4.244 * * [simplify]: iters left: 1 (2 enodes) 4.246 * * [simplify]: Extracting #0: cost 1 inf + 0 4.246 * * [simplify]: Extracting #1: cost 0 inf + 1 4.246 * [simplify]: Simplified to 1 4.246 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) 4.246 * * * * [progress]: [ 63 / 92 ] simplifiying candidate # 4.246 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.246 * * [simplify]: iters left: 4 (7 enodes) 4.248 * * [simplify]: iters left: 3 (27 enodes) 4.252 * * [simplify]: iters left: 2 (40 enodes) 4.258 * * [simplify]: iters left: 1 (44 enodes) 4.270 * * [simplify]: Extracting #0: cost 1 inf + 0 4.270 * * [simplify]: Extracting #1: cost 3 inf + 0 4.270 * * [simplify]: Extracting #2: cost 5 inf + 0 4.270 * * [simplify]: Extracting #3: cost 8 inf + 0 4.270 * * [simplify]: Extracting #4: cost 14 inf + 0 4.270 * * [simplify]: Extracting #5: cost 13 inf + 94 4.271 * * [simplify]: Extracting #6: cost 13 inf + 368 4.271 * * [simplify]: Extracting #7: cost 7 inf + 1177 4.271 * * [simplify]: Extracting #8: cost 0 inf + 2728 4.272 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.272 * [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)))))) 4.272 * * * * [progress]: [ 64 / 92 ] simplifiying candidate # 4.272 * * * * [progress]: [ 65 / 92 ] simplifiying candidate #real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> 4.272 * * * * [progress]: [ 66 / 92 ] simplifiying candidate # 4.272 * * * * [progress]: [ 67 / 92 ] simplifiying candidate # 4.272 * * * * [progress]: [ 68 / 92 ] simplifiying candidate # 4.273 * * * * [progress]: [ 69 / 92 ] simplifiying candidate # 4.273 * * * * [progress]: [ 70 / 92 ] simplifiying candidate # 4.273 * * * * [progress]: [ 71 / 92 ] simplifiying candidate # 4.273 * * * * [progress]: [ 72 / 92 ] simplifiying candidate # 4.273 * * * * [progress]: [ 73 / 92 ] simplifiying candidate # 4.273 * [simplify]: Simplifying (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 4.273 * * [simplify]: iters left: 6 (8 enodes) 4.277 * * [simplify]: iters left: 5 (31 enodes) 4.289 * * [simplify]: iters left: 4 (44 enodes) 4.298 * * [simplify]: iters left: 3 (48 enodes) 4.306 * * [simplify]: iters left: 2 (50 enodes) 4.313 * * [simplify]: Extracting #0: cost 1 inf + 0 4.313 * * [simplify]: Extracting #1: cost 4 inf + 0 4.313 * * [simplify]: Extracting #2: cost 7 inf + 0 4.313 * * [simplify]: Extracting #3: cost 10 inf + 0 4.313 * * [simplify]: Extracting #4: cost 16 inf + 0 4.313 * * [simplify]: Extracting #5: cost 15 inf + 94 4.313 * * [simplify]: Extracting #6: cost 15 inf + 368 4.313 * * [simplify]: Extracting #7: cost 9 inf + 1549 4.314 * * [simplify]: Extracting #8: cost 0 inf + 3562 4.314 * [simplify]: Simplified to (fabs (cbrt (fmod (cosh c) (log1p a)))) 4.314 * [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))))))) 4.314 * * * * [progress]: [ 74 / 92 ] simplifiying candidate # 4.314 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.315 * * [simplify]: iters left: 4 (7 enodes) 4.316 * * [simplify]: iters left: 3 (27 enodes) 4.320 * * [simplify]: iters left: 2 (40 enodes) 4.326 * * [simplify]: iters left: 1 (44 enodes) 4.338 * * [simplify]: Extracting #0: cost 1 inf + 0 4.338 * * [simplify]: Extracting #1: cost 3 inf + 0 4.338 * * [simplify]: Extracting #2: cost 5 inf + 0 4.338 * * [simplify]: Extracting #3: cost 8 inf + 0 4.339 * * [simplify]: Extracting #4: cost 14 inf + 0 4.339 * * [simplify]: Extracting #5: cost 13 inf + 94 4.339 * * [simplify]: Extracting #6: cost 13 inf + 368 4.339 * * [simplify]: Extracting #7: cost 7 inf + 1177 4.340 * * [simplify]: Extracting #8: cost 0 inf + 2728 4.340 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4.341 * [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))))))) 4.341 * * * * [progress]: [ 75 / 92 ] simplifiying candidate # 4.341 * [simplify]: Simplifying (sqrt 1) 4.341 * * [simplify]: iters left: 1 (2 enodes) 4.344 * * [simplify]: Extracting #0: cost 1 inf + 0 4.344 * * [simplify]: Extracting #1: cost 0 inf + 1 4.344 * [simplify]: Simplified to 1 4.344 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* 1 (sqrt (fmod (cosh c) (log1p a)))))) 4.345 * * * * [progress]: [ 76 / 92 ] simplifiying candidate # 4.345 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.345 * * [simplify]: iters left: 2 (5 enodes) 4.347 * * [simplify]: iters left: 1 (21 enodes) 4.354 * * [simplify]: Extracting #0: cost 1 inf + 0 4.354 * * [simplify]: Extracting #1: cost 4 inf + 0 4.354 * * [simplify]: Extracting #2: cost 10 inf + 0 4.354 * * [simplify]: Extracting #3: cost 10 inf + 3 4.355 * * [simplify]: Extracting #4: cost 9 inf + 368 4.355 * * [simplify]: Extracting #5: cost 5 inf + 809 4.355 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.356 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.356 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) (/ 1 2)))) 4.356 * * * * [progress]: [ 77 / 92 ] simplifiying candidate # 4.356 * * * * [progress]: [ 78 / 92 ] simplifiying candidate # 4.356 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 4.356 * * [simplify]: iters left: 3 (6 enodes) 4.359 * * [simplify]: iters left: 2 (24 enodes) 4.366 * * [simplify]: iters left: 1 (37 enodes) 4.377 * * [simplify]: Extracting #0: cost 1 inf + 0 4.377 * * [simplify]: Extracting #1: cost 3 inf + 0 4.377 * * [simplify]: Extracting #2: cost 6 inf + 0 4.378 * * [simplify]: Extracting #3: cost 12 inf + 0 4.378 * * [simplify]: Extracting #4: cost 12 inf + 3 4.378 * * [simplify]: Extracting #5: cost 13 inf + 221 4.378 * * [simplify]: Extracting #6: cost 6 inf + 1172 4.378 * * [simplify]: Extracting #7: cost 1 inf + 1913 4.379 * * [simplify]: Extracting #8: cost 0 inf + 2134 4.380 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 4.380 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (fabs (sqrt (fmod (cosh c) (log1p a)))))) 4.380 * * * * [progress]: [ 79 / 92 ] simplifiying candidate # 4.380 * * * * [progress]: [ 80 / 92 ] simplifiying candidate #real (real->posit16 (sqrt (fmod (cosh c) (log1p a)))))))> 4.380 * * * * [progress]: [ 81 / 92 ] simplifiying candidate # 4.380 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.380 * * [simplify]: iters left: 2 (5 enodes) 4.382 * * [simplify]: iters left: 1 (21 enodes) 4.389 * * [simplify]: Extracting #0: cost 1 inf + 0 4.389 * * [simplify]: Extracting #1: cost 4 inf + 0 4.389 * * [simplify]: Extracting #2: cost 10 inf + 0 4.389 * * [simplify]: Extracting #3: cost 10 inf + 3 4.390 * * [simplify]: Extracting #4: cost 9 inf + 368 4.390 * * [simplify]: Extracting #5: cost 5 inf + 809 4.390 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.391 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.391 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.391 * * * * [progress]: [ 82 / 92 ] simplifiying candidate # 4.391 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.391 * * [simplify]: iters left: 2 (5 enodes) 4.393 * * [simplify]: iters left: 1 (21 enodes) 4.401 * * [simplify]: Extracting #0: cost 1 inf + 0 4.401 * * [simplify]: Extracting #1: cost 4 inf + 0 4.401 * * [simplify]: Extracting #2: cost 10 inf + 0 4.401 * * [simplify]: Extracting #3: cost 10 inf + 3 4.401 * * [simplify]: Extracting #4: cost 9 inf + 368 4.401 * * [simplify]: Extracting #5: cost 5 inf + 809 4.402 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.402 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.402 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.402 * * * * [progress]: [ 83 / 92 ] simplifiying candidate # 4.402 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.403 * * [simplify]: iters left: 2 (5 enodes) 4.405 * * [simplify]: iters left: 1 (21 enodes) 4.412 * * [simplify]: Extracting #0: cost 1 inf + 0 4.412 * * [simplify]: Extracting #1: cost 4 inf + 0 4.412 * * [simplify]: Extracting #2: cost 10 inf + 0 4.412 * * [simplify]: Extracting #3: cost 10 inf + 3 4.412 * * [simplify]: Extracting #4: cost 9 inf + 368 4.412 * * [simplify]: Extracting #5: cost 5 inf + 809 4.413 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.413 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.413 * [simplify]: Simplified (2 2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.413 * * * * [progress]: [ 84 / 92 ] simplifiying candidate # 4.414 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.414 * * [simplify]: iters left: 2 (5 enodes) 4.416 * * [simplify]: iters left: 1 (21 enodes) 4.422 * * [simplify]: Extracting #0: cost 1 inf + 0 4.422 * * [simplify]: Extracting #1: cost 4 inf + 0 4.422 * * [simplify]: Extracting #2: cost 10 inf + 0 4.422 * * [simplify]: Extracting #3: cost 10 inf + 3 4.422 * * [simplify]: Extracting #4: cost 9 inf + 368 4.422 * * [simplify]: Extracting #5: cost 5 inf + 809 4.422 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.423 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.423 * [simplify]: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.423 * * * * [progress]: [ 85 / 92 ] simplifiying candidate # 4.423 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.423 * * [simplify]: iters left: 2 (5 enodes) 4.424 * * [simplify]: iters left: 1 (21 enodes) 4.427 * * [simplify]: Extracting #0: cost 1 inf + 0 4.427 * * [simplify]: Extracting #1: cost 4 inf + 0 4.427 * * [simplify]: Extracting #2: cost 10 inf + 0 4.428 * * [simplify]: Extracting #3: cost 10 inf + 3 4.428 * * [simplify]: Extracting #4: cost 9 inf + 368 4.428 * * [simplify]: Extracting #5: cost 5 inf + 809 4.428 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.428 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.428 * [simplify]: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.428 * * * * [progress]: [ 86 / 92 ] simplifiying candidate # 4.428 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.429 * * [simplify]: iters left: 2 (5 enodes) 4.430 * * [simplify]: iters left: 1 (21 enodes) 4.433 * * [simplify]: Extracting #0: cost 1 inf + 0 4.433 * * [simplify]: Extracting #1: cost 4 inf + 0 4.433 * * [simplify]: Extracting #2: cost 10 inf + 0 4.433 * * [simplify]: Extracting #3: cost 10 inf + 3 4.433 * * [simplify]: Extracting #4: cost 9 inf + 368 4.433 * * [simplify]: Extracting #5: cost 5 inf + 809 4.434 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.434 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.434 * [simplify]: Simplified (2 1 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.434 * * * * [progress]: [ 87 / 92 ] simplifiying candidate # 4.434 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.434 * * [simplify]: iters left: 2 (5 enodes) 4.435 * * [simplify]: iters left: 1 (21 enodes) 4.438 * * [simplify]: Extracting #0: cost 1 inf + 0 4.438 * * [simplify]: Extracting #1: cost 4 inf + 0 4.438 * * [simplify]: Extracting #2: cost 10 inf + 0 4.439 * * [simplify]: Extracting #3: cost 10 inf + 3 4.439 * * [simplify]: Extracting #4: cost 9 inf + 368 4.439 * * [simplify]: Extracting #5: cost 5 inf + 809 4.439 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.439 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.439 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 4.439 * * * * [progress]: [ 88 / 92 ] simplifiying candidate # 4.439 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.439 * * [simplify]: iters left: 2 (5 enodes) 4.440 * * [simplify]: iters left: 1 (21 enodes) 4.444 * * [simplify]: Extracting #0: cost 1 inf + 0 4.444 * * [simplify]: Extracting #1: cost 4 inf + 0 4.444 * * [simplify]: Extracting #2: cost 10 inf + 0 4.444 * * [simplify]: Extracting #3: cost 10 inf + 3 4.444 * * [simplify]: Extracting #4: cost 9 inf + 368 4.444 * * [simplify]: Extracting #5: cost 5 inf + 809 4.444 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.444 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.444 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 4.445 * * * * [progress]: [ 89 / 92 ] simplifiying candidate # 4.445 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.445 * * [simplify]: iters left: 2 (5 enodes) 4.446 * * [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.453 * * [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) to (λ (a c) (fmod (cosh c) (log1p a))) 4.454 * * * * [progress]: [ 90 / 92 ] simplifiying candidate # 4.454 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 4.454 * * [simplify]: iters left: 3 (6 enodes) 4.456 * * [simplify]: iters left: 2 (24 enodes) 4.464 * * [simplify]: iters left: 1 (37 enodes) 4.475 * * [simplify]: Extracting #0: cost 1 inf + 0 4.475 * * [simplify]: Extracting #1: cost 3 inf + 0 4.475 * * [simplify]: Extracting #2: cost 6 inf + 0 4.475 * * [simplify]: Extracting #3: cost 12 inf + 0 4.475 * * [simplify]: Extracting #4: cost 12 inf + 3 4.475 * * [simplify]: Extracting #5: cost 13 inf + 221 4.476 * * [simplify]: Extracting #6: cost 6 inf + 1172 4.476 * * [simplify]: Extracting #7: cost 1 inf + 1913 4.476 * * [simplify]: Extracting #8: cost 0 inf + 2134 4.477 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 4.477 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.477 * * * * [progress]: [ 91 / 92 ] simplifiying candidate # 4.477 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 4.477 * * [simplify]: iters left: 3 (6 enodes) 4.480 * * [simplify]: iters left: 2 (24 enodes) 4.487 * * [simplify]: iters left: 1 (37 enodes) 4.498 * * [simplify]: Extracting #0: cost 1 inf + 0 4.499 * * [simplify]: Extracting #1: cost 3 inf + 0 4.499 * * [simplify]: Extracting #2: cost 6 inf + 0 4.499 * * [simplify]: Extracting #3: cost 12 inf + 0 4.499 * * [simplify]: Extracting #4: cost 12 inf + 3 4.499 * * [simplify]: Extracting #5: cost 13 inf + 221 4.499 * * [simplify]: Extracting #6: cost 6 inf + 1172 4.500 * * [simplify]: Extracting #7: cost 1 inf + 1913 4.500 * * [simplify]: Extracting #8: cost 0 inf + 2134 4.501 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 4.501 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.501 * * * * [progress]: [ 92 / 92 ] simplifiying candidate # 4.501 * [simplify]: Simplifying (sqrt (fmod (cosh c) (log1p a))) 4.501 * * [simplify]: iters left: 3 (6 enodes) 4.504 * * [simplify]: iters left: 2 (24 enodes) 4.512 * * [simplify]: iters left: 1 (37 enodes) 4.523 * * [simplify]: Extracting #0: cost 1 inf + 0 4.523 * * [simplify]: Extracting #1: cost 3 inf + 0 4.523 * * [simplify]: Extracting #2: cost 6 inf + 0 4.523 * * [simplify]: Extracting #3: cost 12 inf + 0 4.523 * * [simplify]: Extracting #4: cost 12 inf + 3 4.524 * * [simplify]: Extracting #5: cost 13 inf + 221 4.524 * * [simplify]: Extracting #6: cost 6 inf + 1172 4.524 * * [simplify]: Extracting #7: cost 1 inf + 1913 4.525 * * [simplify]: Extracting #8: cost 0 inf + 2134 4.525 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 4.525 * [simplify]: Simplified (2 2) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) 4.525 * * * [progress]: adding candidates to table 5.422 * * [progress]: iteration 4 / 4 5.422 * * * [progress]: picking best candidate 5.500 * * * * [pick]: Picked # 5.500 * * * [progress]: localizing error 5.549 * * * [progress]: generating rewritten candidates 5.549 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 5.549 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1) 5.550 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 5.550 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 5.552 * * * [progress]: generating series expansions 5.552 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 5.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.552 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.552 * [taylor]: Taking taylor expansion of 0 in a 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [taylor]: Taking taylor expansion of 0 in a 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify 0 into 0 5.552 * [taylor]: Taking taylor expansion of 0 in a 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.553 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.553 * [taylor]: Taking taylor expansion of 0 in a 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [taylor]: Taking taylor expansion of 0 in a 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [taylor]: Taking taylor expansion of 0 in a 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.554 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.554 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.554 * [taylor]: Taking taylor expansion of 0 in a 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [taylor]: Taking taylor expansion of 0 in a 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [taylor]: Taking taylor expansion of 0 in a 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.554 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1) 5.554 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.555 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.555 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.555 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.555 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.555 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.555 * [taylor]: Taking taylor expansion of 0 in a 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [taylor]: Taking taylor expansion of 0 in a 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [taylor]: Taking taylor expansion of 0 in a 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.555 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.555 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.555 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.555 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.555 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.556 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.556 * [taylor]: Taking taylor expansion of 0 in a 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [taylor]: Taking taylor expansion of 0 in a 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [taylor]: Taking taylor expansion of 0 in a 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.556 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.556 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.556 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.556 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.556 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.557 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.557 * [taylor]: Taking taylor expansion of 0 in a 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [taylor]: Taking taylor expansion of 0 in a 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [taylor]: Taking taylor expansion of 0 in a 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.557 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 5.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.557 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.557 * [taylor]: Taking taylor expansion of 0 in a 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [taylor]: Taking taylor expansion of 0 in a 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [taylor]: Taking taylor expansion of 0 in a 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.558 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.558 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.558 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.558 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.558 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.558 * [taylor]: Taking taylor expansion of 0 in a 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [taylor]: Taking taylor expansion of 0 in a 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [taylor]: Taking taylor expansion of 0 in a 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.559 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.559 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.559 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.559 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.559 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.559 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.559 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.559 * [taylor]: Taking taylor expansion of 0 in a 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [taylor]: Taking taylor expansion of 0 in a 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [taylor]: Taking taylor expansion of 0 in a 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 5.560 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.560 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 5.560 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.560 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.560 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.560 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.560 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.560 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.560 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.560 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.560 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.560 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.560 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.560 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.560 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.561 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.561 * [taylor]: Taking taylor expansion of 0 in a 5.561 * [backup-simplify]: Simplify 0 into 0 5.561 * [backup-simplify]: Simplify 0 into 0 5.561 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.561 * [backup-simplify]: Simplify 0 into 0 5.563 * [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.563 * [taylor]: Taking taylor expansion of 0 in a 5.563 * [backup-simplify]: Simplify 0 into 0 5.563 * [backup-simplify]: Simplify 0 into 0 5.563 * [backup-simplify]: Simplify 0 into 0 5.564 * [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.564 * [backup-simplify]: Simplify 0 into 0 5.565 * [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.566 * [taylor]: Taking taylor expansion of 0 in a 5.566 * [backup-simplify]: Simplify 0 into 0 5.566 * [backup-simplify]: Simplify 0 into 0 5.566 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.566 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.566 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 5.566 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.566 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.566 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.566 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.566 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.566 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.566 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.566 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.566 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.566 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.566 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.567 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.567 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.567 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.567 * [taylor]: Taking taylor expansion of 0 in a 5.567 * [backup-simplify]: Simplify 0 into 0 5.567 * [backup-simplify]: Simplify 0 into 0 5.568 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.568 * [backup-simplify]: Simplify 0 into 0 5.569 * [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.569 * [taylor]: Taking taylor expansion of 0 in a 5.569 * [backup-simplify]: Simplify 0 into 0 5.569 * [backup-simplify]: Simplify 0 into 0 5.569 * [backup-simplify]: Simplify 0 into 0 5.570 * [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.570 * [backup-simplify]: Simplify 0 into 0 5.572 * [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.572 * [taylor]: Taking taylor expansion of 0 in a 5.572 * [backup-simplify]: Simplify 0 into 0 5.572 * [backup-simplify]: Simplify 0 into 0 5.572 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 5.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.573 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 5.573 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.573 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.573 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.573 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.574 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.574 * [taylor]: Taking taylor expansion of 0 in a 5.574 * [backup-simplify]: Simplify 0 into 0 5.574 * [backup-simplify]: Simplify 0 into 0 5.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.575 * [backup-simplify]: Simplify 0 into 0 5.576 * [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.576 * [taylor]: Taking taylor expansion of 0 in a 5.576 * [backup-simplify]: Simplify 0 into 0 5.576 * [backup-simplify]: Simplify 0 into 0 5.576 * [backup-simplify]: Simplify 0 into 0 5.577 * [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.577 * [backup-simplify]: Simplify 0 into 0 5.579 * [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.579 * [taylor]: Taking taylor expansion of 0 in a 5.579 * [backup-simplify]: Simplify 0 into 0 5.579 * [backup-simplify]: Simplify 0 into 0 5.579 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 5.579 * * * [progress]: simplifying candidates 5.579 * * * * [progress]: [ 1 / 49 ] simplifiying candidate # 5.579 * * * * [progress]: [ 2 / 49 ] simplifiying candidate # 5.579 * * * * [progress]: [ 3 / 49 ] simplifiying candidate # 5.579 * * * * [progress]: [ 4 / 49 ] simplifiying candidate # 5.579 * * * * [progress]: [ 5 / 49 ] simplifiying candidate # 5.579 * * * * [progress]: [ 6 / 49 ] simplifiying candidate # 5.579 * * * * [progress]: [ 7 / 49 ] simplifiying candidate # 5.579 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))))> 5.579 * * * * [progress]: [ 9 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 10 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 11 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 12 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 13 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 14 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 15 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))> 5.580 * * * * [progress]: [ 17 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 18 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 19 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 20 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 21 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 22 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 23 / 49 ] simplifiying candidate # 5.580 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> 5.580 * * * * [progress]: [ 25 / 49 ] simplifiying candidate # 5.580 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 5.580 * * [simplify]: iters left: 6 (8 enodes) 5.582 * * [simplify]: iters left: 5 (32 enodes) 5.589 * * [simplify]: iters left: 4 (47 enodes) 5.610 * * [simplify]: iters left: 3 (51 enodes) 5.625 * * [simplify]: iters left: 2 (53 enodes) 5.639 * * [simplify]: Extracting #0: cost 1 inf + 0 5.640 * * [simplify]: Extracting #1: cost 4 inf + 0 5.640 * * [simplify]: Extracting #2: cost 7 inf + 0 5.640 * * [simplify]: Extracting #3: cost 9 inf + 0 5.640 * * [simplify]: Extracting #4: cost 12 inf + 0 5.640 * * [simplify]: Extracting #5: cost 18 inf + 0 5.640 * * [simplify]: Extracting #6: cost 16 inf + 185 5.640 * * [simplify]: Extracting #7: cost 18 inf + 312 5.640 * * [simplify]: Extracting #8: cost 12 inf + 1292 5.641 * * [simplify]: Extracting #9: cost 1 inf + 4069 5.642 * * [simplify]: Extracting #10: cost 0 inf + 4436 5.643 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 5.643 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))) 5.643 * * * * [progress]: [ 26 / 49 ] simplifiying candidate # 5.643 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 5.643 * * [simplify]: iters left: 4 (7 enodes) 5.646 * * [simplify]: iters left: 3 (27 enodes) 5.655 * * [simplify]: iters left: 2 (40 enodes) 5.667 * * [simplify]: iters left: 1 (44 enodes) 5.680 * * [simplify]: Extracting #0: cost 1 inf + 0 5.680 * * [simplify]: Extracting #1: cost 3 inf + 0 5.680 * * [simplify]: Extracting #2: cost 5 inf + 0 5.680 * * [simplify]: Extracting #3: cost 8 inf + 0 5.680 * * [simplify]: Extracting #4: cost 14 inf + 0 5.680 * * [simplify]: Extracting #5: cost 13 inf + 94 5.680 * * [simplify]: Extracting #6: cost 13 inf + 368 5.680 * * [simplify]: Extracting #7: cost 7 inf + 1177 5.681 * * [simplify]: Extracting #8: cost 0 inf + 2788 5.682 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 5.682 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))))) 5.682 * * * * [progress]: [ 27 / 49 ] simplifiying candidate # 5.682 * [simplify]: Simplifying (log 1) 5.682 * * [simplify]: iters left: 1 (2 enodes) 5.684 * * [simplify]: Extracting #0: cost 1 inf + 0 5.684 * * [simplify]: Extracting #1: cost 0 inf + 1 5.684 * [simplify]: Simplified to 0 5.685 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a)))))))) 5.685 * * * * [progress]: [ 28 / 49 ] simplifiying candidate # 5.685 * * * * [progress]: [ 29 / 49 ] simplifiying candidate # 5.685 * * * * [progress]: [ 30 / 49 ] simplifiying candidate # 5.685 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.685 * * [simplify]: iters left: 2 (5 enodes) 5.687 * * [simplify]: iters left: 1 (21 enodes) 5.694 * * [simplify]: Extracting #0: cost 1 inf + 0 5.694 * * [simplify]: Extracting #1: cost 4 inf + 0 5.694 * * [simplify]: Extracting #2: cost 10 inf + 0 5.694 * * [simplify]: Extracting #3: cost 10 inf + 3 5.694 * * [simplify]: Extracting #4: cost 9 inf + 368 5.694 * * [simplify]: Extracting #5: cost 5 inf + 809 5.695 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.695 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.695 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.695 * * * * [progress]: [ 31 / 49 ] simplifiying candidate # 5.696 * * * * [progress]: [ 32 / 49 ] simplifiying candidate # 5.696 * * * * [progress]: [ 33 / 49 ] simplifiying candidate # 5.696 * * * * [progress]: [ 34 / 49 ] simplifiying candidate # 5.696 * * * * [progress]: [ 35 / 49 ] simplifiying candidate # 5.696 * * * * [progress]: [ 36 / 49 ] simplifiying candidate # 5.696 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> 5.696 * * * * [progress]: [ 38 / 49 ] simplifiying candidate # 5.696 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.696 * * [simplify]: iters left: 2 (5 enodes) 5.698 * * [simplify]: iters left: 1 (21 enodes) 5.705 * * [simplify]: Extracting #0: cost 1 inf + 0 5.705 * * [simplify]: Extracting #1: cost 4 inf + 0 5.705 * * [simplify]: Extracting #2: cost 10 inf + 0 5.705 * * [simplify]: Extracting #3: cost 10 inf + 3 5.705 * * [simplify]: Extracting #4: cost 9 inf + 368 5.705 * * [simplify]: Extracting #5: cost 5 inf + 809 5.706 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.706 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.706 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.706 * * * * [progress]: [ 39 / 49 ] simplifiying candidate # 5.707 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.707 * * [simplify]: iters left: 2 (5 enodes) 5.709 * * [simplify]: iters left: 1 (21 enodes) 5.716 * * [simplify]: Extracting #0: cost 1 inf + 0 5.716 * * [simplify]: Extracting #1: cost 4 inf + 0 5.716 * * [simplify]: Extracting #2: cost 10 inf + 0 5.716 * * [simplify]: Extracting #3: cost 10 inf + 3 5.716 * * [simplify]: Extracting #4: cost 9 inf + 368 5.716 * * [simplify]: Extracting #5: cost 5 inf + 809 5.717 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.717 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.717 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.717 * * * * [progress]: [ 40 / 49 ] simplifiying candidate # 5.718 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.718 * * [simplify]: iters left: 2 (5 enodes) 5.720 * * [simplify]: iters left: 1 (21 enodes) 5.727 * * [simplify]: Extracting #0: cost 1 inf + 0 5.727 * * [simplify]: Extracting #1: cost 4 inf + 0 5.727 * * [simplify]: Extracting #2: cost 10 inf + 0 5.727 * * [simplify]: Extracting #3: cost 10 inf + 3 5.727 * * [simplify]: Extracting #4: cost 9 inf + 368 5.727 * * [simplify]: Extracting #5: cost 5 inf + 809 5.728 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.728 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.728 * [simplify]: Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.728 * * * * [progress]: [ 41 / 49 ] simplifiying candidate # 5.729 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.729 * * [simplify]: iters left: 2 (5 enodes) 5.731 * * [simplify]: iters left: 1 (21 enodes) 5.737 * * [simplify]: Extracting #0: cost 1 inf + 0 5.738 * * [simplify]: Extracting #1: cost 4 inf + 0 5.738 * * [simplify]: Extracting #2: cost 10 inf + 0 5.738 * * [simplify]: Extracting #3: cost 10 inf + 3 5.738 * * [simplify]: Extracting #4: cost 9 inf + 368 5.738 * * [simplify]: Extracting #5: cost 5 inf + 809 5.738 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.739 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.739 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.739 * * * * [progress]: [ 42 / 49 ] simplifiying candidate # 5.739 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.739 * * [simplify]: iters left: 2 (5 enodes) 5.741 * * [simplify]: iters left: 1 (21 enodes) 5.748 * * [simplify]: Extracting #0: cost 1 inf + 0 5.748 * * [simplify]: Extracting #1: cost 4 inf + 0 5.748 * * [simplify]: Extracting #2: cost 10 inf + 0 5.749 * * [simplify]: Extracting #3: cost 10 inf + 3 5.749 * * [simplify]: Extracting #4: cost 9 inf + 368 5.749 * * [simplify]: Extracting #5: cost 5 inf + 809 5.749 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.750 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.750 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.750 * * * * [progress]: [ 43 / 49 ] simplifiying candidate # 5.750 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.750 * * [simplify]: iters left: 2 (5 enodes) 5.752 * * [simplify]: iters left: 1 (21 enodes) 5.760 * * [simplify]: Extracting #0: cost 1 inf + 0 5.760 * * [simplify]: Extracting #1: cost 4 inf + 0 5.760 * * [simplify]: Extracting #2: cost 10 inf + 0 5.760 * * [simplify]: Extracting #3: cost 10 inf + 3 5.760 * * [simplify]: Extracting #4: cost 9 inf + 368 5.761 * * [simplify]: Extracting #5: cost 5 inf + 809 5.761 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.761 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.761 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.762 * * * * [progress]: [ 44 / 49 ] simplifiying candidate # 5.762 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.762 * * [simplify]: iters left: 2 (5 enodes) 5.766 * * [simplify]: iters left: 1 (21 enodes) 5.773 * * [simplify]: Extracting #0: cost 1 inf + 0 5.773 * * [simplify]: Extracting #1: cost 4 inf + 0 5.773 * * [simplify]: Extracting #2: cost 10 inf + 0 5.774 * * [simplify]: Extracting #3: cost 10 inf + 3 5.774 * * [simplify]: Extracting #4: cost 9 inf + 368 5.774 * * [simplify]: Extracting #5: cost 5 inf + 809 5.774 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.775 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.775 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.775 * * * * [progress]: [ 45 / 49 ] simplifiying candidate # 5.775 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.775 * * [simplify]: iters left: 2 (5 enodes) 5.777 * * [simplify]: iters left: 1 (21 enodes) 5.782 * * [simplify]: Extracting #0: cost 1 inf + 0 5.782 * * [simplify]: Extracting #1: cost 4 inf + 0 5.782 * * [simplify]: Extracting #2: cost 10 inf + 0 5.782 * * [simplify]: Extracting #3: cost 10 inf + 3 5.782 * * [simplify]: Extracting #4: cost 9 inf + 368 5.782 * * [simplify]: Extracting #5: cost 5 inf + 809 5.782 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.782 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.782 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.782 * * * * [progress]: [ 46 / 49 ] simplifiying candidate # 5.783 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.783 * * [simplify]: iters left: 2 (5 enodes) 5.784 * * [simplify]: iters left: 1 (21 enodes) 5.787 * * [simplify]: Extracting #0: cost 1 inf + 0 5.787 * * [simplify]: Extracting #1: cost 4 inf + 0 5.787 * * [simplify]: Extracting #2: cost 10 inf + 0 5.787 * * [simplify]: Extracting #3: cost 10 inf + 3 5.787 * * [simplify]: Extracting #4: cost 9 inf + 368 5.787 * * [simplify]: Extracting #5: cost 5 inf + 809 5.787 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.788 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.788 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.788 * * * * [progress]: [ 47 / 49 ] simplifiying candidate # 5.788 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 5.788 * * [simplify]: iters left: 3 (6 enodes) 5.789 * * [simplify]: iters left: 2 (24 enodes) 5.793 * * [simplify]: iters left: 1 (37 enodes) 5.798 * * [simplify]: Extracting #0: cost 1 inf + 0 5.798 * * [simplify]: Extracting #1: cost 3 inf + 0 5.799 * * [simplify]: Extracting #2: cost 6 inf + 0 5.799 * * [simplify]: Extracting #3: cost 12 inf + 0 5.799 * * [simplify]: Extracting #4: cost 12 inf + 3 5.799 * * [simplify]: Extracting #5: cost 13 inf + 221 5.799 * * [simplify]: Extracting #6: cost 6 inf + 1202 5.799 * * [simplify]: Extracting #7: cost 1 inf + 1973 5.799 * * [simplify]: Extracting #8: cost 0 inf + 2194 5.800 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 5.800 * [simplify]: Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.800 * * * * [progress]: [ 48 / 49 ] simplifiying candidate # 5.800 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 5.800 * * [simplify]: iters left: 3 (6 enodes) 5.801 * * [simplify]: iters left: 2 (24 enodes) 5.805 * * [simplify]: iters left: 1 (37 enodes) 5.810 * * [simplify]: Extracting #0: cost 1 inf + 0 5.811 * * [simplify]: Extracting #1: cost 3 inf + 0 5.811 * * [simplify]: Extracting #2: cost 6 inf + 0 5.811 * * [simplify]: Extracting #3: cost 12 inf + 0 5.811 * * [simplify]: Extracting #4: cost 12 inf + 3 5.811 * * [simplify]: Extracting #5: cost 13 inf + 221 5.811 * * [simplify]: Extracting #6: cost 6 inf + 1202 5.811 * * [simplify]: Extracting #7: cost 1 inf + 1973 5.811 * * [simplify]: Extracting #8: cost 0 inf + 2194 5.812 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 5.812 * [simplify]: Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.812 * * * * [progress]: [ 49 / 49 ] simplifiying candidate # 5.812 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 5.812 * * [simplify]: iters left: 3 (6 enodes) 5.813 * * [simplify]: iters left: 2 (24 enodes) 5.817 * * [simplify]: iters left: 1 (37 enodes) 5.822 * * [simplify]: Extracting #0: cost 1 inf + 0 5.822 * * [simplify]: Extracting #1: cost 3 inf + 0 5.822 * * [simplify]: Extracting #2: cost 6 inf + 0 5.822 * * [simplify]: Extracting #3: cost 12 inf + 0 5.822 * * [simplify]: Extracting #4: cost 12 inf + 3 5.822 * * [simplify]: Extracting #5: cost 13 inf + 221 5.822 * * [simplify]: Extracting #6: cost 6 inf + 1202 5.822 * * [simplify]: Extracting #7: cost 1 inf + 1973 5.823 * * [simplify]: Extracting #8: cost 0 inf + 2194 5.823 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 5.823 * [simplify]: Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) 5.823 * * * [progress]: adding candidates to table 6.583 * [progress]: [Phase 3 of 3] Extracting. 6.584 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #) 6.586 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 6.587 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #) 6.716 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #) 6.865 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #) 7.014 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #) 7.121 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> #) 7.251 * * * [regime]: Found split indices: #