| 134× | rewrite-expression-head |
388 calls:
| 46.7s | (* (/ (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) 1) (* (/ (* (sqrt (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (sqrt (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)) |
| 42.3s | (* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x) |
| 36.8s | (* (/ (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) 1) (* (/ (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)) |
| 23.5s | (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) |
| 23.1s | (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) |
| 6079× | times-frac |
| 5891× | *-un-lft-identity |
| 5431× | add-sqr-sqrt |
| 3992× | add-cube-cbrt |
| 3187× | pow1 |
| 2683× | add-exp-log |
| 2404× | add-cbrt-cube |
| 1839× | sqrt-prod |
| 1305× | pow-prod-up |
| 1127× | associate-*r* |
| 1105× | prod-exp |
| 942× | associate-*l* |
| 932× | cbrt-unprod |
| 732× | div-exp |
| 645× | distribute-lft-out |
| 627× | prod-diff |
| 587× | pow-plus |
| 562× | cbrt-undiv |
| 535× | add-log-exp |
| 509× | associate-/l* pow-prod-down |
| 389× | expm1-log1p-u |
| 388× | insert-posit16 log1p-expm1-u |
| 379× | difference-of-squares |
| 346× | distribute-lft-out-- |
| 339× | associate-/r* |
| 291× | flip-+ flip3-+ |
| 287× | associate-*l/ |
| 273× | cbrt-prod |
| 268× | div-inv |
| 263× | associate-/r/ |
| 238× | flip3-- flip-- |
| 236× | pow-sqr |
| 228× | unswap-sqr |
| 190× | pow2 log-pow |
| 179× | associate-*r/ |
| 170× | frac-times |
| 155× | cbrt-div |
| 149× | sqrt-div |
| 140× | swap-sqr frac-add |
| 139× | distribute-rgt-in distribute-lft-in |
| 138× | log-prod |
| 136× | exp-sum |
| 122× | *-commutative |
| 118× | sqrt-pow1 |
| 111× | fma-neg |
| 97× | pow1/3 |
| 90× | associate-/l/ unpow-prod-down |
| 87× | fma-def |
| 83× | frac-2neg clear-num |
| 78× | fma-udef |
| 76× | 1-exp |
| 67× | rec-exp |
| 54× | cube-unmult pow1/2 |
| 51× | sub-neg |
| 43× | sum-log |
| 41× | pow-flip |
| 39× | diff-log |
| 31× | associate-+r+ |
| 29× | associate-+l+ |
| 26× | +-commutative |
| 22× | frac-sub pow-div |
| 18× | sqr-pow |
| 17× | div-sub |
| 16× | exp-prod |
| 15× | rem-sqrt-square |
| 14× | distribute-rgt1-in distribute-rgt-out |
| 13× | hypot-udef |
| 12× | pow3 associate--r+ |
| 10× | inv-pow |
| 9× | distribute-lft-neg-in distribute-rgt-neg-in un-div-inv |
| 7× | hypot-def |
| 5× | associate--l+ rem-log-exp |
| 4× | pow-exp sin-sum associate-+r- pow-to-exp cos-sum distribute-neg-in |
| 3× | sqrt-unprod pow-unpow neg-mul-1 associate-+l- rem-square-sqrt log-div |
| 2× | distribute-rgt-neg-out rem-exp-log |
| 1× | distribute-lft-neg-out exp-diff log1p-expm1 difference-cubes pow-pow log1p-udef associate--r- |
| 94× | intervals |
| 46.9s | 405126× | body | 80 | valid |
| 28.7s | 26645× | body | 1280 | valid |
| 15.1s | 20666× | body | 640 | valid |
| 8.8s | 69354× | body | 80 | nan |
| 7.6s | 8079× | body | 10240 | exit |
| 5.5s | 10303× | body | 320 | valid |
| 3.2s | 9300× | body | 160 | valid |
| 1.6s | 33536× | pre | 80 | true |
| 961.0ms | 1359× | body | 2560 | valid |
| 924.0ms | 596× | body | 5120 | valid |
| 527.0ms | 101× | body | 1280 | nan |
| 75.0ms | 63× | body | 640 | nan |
| 32.0ms | 40× | body | 320 | nan |
| 12.0ms | 20× | body | 160 | nan |
388 calls:
| 5.1s | (* (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (/ 1 (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) |
| 5.0s | (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) |
| 3.7s | (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))) |
| 3.5s | (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))) |
| 3.0s | (- (* 1.0 (* 1.0 1.0)) (* (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))) (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))))) |
Total 28.0b remaining (20.6%)
Threshold costs 4.3b (3.1%)
| 7.8b | 31.8% | _divideComplex, real part |
| 5.9b | 5.1% | Octave 3.8, jcobi/2 |
| 3.5b | -10.9% | _divideComplex, imaginary part |
| 2.5b | 36.2% | Octave 3.8, jcobi/4 |
| 2.5b | 0% | Octave 3.8, jcobi/3 |