333 calls:
| 4.8s | (fma (* (* (* y x) 18.0) t) z (- (* b c) (fma 4.0 (fma t a (* i x)) (* 27.0 (* k j))))) |
| 4.3s | (fma (* (* y x) (* 18.0 t)) z (- (* b c) (fma 4.0 (fma t a (* i x)) (* 27.0 (* k j))))) |
| 1.4s | (fma (- (* t c) (* y i)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* a t)) x))) |
| 1.3s | (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) |
| 1.3s | (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a)) |
| 59× | intervals |
| 51.7s | 262646× | body | 80 | valid |
| 36.8s | 204725× | body | 80 | nan |
| 30.3s | 21347× | body | 1280 | valid |
| 13.4s | 11040× | body | 640 | valid |
| 8.5s | 5253× | body | 2560 | valid |
| 4.1s | 5103× | body | 320 | valid |
| 2.1s | 2598× | body | 160 | valid |
| 1.2s | 16512× | pre | 80 | true |
| 295.0ms | 208× | body | 5120 | valid |
Total 34.6b remaining (25.9%)
Threshold costs 2.7b (2.1%)
| 6.4b | -8.4% | Linear.Matrix:det33 from linear-1.19.1.3 |
| 5.2b | 82.2% | The quadratic formula (r1) |
| 3.9b | 30.4% | Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3 |
| 3.2b | 89.8% | NMSE problem 3.2.1 |
| 2.6b | 0% | cos(2*x)/(cos^2(x)*sin^2(x)) |
| 99× | rewrite-expression-head |
336 calls:
| 2.2s | (cbrt (* (* (cbrt (- (* z y) (* a t))) (* (* (cbrt (cbrt (- (* z y) (* a t)))) (cbrt (cbrt (- (* z y) (* a t))))) (cbrt (cbrt (- (* z y) (* a t)))))) (cbrt (- (* z y) (* a t))))) |
| 1.2s | (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))) |
| 1.1s | (/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))) |
| 727.0ms | (+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))) |
| 579.0ms | (+ (log (+ x y)) (log z)) |
| 5072× | times-frac |
| 4931× | *-un-lft-identity |
| 4567× | add-sqr-sqrt |
| 4359× | add-exp-log |
| 3906× | add-cube-cbrt |
| 3338× | prod-exp |
| 1796× | prod-diff |
| 1689× | cbrt-div |
| 998× | add-cbrt-cube |
| 809× | pow-to-exp pow-exp |
| 754× | pow1 |
| 668× | frac-times |
| 594× | flip3-- flip-- |
| 495× | add-log-exp |
| 483× | div-exp |
| 471× | sqrt-prod |
| 454× | distribute-rgt-neg-in |
| 446× | cbrt-prod |
| 440× | distribute-lft-neg-in |
| 336× | log1p-expm1-u expm1-log1p-u |
| 334× | div-inv |
| 311× | cbrt-unprod |
| 304× | associate-*l/ |
| 299× | associate-+r+ |
| 295× | distribute-lft-out |
| 286× | associate-*l* |
| 281× | associate-/l* |
| 278× | associate-*r* |
| 273× | associate-/r* |
| 254× | difference-of-squares |
| 253× | distribute-lft-out-- |
| 232× | fma-neg |
| 222× | associate-*r/ |
| 187× | associate-/r/ |
| 156× | pow-prod-down |
| 138× | tan-quot |
| 135× | neg-mul-1 |
| 129× | cbrt-undiv |
| 101× | pow1/3 |
| 81× | log-pow |
| 75× | unswap-sqr |
| 69× | fma-def |
| 67× | *-commutative |
| 64× | unpow-prod-down |
| 60× | diff-log sqrt-div |
| 59× | log-prod |
| 55× | sub-neg |
| 53× | clear-num frac-2neg |
| 39× | rem-sqrt-square |
| 38× | fma-udef |
| 37× | flip-+ flip3-+ sqrt-pow1 |
| 36× | pow1/2 associate-/l/ 1-exp swap-sqr |
| 30× | rec-exp |
| 28× | associate-+l+ |
| 26× | distribute-rgt-in sin-mult distribute-lft-in |
| 25× | associate--r+ |
| 24× | sqr-pow exp-prod sum-log |
| 20× | un-div-inv cos-mult exp-sum |
| 18× | frac-sub |
| 17× | pow-prod-up pow-sqr neg-sub0 |
| 14× | div-sub |
| 12× | distribute-neg-frac |
| 11× | sub-div +-commutative |
| 10× | rem-exp-log pow-unpow associate-+l- |
| 9× | pow-plus neg-log associate--l+ associate--l- |
| 8× | log-div |
| 7× | frac-add pow2 pow-flip distribute-frac-neg |
| 6× | inv-pow exp-to-pow |
| 5× | associate-+r- |
| 4× | exp-diff pow-pow rem-log-exp |
| 2× | sqrt-undiv cos-sum exp-neg tan-sum |
| 1× | distribute-lft-neg-out associate--r- pow3 unsub-neg +-inverses sqrt-unprod distribute-rgt-out-- rem-cbrt-cube |