| 163× | rewrite-expression-head |
512 calls:
| 4.0m | (* (/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z))))) (* (/ PI (sin (* PI z))) (+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))))) |
| 1.2m | (* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))) |
| 47.8s | (* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))) |
| 42.9s | (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))) |
| 35.6s | (* (* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt (sqrt PI))) (sqrt (sqrt PI))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))) |
| 9447× | times-frac |
| 9273× | *-un-lft-identity |
| 7136× | add-sqr-sqrt |
| 5396× | add-cube-cbrt |
| 4910× | frac-add |
| 2907× | sqrt-prod |
| 2736× | add-exp-log |
| 2285× | add-cbrt-cube |
| 2037× | flip-+ flip3-+ |
| 2020× | distribute-lft-out |
| 1801× | associate-*l* |
| 1795× | pow1 |
| 1522× | associate-*r/ |
| 1494× | associate-*r* |
| 1317× | frac-times |
| 1074× | prod-exp |
| 797× | cbrt-unprod |
| 742× | add-log-exp |
| 699× | associate-/r/ |
| 672× | associate-/l* |
| 632× | associate-*l/ |
| 531× | div-exp |
| 521× | unpow-prod-down |
| 515× | flip3-- flip-- |
| 454× | pow-prod-down |
| 450× | difference-of-squares |
| 425× | cbrt-undiv |
| 408× | associate-/r* |
| 404× | div-inv |
| 377× | sqrt-div |
| 327× | unswap-sqr |
| 312× | sqrt-pow1 |
| 289× | cbrt-prod |
| 287× | distribute-lft-out-- |
| 233× | swap-sqr |
| 224× | log-pow |
| 214× | frac-sub |
| 184× | associate-/l/ |
| 183× | cbrt-div |
| 178× | pow1/2 |
| 169× | cube-prod |
| 164× | *-commutative |
| 155× | pow-exp |
| 144× | sqr-pow |
| 125× | distribute-rgt-in distribute-lft-in |
| 118× | pow-prod-up |
| 107× | pow1/3 |
| 98× | log-prod |
| 93× | pow-to-exp |
| 88× | pow-unpow |
| 87× | exp-prod |
| 84× | pow-sqr |
| 82× | rem-sqrt-square |
| 81× | frac-2neg clear-num |
| 78× | sum-log |
| 74× | sub-neg |
| 65× | exp-sum |
| 48× | diff-log |
| 45× | pow-plus +-commutative |
| 39× | pow-pow pow2 |
| 30× | 1-exp rec-exp |
| 25× | associate--l+ |
| 24× | unpow3 cube-mult |
| 21× | div-sub distribute-rgt-neg-in |
| 20× | cube-div unpow-prod-up |
| 18× | rem-cube-cbrt |
| 15× | exp-diff associate-+l+ associate--r+ |
| 13× | associate-+l- |
| 10× | log-div |
| 9× | unpow2 |
| 8× | un-div-inv associate-+r- associate-+r+ |
| 6× | rem-exp-log sin-sum |
| 5× | cos-sum sum-cubes |
| 4× | sqrt-unprod sub-div pow-sub rem-square-sqrt neg-sub0 sqrt-undiv |
| 3× | distribute-lft-neg-in rem-log-exp |
| 2× | sqrt-pow2 inv-pow exp-neg distribute-rgt-out-- unsub-neg pow-flip associate--r- rem-cbrt-cube |
| 1× | lft-mult-inverse neg-mul-1 cube-unmult associate--l- |
| 100× | intervals |
| 1.0m | 15801× | body | 10240 | exit |
| 48.2s | 441895× | body | 80 | valid |
| 32.7s | 30693× | body | 1280 | valid |
| 17.1s | 23350× | body | 640 | valid |
| 7.8s | 68545× | body | 80 | nan |
| 5.4s | 3035× | body | 1280 | nan |
| 5.2s | 12132× | body | 320 | valid |
| 3.0s | 10283× | body | 160 | valid |
| 2.8s | 2596× | body | 640 | nan |
| 1.8s | 49536× | pre | 80 | true |
| 885.0ms | 1451× | body | 2560 | valid |
| 860.0ms | 1262× | body | 320 | nan |
| 856.0ms | 578× | body | 5120 | valid |
| 305.0ms | 655× | body | 160 | nan |
512 calls:
| 20.8s | (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 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)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592))))) (exp (- (* (fabs x) (fabs x)))))) |
| 3.7s | (* (/ (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (sqrt (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (sqrt (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))) |
| 3.2s | (* (/ (/ (* 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.1s | (/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 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)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592)))) |
| 1.8s | (- (pow (* d1 (+ d4 (- d2 d3))) 3) (pow d1 6)) |
Total 95.6b remaining (34%)
Threshold costs 4.1b (1.5%)
| 17.2b | 44.9% | math.log/2 on complex, real part |
| 10.3b | 58% | math.log10 on complex, real part |
| 10.2b | 58.4% | math.log/1 on complex, real part |
| 10.1b | 57.5% | math.abs on complex |
| 9.2b | 56.8% | math.sqrt on complex, real part |