0.004 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 1.494 * * * [progress]: [2/2] Setting up program. 1.502 * [progress]: [Phase 2 of 3] Improving. 1.503 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.505 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.506 * * [simplify]: iteration 1: (7 enodes) 1.515 * * [simplify]: iteration 2: (30 enodes) 1.526 * * [simplify]: iteration 3: (52 enodes) 1.543 * * [simplify]: iteration 4: (80 enodes) 1.581 * * [simplify]: iteration 5: (137 enodes) 1.612 * * [simplify]: iteration 6: (254 enodes) 1.700 * * [simplify]: iteration 7: (639 enodes) 2.338 * * [simplify]: Extracting #0: cost 1 inf + 0 2.338 * * [simplify]: Extracting #1: cost 3 inf + 0 2.339 * * [simplify]: Extracting #2: cost 72 inf + 0 2.341 * * [simplify]: Extracting #3: cost 266 inf + 2 2.343 * * [simplify]: Extracting #4: cost 294 inf + 3848 2.349 * * [simplify]: Extracting #5: cost 214 inf + 36963 2.364 * * [simplify]: Extracting #6: cost 118 inf + 115852 2.409 * * [simplify]: Extracting #7: cost 9 inf + 235596 2.475 * * [simplify]: Extracting #8: cost 0 inf + 245682 2.552 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 2.552 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 2.553 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 2.562 * * [progress]: iteration 1 / 4 2.562 * * * [progress]: picking best candidate 2.568 * * * * [pick]: Picked # 2.568 * * * [progress]: localizing error 2.605 * * * [progress]: generating rewritten candidates 2.606 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 2.607 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.612 * * * [progress]: generating series expansions 2.613 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 2.619 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 2.619 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.620 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.623 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.623 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.623 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.623 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.624 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.624 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.624 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.624 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.624 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.625 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.625 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 2.626 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.626 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.626 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.626 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.627 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.627 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.627 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 2.627 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.628 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.628 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 2.628 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.628 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.628 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.628 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.628 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.628 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify 0 into 0 2.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.629 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 2.629 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.629 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.630 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.630 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.631 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 2.631 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.631 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.631 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.631 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.631 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.631 * [backup-simplify]: Simplify 0 into 0 2.631 * [backup-simplify]: Simplify 0 into 0 2.631 * [backup-simplify]: Simplify 0 into 0 2.632 * [backup-simplify]: Simplify 0 into 0 2.632 * [backup-simplify]: Simplify 0 into 0 2.632 * [backup-simplify]: Simplify 0 into 0 2.632 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.632 * * * [progress]: simplifying candidates 2.632 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 2.632 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 2.632 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 2.632 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))> 2.633 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 2.633 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 2.634 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 2.634 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> 2.634 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 2.634 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 2.634 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 2.634 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 2.634 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 2.634 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 2.635 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.635 * * [simplify]: iteration 1: (35 enodes) 2.652 * * [simplify]: iteration 2: (114 enodes) 2.684 * * [simplify]: iteration 3: (148 enodes) 2.724 * * [simplify]: iteration 4: (182 enodes) 2.773 * * [simplify]: iteration 5: (253 enodes) 2.837 * * [simplify]: iteration 6: (423 enodes) 3.017 * * [simplify]: iteration 7: (904 enodes) 3.672 * * [simplify]: Extracting #0: cost 22 inf + 0 3.672 * * [simplify]: Extracting #1: cost 71 inf + 0 3.673 * * [simplify]: Extracting #2: cost 181 inf + 4 3.675 * * [simplify]: Extracting #3: cost 385 inf + 205 3.678 * * [simplify]: Extracting #4: cost 413 inf + 4641 3.685 * * [simplify]: Extracting #5: cost 291 inf + 56068 3.701 * * [simplify]: Extracting #6: cost 179 inf + 137586 3.732 * * [simplify]: Extracting #7: cost 48 inf + 282733 3.778 * * [simplify]: Extracting #8: cost 0 inf + 341179 3.828 * * [simplify]: Extracting #9: cost 0 inf + 340449 3.892 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3.892 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 3.893 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 3.893 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))> 3.893 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a)))) 3.893 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))) 3.894 * [simplify]: Simplified (2 2) to (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))) 3.894 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 3.894 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * [simplify]: Simplified (2 2) to (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (cbrt (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) 3.894 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 3.894 * [simplify]: Simplified (2 1) to (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * [simplify]: Simplified (2 2) to (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.894 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 3.895 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> 3.895 * [simplify]: Simplified (2 1) to (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 3.895 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 3.895 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 3.895 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 3.895 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 3.895 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 3.895 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 3.895 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 3.895 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 3.895 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 3.895 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 3.895 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 3.895 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 3.895 * * * [progress]: adding candidates to table 4.256 * * [progress]: iteration 2 / 4 4.256 * * * [progress]: picking best candidate 4.280 * * * * [pick]: Picked # 4.280 * * * [progress]: localizing error 4.308 * * * [progress]: generating rewritten candidates 4.308 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 4.308 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 4.310 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.316 * * * [progress]: generating series expansions 4.316 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 4.316 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 4.316 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 4.316 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.316 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.316 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.316 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.316 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.317 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 4.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.317 * [backup-simplify]: Simplify 0 into 0 4.317 * [backup-simplify]: Simplify 0 into 0 4.317 * [backup-simplify]: Simplify 0 into 0 4.317 * [backup-simplify]: Simplify 0 into 0 4.317 * [backup-simplify]: Simplify 0 into 0 4.317 * [backup-simplify]: Simplify 0 into 0 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.317 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 4.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.317 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 4.318 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 4.318 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 4.318 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 4.318 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.318 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.318 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.318 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.318 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.318 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.318 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 4.318 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.319 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.319 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.319 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.319 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 4.319 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.319 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 4.319 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.319 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.319 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.319 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.319 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 4.320 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.320 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.320 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 4.320 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.320 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.320 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.320 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.320 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.320 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 4.321 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 4.321 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.321 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 4.321 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.321 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 4.321 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 4.321 * [backup-simplify]: Simplify 0 into 0 4.321 * [backup-simplify]: Simplify 0 into 0 4.321 * [backup-simplify]: Simplify 0 into 0 4.321 * [backup-simplify]: Simplify 0 into 0 4.321 * [backup-simplify]: Simplify 0 into 0 4.321 * [backup-simplify]: Simplify 0 into 0 4.321 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.321 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 4.321 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 4.321 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.321 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 4.322 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.322 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 4.322 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 4.322 * [backup-simplify]: Simplify 0 into 0 4.322 * [backup-simplify]: Simplify 0 into 0 4.322 * [backup-simplify]: Simplify 0 into 0 4.322 * [backup-simplify]: Simplify 0 into 0 4.322 * [backup-simplify]: Simplify 0 into 0 4.322 * [backup-simplify]: Simplify 0 into 0 4.322 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.322 * * * [progress]: simplifying candidates 4.322 * * * * [progress]: [ 1 / 48 ] simplifiying candidate # 4.322 * * * * [progress]: [ 2 / 48 ] simplifiying candidate # 4.322 * * * * [progress]: [ 3 / 48 ] simplifiying candidate # 4.322 * * * * [progress]: [ 4 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 5 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 6 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 7 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 8 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 9 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 10 / 48 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))> 4.323 * * * * [progress]: [ 11 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 12 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 13 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 14 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 15 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 16 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 17 / 48 ] simplifiying candidate # 4.323 * * * * [progress]: [ 18 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 19 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 20 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 21 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 22 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 23 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 24 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 25 / 48 ] simplifiying candidate # 4.324 * * * * [progress]: [ 26 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 27 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 28 / 48 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))> 4.325 * * * * [progress]: [ 29 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 30 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 31 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 32 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 33 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 34 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 35 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 36 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 37 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 38 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 39 / 48 ] simplifiying candidate #real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 4.325 * * * * [progress]: [ 40 / 48 ] simplifiying candidate # 4.325 * * * * [progress]: [ 41 / 48 ] simplifiying candidate # 4.326 * * * * [progress]: [ 42 / 48 ] simplifiying candidate # 4.326 * * * * [progress]: [ 43 / 48 ] simplifiying candidate # 4.326 * * * * [progress]: [ 44 / 48 ] simplifiying candidate # 4.326 * * * * [progress]: [ 45 / 48 ] simplifiying candidate # 4.326 * * * * [progress]: [ 46 / 48 ] simplifiying candidate # 4.326 * * * * [progress]: [ 47 / 48 ] simplifiying candidate # 4.326 * * * * [progress]: [ 48 / 48 ] simplifiying candidate # 4.327 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (log (exp (fmod (cosh a) (* a a))))), (log1p (log (exp (fmod (cosh a) (* a a))))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (/ PI 2), (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))), (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.328 * * [simplify]: iteration 1: (60 enodes) 4.356 * * [simplify]: iteration 2: (170 enodes) 4.391 * * [simplify]: iteration 3: (217 enodes) 4.427 * * [simplify]: iteration 4: (264 enodes) 4.491 * * [simplify]: iteration 5: (365 enodes) 4.565 * * [simplify]: iteration 6: (622 enodes) 5.157 * * [simplify]: Extracting #0: cost 27 inf + 0 5.158 * * [simplify]: Extracting #1: cost 91 inf + 2 5.158 * * [simplify]: Extracting #2: cost 197 inf + 5 5.160 * * [simplify]: Extracting #3: cost 296 inf + 270 5.163 * * [simplify]: Extracting #4: cost 309 inf + 2625 5.167 * * [simplify]: Extracting #5: cost 221 inf + 34481 5.178 * * [simplify]: Extracting #6: cost 110 inf + 91478 5.211 * * [simplify]: Extracting #7: cost 38 inf + 139777 5.243 * * [simplify]: Extracting #8: cost 1 inf + 168504 5.274 * * [simplify]: Extracting #9: cost 0 inf + 169342 5.306 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.306 * * * * [progress]: [ 1 / 48 ] simplifiying candidate # 5.306 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a)))) 5.306 * * * * [progress]: [ 2 / 48 ] simplifiying candidate # 5.307 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * * * * [progress]: [ 3 / 48 ] simplifiying candidate # 5.307 * * * * [progress]: [ 4 / 48 ] simplifiying candidate # 5.307 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * * * * [progress]: [ 5 / 48 ] simplifiying candidate # 5.307 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * * * * [progress]: [ 6 / 48 ] simplifiying candidate # 5.307 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * * * * [progress]: [ 7 / 48 ] simplifiying candidate # 5.307 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (cbrt (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))))) (log1p a)))) 5.307 * * * * [progress]: [ 8 / 48 ] simplifiying candidate # 5.307 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * * * * [progress]: [ 9 / 48 ] simplifiying candidate # 5.307 * * * * [progress]: [ 10 / 48 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))> 5.307 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) 5.307 * * * * [progress]: [ 11 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a)))) 5.308 * * * * [progress]: [ 12 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a)))) 5.308 * * * * [progress]: [ 13 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 5.308 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 5.308 * * * * [progress]: [ 14 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 5.308 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 5.308 * * * * [progress]: [ 15 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) 5.308 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (+ 0 (fmod (cosh a) (* a a))) (log1p a)))) 5.308 * * * * [progress]: [ 16 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a)))) 5.308 * * * * [progress]: [ 17 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log1p a)))) 5.308 * * * * [progress]: [ 18 / 48 ] simplifiying candidate # 5.308 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 5.309 * * * * [progress]: [ 19 / 48 ] simplifiying candidate # 5.309 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) 1) (log1p a)))) 5.309 * * * * [progress]: [ 20 / 48 ] simplifiying candidate # 5.309 * * * * [progress]: [ 21 / 48 ] simplifiying candidate # 5.309 * * * * [progress]: [ 22 / 48 ] simplifiying candidate # 5.309 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a)))) 5.309 * * * * [progress]: [ 23 / 48 ] simplifiying candidate # 5.309 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 5.309 * * * * [progress]: [ 24 / 48 ] simplifiying candidate # 5.309 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 5.309 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)))) 5.309 * * * * [progress]: [ 25 / 48 ] simplifiying candidate # 5.309 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (cbrt (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a)))) 5.309 * * * * [progress]: [ 26 / 48 ] simplifiying candidate # 5.309 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 5.309 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 5.310 * * * * [progress]: [ 27 / 48 ] simplifiying candidate # 5.310 * * * * [progress]: [ 28 / 48 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))> 5.310 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a)))) 5.310 * * * * [progress]: [ 29 / 48 ] simplifiying candidate # 5.310 * [simplify]: Simplified (2 1) to (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 5.310 * * * * [progress]: [ 30 / 48 ] simplifiying candidate # 5.310 * [simplify]: Simplified (2 1) to (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 5.310 * * * * [progress]: [ 31 / 48 ] simplifiying candidate # 5.310 * [simplify]: Simplified (2 1) to (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) 5.310 * [simplify]: Simplified (2 2) to (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))) 5.310 * * * * [progress]: [ 32 / 48 ] simplifiying candidate # 5.310 * * * * [progress]: [ 33 / 48 ] simplifiying candidate # 5.310 * [simplify]: Simplified (2 1) to (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 5.310 * * * * [progress]: [ 34 / 48 ] simplifiying candidate # 5.310 * [simplify]: Simplified (2 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 5.310 * * * * [progress]: [ 35 / 48 ] simplifiying candidate # 5.310 * [simplify]: Simplified (2 1) to (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 5.310 * [simplify]: Simplified (2 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 5.311 * * * * [progress]: [ 36 / 48 ] simplifiying candidate # 5.311 * [simplify]: Simplified (2 1) to (λ (a) (cbrt (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) 5.311 * * * * [progress]: [ 37 / 48 ] simplifiying candidate # 5.311 * [simplify]: Simplified (2 1) to (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 5.311 * [simplify]: Simplified (2 2) to (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 5.311 * * * * [progress]: [ 38 / 48 ] simplifiying candidate # 5.311 * * * * [progress]: [ 39 / 48 ] simplifiying candidate #real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 5.311 * [simplify]: Simplified (2 1) to (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 5.311 * * * * [progress]: [ 40 / 48 ] simplifiying candidate # 5.311 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 5.311 * * * * [progress]: [ 41 / 48 ] simplifiying candidate # 5.311 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 5.311 * * * * [progress]: [ 42 / 48 ] simplifiying candidate # 5.311 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 5.311 * * * * [progress]: [ 43 / 48 ] simplifiying candidate # 5.311 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.311 * * * * [progress]: [ 44 / 48 ] simplifiying candidate # 5.311 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.311 * * * * [progress]: [ 45 / 48 ] simplifiying candidate # 5.312 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.312 * * * * [progress]: [ 46 / 48 ] simplifiying candidate # 5.312 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.312 * * * * [progress]: [ 47 / 48 ] simplifiying candidate # 5.312 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.312 * * * * [progress]: [ 48 / 48 ] simplifiying candidate # 5.312 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.312 * * * [progress]: adding candidates to table 5.860 * * [progress]: iteration 3 / 4 5.860 * * * [progress]: picking best candidate 5.907 * * * * [pick]: Picked # 5.907 * * * [progress]: localizing error 5.951 * * * [progress]: generating rewritten candidates 5.951 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 5.951 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 5.952 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 5.952 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 5.957 * * * [progress]: generating series expansions 5.957 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 5.958 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 5.958 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 5.958 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.958 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.958 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.958 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.958 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.958 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify 0 into 0 5.958 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.958 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.958 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 5.958 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.959 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 5.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.959 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 5.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 5.960 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1) 5.960 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 5.961 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 5.961 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.961 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.961 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.961 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 5.961 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.961 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.961 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.962 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.962 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 5.962 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.962 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 5.962 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.962 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.962 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.962 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.963 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 5.963 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1) 5.963 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 5.963 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 5.963 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.963 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify 0 into 0 5.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.963 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.963 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 5.963 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.963 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 5.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.964 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 5.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.965 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.965 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.965 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.965 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 5.965 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 5.965 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 5.965 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 5.965 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.965 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.965 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.965 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.965 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.966 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.966 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 5.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify 0 into 0 5.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 5.966 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.966 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 5.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.966 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 5.967 * * * [progress]: simplifying candidates 5.967 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 10 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))> 5.967 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 5.967 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 20 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 5.968 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 30 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 5.968 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 5.968 * * * * [progress]: [ 36 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 38 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 48 / 60 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 5.969 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 50 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 53 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 5.969 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 5.970 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (log (exp (fmod (cosh a) (* a a))))), (log1p (log (exp (fmod (cosh a) (* a a))))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)) 5.970 * * [simplify]: iteration 1: (42 enodes) 5.981 * * [simplify]: iteration 2: (114 enodes) 5.996 * * [simplify]: iteration 3: (143 enodes) 6.031 * * [simplify]: iteration 4: (164 enodes) 6.055 * * [simplify]: iteration 5: (208 enodes) 6.091 * * [simplify]: iteration 6: (320 enodes) 6.183 * * [simplify]: iteration 7: (605 enodes) 6.429 * * [simplify]: Extracting #0: cost 15 inf + 0 6.430 * * [simplify]: Extracting #1: cost 102 inf + 2 6.431 * * [simplify]: Extracting #2: cost 290 inf + 5 6.432 * * [simplify]: Extracting #3: cost 371 inf + 2402 6.435 * * [simplify]: Extracting #4: cost 310 inf + 20721 6.446 * * [simplify]: Extracting #5: cost 135 inf + 93305 6.494 * * [simplify]: Extracting #6: cost 20 inf + 176423 6.559 * * [simplify]: Extracting #7: cost 0 inf + 186213 6.613 * * [simplify]: Extracting #8: cost 0 inf + 185957 6.670 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)) 6.670 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 6.670 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.670 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 6.671 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.671 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 6.671 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 6.671 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.671 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 6.671 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.671 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 6.671 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.671 * [simplify]: Simplified (2 2 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.671 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 6.671 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.672 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 6.672 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.672 * [simplify]: Simplified (2 2 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.672 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 6.672 * * * * [progress]: [ 10 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))> 6.672 * [simplify]: Simplified (2 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.672 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 6.672 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.672 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 6.672 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.672 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 6.672 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 6.672 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.673 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 6.673 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.673 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 6.673 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.673 * [simplify]: Simplified (2 1 2 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.673 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 6.673 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.673 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 6.673 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.673 * [simplify]: Simplified (2 1 2 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.674 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 6.674 * * * * [progress]: [ 20 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 6.674 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.674 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 6.674 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.674 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 6.674 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.674 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 6.674 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 6.674 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.674 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 6.674 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.674 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 6.675 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.675 * [simplify]: Simplified (2 1 1 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.675 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 6.675 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.675 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 6.675 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.675 * [simplify]: Simplified (2 1 1 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.675 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 6.675 * * * * [progress]: [ 30 / 60 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 6.675 * [simplify]: Simplified (2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.676 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 6.676 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a)))))) 6.676 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 6.676 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a)))))) 6.676 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 6.676 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.676 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.676 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 6.676 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.676 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.676 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 6.677 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))) 6.677 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ 0 (fmod (cosh a) (* a a))) (log1p a)))))) 6.677 * * * * [progress]: [ 36 / 60 ] simplifiying candidate # 6.677 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a)))))) 6.677 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 6.677 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log1p a)))))) 6.677 * * * * [progress]: [ 38 / 60 ] simplifiying candidate # 6.677 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))) 6.677 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 6.677 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (fmod (cosh a) (* a a)) 1) (log1p a)))))) 6.677 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 6.677 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 6.677 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 6.678 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a)))))) 6.678 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 6.678 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.678 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 6.678 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.678 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)))))) 6.678 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 6.678 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a)))))) 6.678 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 6.678 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 6.678 * [simplify]: Simplified (2 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))) 6.679 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 6.679 * * * * [progress]: [ 48 / 60 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 6.679 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a)))))) 6.679 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 6.679 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.679 * * * * [progress]: [ 50 / 60 ] simplifiying candidate # 6.679 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.679 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 6.679 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.679 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 6.679 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.679 * * * * [progress]: [ 53 / 60 ] simplifiying candidate # 6.679 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.679 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 6.680 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.680 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 6.680 * [simplify]: Simplified (2 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.680 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 6.680 * [simplify]: Simplified (2 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.680 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 6.680 * [simplify]: Simplified (2 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 6.680 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 6.680 * [simplify]: Simplified (2 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 6.680 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 6.680 * [simplify]: Simplified (2 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 6.680 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 6.680 * [simplify]: Simplified (2 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 6.680 * * * [progress]: adding candidates to table 7.649 * * [progress]: iteration 4 / 4 7.649 * * * [progress]: picking best candidate 7.713 * * * * [pick]: Picked # 7.713 * * * [progress]: localizing error 7.791 * * * [progress]: generating rewritten candidates 7.791 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1) 7.792 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 2 1 1 1) 7.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1 1) 7.793 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 7.794 * * * [progress]: generating series expansions 7.794 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1) 7.794 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 7.794 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.794 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.794 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.794 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.794 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.794 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.794 * [backup-simplify]: Simplify 0 into 0 7.794 * [backup-simplify]: Simplify 0 into 0 7.795 * [backup-simplify]: Simplify 0 into 0 7.795 * [backup-simplify]: Simplify 0 into 0 7.795 * [backup-simplify]: Simplify 0 into 0 7.795 * [backup-simplify]: Simplify 0 into 0 7.795 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.795 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.795 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.795 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.795 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.796 * [backup-simplify]: Simplify 0 into 0 7.796 * [backup-simplify]: Simplify 0 into 0 7.796 * [backup-simplify]: Simplify 0 into 0 7.796 * [backup-simplify]: Simplify 0 into 0 7.796 * [backup-simplify]: Simplify 0 into 0 7.796 * [backup-simplify]: Simplify 0 into 0 7.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.796 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.796 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.797 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.797 * [backup-simplify]: Simplify 0 into 0 7.797 * [backup-simplify]: Simplify 0 into 0 7.797 * [backup-simplify]: Simplify 0 into 0 7.797 * [backup-simplify]: Simplify 0 into 0 7.797 * [backup-simplify]: Simplify 0 into 0 7.797 * [backup-simplify]: Simplify 0 into 0 7.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.797 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 2 1 1 1) 7.798 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 7.798 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.798 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.798 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.798 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.798 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.798 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.798 * [backup-simplify]: Simplify 0 into 0 7.798 * [backup-simplify]: Simplify 0 into 0 7.798 * [backup-simplify]: Simplify 0 into 0 7.798 * [backup-simplify]: Simplify 0 into 0 7.798 * [backup-simplify]: Simplify 0 into 0 7.798 * [backup-simplify]: Simplify 0 into 0 7.798 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.799 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.799 * [backup-simplify]: Simplify 0 into 0 7.799 * [backup-simplify]: Simplify 0 into 0 7.799 * [backup-simplify]: Simplify 0 into 0 7.799 * [backup-simplify]: Simplify 0 into 0 7.799 * [backup-simplify]: Simplify 0 into 0 7.799 * [backup-simplify]: Simplify 0 into 0 7.800 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.800 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.800 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.800 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.800 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.800 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.801 * [backup-simplify]: Simplify 0 into 0 7.801 * [backup-simplify]: Simplify 0 into 0 7.801 * [backup-simplify]: Simplify 0 into 0 7.801 * [backup-simplify]: Simplify 0 into 0 7.801 * [backup-simplify]: Simplify 0 into 0 7.801 * [backup-simplify]: Simplify 0 into 0 7.801 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.801 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1 1 1 1) 7.801 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 7.801 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.801 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.801 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.801 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.802 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.802 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.802 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.802 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.802 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.802 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.802 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.802 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.803 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.803 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.803 * [backup-simplify]: Simplify 0 into 0 7.803 * [backup-simplify]: Simplify 0 into 0 7.803 * [backup-simplify]: Simplify 0 into 0 7.803 * [backup-simplify]: Simplify 0 into 0 7.803 * [backup-simplify]: Simplify 0 into 0 7.803 * [backup-simplify]: Simplify 0 into 0 7.803 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.803 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.803 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.804 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.804 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.804 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.804 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.804 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.804 * [backup-simplify]: Simplify 0 into 0 7.804 * [backup-simplify]: Simplify 0 into 0 7.804 * [backup-simplify]: Simplify 0 into 0 7.804 * [backup-simplify]: Simplify 0 into 0 7.804 * [backup-simplify]: Simplify 0 into 0 7.804 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.805 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1) 7.805 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 7.805 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.805 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.805 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.805 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.805 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.805 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.806 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.806 * [backup-simplify]: Simplify 0 into 0 7.806 * [backup-simplify]: Simplify 0 into 0 7.806 * [backup-simplify]: Simplify 0 into 0 7.806 * [backup-simplify]: Simplify 0 into 0 7.806 * [backup-simplify]: Simplify 0 into 0 7.807 * [backup-simplify]: Simplify 0 into 0 7.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.807 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.807 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.807 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.808 * [backup-simplify]: Simplify 0 into 0 7.808 * [backup-simplify]: Simplify 0 into 0 7.808 * [backup-simplify]: Simplify 0 into 0 7.808 * [backup-simplify]: Simplify 0 into 0 7.808 * [backup-simplify]: Simplify 0 into 0 7.808 * [backup-simplify]: Simplify 0 into 0 7.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.808 * * * [progress]: simplifying candidates 7.808 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 7.808 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 7.808 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 7.808 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 7.808 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))> 7.809 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 7.809 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 7.810 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 7.810 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 7.811 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 7.811 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 7.812 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 43 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 7.812 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 7.813 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 7.813 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 7.813 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 7.813 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)) 7.814 * * [simplify]: iteration 1: (17 enodes) 7.823 * * [simplify]: iteration 2: (57 enodes) 7.841 * * [simplify]: iteration 3: (77 enodes) 7.872 * * [simplify]: iteration 4: (85 enodes) 7.898 * * [simplify]: iteration 5: (97 enodes) 7.929 * * [simplify]: iteration 6: (125 enodes) 7.967 * * [simplify]: iteration 7: (170 enodes) 8.026 * * [simplify]: iteration 8: (280 enodes) 8.106 * * [simplify]: iteration 9: (588 enodes) 8.570 * * [simplify]: Extracting #0: cost 10 inf + 0 8.571 * * [simplify]: Extracting #1: cost 86 inf + 0 8.572 * * [simplify]: Extracting #2: cost 273 inf + 3 8.575 * * [simplify]: Extracting #3: cost 255 inf + 4650 8.592 * * [simplify]: Extracting #4: cost 148 inf + 89235 8.621 * * [simplify]: Extracting #5: cost 11 inf + 207648 8.656 * * [simplify]: Extracting #6: cost 2 inf + 210396 8.701 * * [simplify]: Extracting #7: cost 0 inf + 209761 8.742 * * [simplify]: Extracting #8: cost 0 inf + 209710 8.766 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)) 8.766 * * * * [progress]: [ 1 / 52 ] simplifiying candidate # 8.766 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.767 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 8.767 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.767 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 8.767 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 8.767 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (exp (log (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.767 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 8.767 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (log (exp (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.767 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 8.767 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.768 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.768 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 8.768 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.768 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 8.768 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.768 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.769 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 8.769 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))> 8.769 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a)))))) 8.769 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 8.769 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.769 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 8.769 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.769 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 8.769 * * * * [progress]: [ 14 / 52 ] simplifiying candidate # 8.770 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (exp (log (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.770 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 8.770 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (log (exp (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.770 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 8.770 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.770 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.770 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 8.770 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.771 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 8.771 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.771 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.771 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 8.771 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 8.771 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.771 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 8.772 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (log1p (expm1 (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.772 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 8.772 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (expm1 (log1p (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.772 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 8.772 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 8.772 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (exp (log (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.772 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 8.772 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (log (exp (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.773 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 8.773 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.773 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.773 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 8.773 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.773 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 8.773 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.774 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.774 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 8.774 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 8.774 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.774 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 8.774 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.774 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 8.774 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.775 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 8.775 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 8.775 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.775 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 8.775 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.775 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 8.775 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.775 * [simplify]: Simplified (2 1 2 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.776 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 8.776 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.776 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 8.776 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.776 * [simplify]: Simplified (2 1 2 1 1 1 1 1 2) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.776 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 8.776 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 8.776 * [simplify]: Simplified (2 1 2 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.777 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 8.777 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.777 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 8.777 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.777 * * * * [progress]: [ 43 / 52 ] simplifiying candidate # 8.777 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.777 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 8.777 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.777 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 8.777 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.778 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 8.778 * [simplify]: Simplified (2 2 1 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.778 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 8.778 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.778 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 8.778 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.778 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 8.779 * [simplify]: Simplified (2 2 1 1 1 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.780 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 8.780 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.780 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 8.780 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.780 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 8.780 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 8.780 * * * [progress]: adding candidates to table 9.697 * [progress]: [Phase 3 of 3] Extracting. 9.697 * * [regime]: Finding splitpoints for: (# # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #) 9.700 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 9.700 * * * * [regimes]: Trying to branch on a from (# # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #) 9.774 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #) 9.836 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # #) 9.880 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #) 9.944 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # #) 9.994 * * * [regime]: Found split indices: #