| 156× | rewrite-expression-head |
466 calls:
| 3.5m | (/ (pow x 3) (pow (/ (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) 3)) |
| 3.4m | (/ (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) |
| 1.8m | (cbrt (/ (pow x 3) (pow (/ (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) 3))) |
| 6.8s | (* (/ (+ (+ (+ (+ (+ 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) |
| 6.8s | (* (/ (+ (+ (+ (+ (+ 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) |
| 13895× | times-frac |
| 10775× | *-un-lft-identity |
| 8324× | add-sqr-sqrt |
| 6974× | add-cube-cbrt |
| 2483× | add-exp-log |
| 1870× | add-cbrt-cube |
| 1857× | distribute-rgt-neg-in |
| 1837× | distribute-lft-neg-in |
| 1795× | pow1 |
| 1772× | sqrt-prod |
| 1742× | distribute-lft-out |
| 1205× | associate-*r* |
| 1133× | associate-*l* |
| 1097× | associate-/l* |
| 931× | unpow-prod-down |
| 884× | associate-/r/ |
| 879× | prod-exp |
| 811× | flip-+ flip3-+ |
| 806× | cbrt-prod |
| 732× | add-log-exp |
| 697× | cube-prod |
| 577× | cbrt-unprod |
| 566× | div-exp |
| 478× | div-inv |
| 428× | associate-/r* |
| 410× | pow-prod-down |
| 400× | associate-*r/ |
| 387× | frac-times |
| 377× | cbrt-undiv |
| 307× | neg-mul-1 |
| 304× | sqrt-div |
| 299× | unswap-sqr |
| 292× | difference-of-squares |
| 265× | log-pow |
| 238× | associate-*l/ |
| 224× | distribute-lft-out-- |
| 214× | sqr-pow |
| 177× | pow-prod-up |
| 168× | cbrt-div |
| 152× | log-prod |
| 148× | pow1/3 |
| 143× | flip3-- flip-- |
| 142× | sqrt-pow1 |
| 139× | *-commutative |
| 126× | pow-exp |
| 119× | pow1/2 |
| 118× | unpow3 cube-mult |
| 117× | pow-unpow |
| 115× | pow-sqr swap-sqr |
| 108× | associate-/l/ |
| 91× | pow-to-exp |
| 88× | distribute-rgt-in pow-plus distribute-lft-in |
| 86× | clear-num frac-2neg |
| 79× | sub-neg |
| 77× | diff-log |
| 71× | sum-log |
| 68× | exp-neg |
| 66× | exp-prod |
| 63× | pow2 |
| 61× | exp-diff neg-sub0 |
| 54× | rem-sqrt-square frac-add |
| 53× | distribute-neg-frac |
| 49× | pow-pow 1-exp rec-exp |
| 41× | +-commutative |
| 31× | associate-+r+ associate--l+ |
| 29× | associate-+l+ |
| 28× | cube-div |
| 27× | pow-flip |
| 21× | inv-pow div-sub |
| 20× | difference-of-sqr--1 |
| 16× | un-div-inv frac-sub |
| 15× | distribute-rgt-out |
| 13× | associate--l- |
| 11× | rem-log-exp |
| 10× | rem-cube-cbrt |
| 9× | rem-exp-log |
| 8× | sin-sum associate--r+ |
| 7× | log-div |
| 6× | pow-div unpow2 |
| 5× | sqrt-pow2 distribute-rgt1-in distribute-neg-in neg-log exp-sum associate-+l- |
| 4× | pow3 sub-div log-rec |
| 3× | sqrt-unprod distribute-frac-neg sin-mult sum-cubes rem-cbrt-cube |
| 2× | unpow1/3 distribute-rgt-out-- rem-square-sqrt distribute-rgt-neg-out |
| 1× | cos-sum distribute-neg-out sqrt-undiv difference-cubes associate-+r- distribute-lft-neg-out sqr-sin unpow-prod-up pow-sub unsub-neg associate--r- exp-to-pow |
462 calls:
| 34.2s | (- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (* 1.0 (+ (pow 1.421413741 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 3))) (* (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 1.421413741)) (* 1.421413741 1.421413741)) (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (- (* (fabs x) (fabs x))))) 3)) |
| 7.6s | (* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (* 1.0 (+ (pow 1.421413741 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 3))) (* (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 1.421413741)) (* 1.421413741 1.421413741)) (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (- (* (fabs x) (fabs x))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (* 1.0 (+ (pow 1.421413741 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 3))) (* (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 1.421413741)) (* 1.421413741 1.421413741)) (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (- (* (fabs x) (fabs x))))) 1.0)) |
| 3.8s | (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (* 1.0 (+ (pow 1.421413741 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 3))) (* (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 1.421413741)) (* 1.421413741 1.421413741)) (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (- (* (fabs x) (fabs x))))) 3) |
| 3.5s | (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (* 1.0 (+ (pow 1.421413741 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 3))) (* (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 1.421413741)) (* 1.421413741 1.421413741)) (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (- (* (fabs x) (fabs x)))))) |
| 2.9s | (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (* 1.0 (+ (pow 1.421413741 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 3))) (* (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 1.421413741)) (* 1.421413741 1.421413741)) (+ 1.0 (* 0.3275911 (fabs x)))))))) |
| 97× | intervals |
| 17.2s | 433899× | body | 80 | valid |
| 6.8s | 15977× | body | 1280 | valid |
| 3.0s | 12573× | body | 640 | valid |
| 2.9s | 41017× | body | 80 | overflowed |
| 2.5s | 69657× | body | 80 | nan |
| 977.0ms | 6622× | body | 320 | valid |
| 665.0ms | 49536× | pre | 80 | true |
| 365.0ms | 3855× | body | 160 | valid |
| 275.0ms | 1385× | body | 2560 | valid |
| 146.0ms | 611× | body | 5120 | valid |
| 250× | egg-herbie |
Total 97.8b remaining (39.5%)
Threshold costs 3.8b (1.5%)
| 10.4b | 56.9% | math.log/2 on complex, real part |
| 10.1b | 58.1% | math.log10 on complex, real part |
| 9.9b | 58.7% | math.log/1 on complex, real part |
| 9.7b | 40.1% | Octave 3.8, jcobi/4 |
| 9.1b | 61% | math.abs on complex |