332 calls:
| 1.7m | (/ 1 (* (+ i (* y (+ c (* y (+ (* (+ a y) y) b))))) (/ 1 (+ (* y (+ 230661.510616 (* y (+ (* y (+ z (* x y))) 27464.7644705)))) t)))) |
| 1.7m | (/ 1 (/ (+ i (* y (+ c (* y (+ (* (+ a y) y) b))))) (+ (* y (+ 230661.510616 (* y (+ (* y (+ z (* x y))) 27464.7644705)))) t))) |
| 1.0s | (/ (- (* z (+ b c)) (* (* (* (+ b c) (/ t (sqrt (+ t a)))) (- b c)) (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))))) (* (+ b c) (/ t (sqrt (+ t a))))) |
| 1.0s | (- (* z (+ b c)) (* (* (* (+ b c) (/ t (sqrt (+ t a)))) (- b c)) (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))))) |
| 741.0ms | (/ (+ i (* y (+ c (* y (+ (* (+ a y) y) b))))) (+ (* y (+ 230661.510616 (* y (+ (* y (+ z (* x y))) 27464.7644705)))) t)) |
| 60× | intervals |
| 1.8m | 335857× | body | 80 | valid |
| 33.8s | 210996× | body | 80 | nan |
| 29.1s | 21515× | body | 1280 | valid |
| 12.2s | 11027× | body | 640 | valid |
| 6.9s | 5351× | body | 2560 | valid |
| 3.2s | 5056× | body | 320 | valid |
| 1.2s | 16512× | pre | 80 | true |
| 1.0s | 2407× | body | 160 | valid |
| 228.0ms | 224× | body | 5120 | valid |
Total 40.0b remaining (26.9%)
Threshold costs 4.5b (3%)
| 12.1b | -19.2% | Linear.Matrix:det44 from linear-1.19.1.3 |
| 4.3b | 84.7% | The quadratic formula (r1) |
| 4.2b | 33.2% | Linear.Matrix:det33 from linear-1.19.1.3 |
| 3.2b | 88.6% | NMSE problem 3.2.1 |
| 2.5b | 0% | cos(2*x)/(cos^2(x)*sin^2(x)) |
| 99× | rewrite-expression-head |
332 calls:
| 811.0ms | (/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y) |
| 778.0ms | (/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y) |
| 691.0ms | (/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y) |
| 673.0ms | (/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y) |
| 599.0ms | (/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y) |
| 3733× | times-frac |
| 3519× | *-un-lft-identity |
| 3386× | add-sqr-sqrt |
| 2497× | add-cube-cbrt |
| 1733× | add-exp-log |
| 1329× | add-cbrt-cube |
| 1080× | pow1 |
| 723× | associate-*l* |
| 670× | frac-times |
| 642× | prod-exp |
| 523× | add-log-exp |
| 514× | associate-*r/ |
| 511× | associate-*r* |
| 506× | cbrt-unprod |
| 459× | associate-*l/ |
| 434× | flip-+ flip3-+ |
| 415× | flip3-- cbrt-prod flip-- |
| 362× | associate-/r* |
| 341× | pow-prod-down |
| 332× | insert-posit16 |
| 321× | div-exp |
| 298× | distribute-lft-out-- |
| 293× | frac-sub |
| 284× | sqrt-prod |
| 279× | difference-of-squares |
| 271× | associate-/l* |
| 268× | cbrt-div |
| 260× | distribute-rgt-neg-in |
| 246× | distribute-lft-neg-in |
| 222× | distribute-lft-out |
| 221× | cbrt-undiv |
| 217× | div-inv |
| 215× | associate-/r/ |
| 193× | associate-/l/ |
| 138× | unswap-sqr |
| 126× | sqrt-div |
| 122× | *-commutative |
| 121× | sub-neg |
| 101× | distribute-rgt-in distribute-lft-in |
| 94× | swap-sqr |
| 87× | log-prod |
| 80× | neg-mul-1 |
| 67× | exp-diff |
| 66× | pow1/3 frac-2neg clear-num |
| 63× | diff-log |
| 61× | tan-quot |
| 60× | 1-exp rec-exp |
| 59× | exp-prod |
| 58× | pow-prod-up |
| 46× | sum-log |
| 43× | sqrt-pow1 associate-+r+ pow1/2 |
| 34× | sin-mult |
| 33× | exp-sum |
| 31× | pow-plus log-pow |
| 30× | associate--l+ |
| 29× | cos-mult |
| 28× | rem-sqrt-square pow-sqr |
| 26× | rem-exp-log |
| 20× | sub-div associate--r+ |
| 19× | pow-flip |
| 17× | +-commutative |
| 16× | unpow-prod-down div-sub |
| 15× | associate-+l+ pow2 associate-+l- |
| 14× | log-div |
| 12× | neg-sub0 |
| 11× | neg-log inv-pow |
| 10× | cube-prod |
| 9× | associate--l- frac-add |
| 7× | difference-of-sqr-1 un-div-inv |
| 6× | pow-unpow pow3 cube-div |
| 5× | distribute-lft-neg-out associate-+r- sqr-pow pow-sub |
| 4× | pow-exp distribute-rgt-neg-out |
| 3× | unpow-prod-up distribute-rgt-out-- pow-to-exp |
| 2× | sqrt-unprod pow-pow tan-sum distribute-neg-frac distribute-frac-neg rem-log-exp distribute-neg-in cos-sum cos-2 |
| 1× | cube-unmult unpow3 exp-neg sqr-neg rem-square-sqrt remove-posit16 cube-mult e-exp-1 |