| Date: | Tuesday, January 22nd, 2019 |
|---|---|
| Commit: | 45d4082dea7f80b56c44622251112721670e87cb on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2019022 |
| Flags: | setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback +o rules:numerics |
| Test | Start | Result | Target | ∞ ↔ ℝ | Time | |
|---|---|---|---|---|---|---|
| powComplex, real part | 31.0 | 0.0 | 2.2m | » | ||
| powComplex, imaginary part | 31.7 | 0.2 | 3.7m | » | ||
| normal distribution | 0.4 | 0.5 | 19.9s | » | ||
| math.square on complex, real part | 0.0 | 0.0 | 1.9s | » | ||
| math.square on complex, imaginary part | 0.0 | 0.0 | 1.1s | » | ||
| math.sqrt on complex, imaginary part, im greater than 0 branch | 37.2 | 13.0 | 10.2s | » | ||
| math.sin on complex, real part | 0.0 | 0.0 | 18.0s | » | ||
| math.log10 on complex, real part | 31.2 | 0.6 | 18.2s | » | ||
| math.log10 on complex, imaginary part | 85.0ms | » | ||||
| math.log/2 on complex, real part | 30.9 | 0.4 | 1.4m | » | ||
| math.log/2 on complex, imaginary part | 167.0ms | » | ||||
| math.log/1 on complex, real part | 30.9 | 0 | 1.5s | » | ||
| math.log/1 on complex, imaginary part | 37.0ms | » | ||||
| math.exp on complex, real part | 0.0 | 0.0 | 12.4s | » | ||
| math.exp on complex, imaginary part | 0.0 | 0.0 | 7.6s | » | ||
| math.cos on complex, real part | 0.0 | 0.0 | 9.2s | » | ||
| math.arg on complex | 20.0ms | » | ||||
| math.abs on complex | 29.7 | 0.0 | 1.1s | » | ||
| _multiplyComplex, real part | 0.0 | 0.0 | 2.2s | » | ||
| _multiplyComplex, imaginary part | 0.0 | 0.0 | 1.8s | » | ||
| _divideComplex, real part | 26.1 | 12.5 | 19.9s | » | ||
| _divideComplex, imaginary part | 26.1 | 7.1 | 26.2s | » | ||
| Octave 3.8, oct_fill_randg | 0.1 | 0.1 | 42.5s | » | ||
| Octave 3.8, jcobi/4, as called | 45.3 | 0.0 | 7.3s | » | ||
| Octave 3.8, jcobi/4 | 52.5 | 38.9 | 2.0m | » | ||
| Octave 3.8, jcobi/3 | 3.5 | 1.1 | 3.7m | » | ||
| Octave 3.8, jcobi/2 | 23.8 | 12.6 | 40.0s | » | ||
| Octave 3.8, jcobi/1 | 16.0 | 5.8 | 51.8s | » | ||
| Jmat.Real.lambertw, estimator | 0.3 | 0.0 | 5.3s | » | ||
| Jmat.Real.gamma, branch z less than 0.5 | 1.8 | 0.6 | 3.1m | » | ||
| Jmat.Real.gamma, branch z greater than 0.5 | 10.0m | » | ||||
| Jmat.Real.erfi, branch x less than or equal to 0.5 | 0.2 | 0.1 | 32.5s | » | ||
| Jmat.Real.erfi, branch x greater than or equal to 5 | 19.0s | » | ||||
| Jmat.Real.erf | 13.9 | 13.9 | 1.3m | » | ||
| Jmat.Real.dawson | 28.4 | 0.0 | 2.5m | » | ||
| math.sqrt on complex, real part | 37.9 | 13.6 | 32.7 | 11.9s | » | |
| math.sin on complex, imaginary part | 58.0 | 0.8 | 0.2 | 43.1s | » | |
| math.cube on real | 0.1 | 0 | 0 | 1.1s | » | |
| math.cube on complex, real part | 7.2 | 0.2 | 0.2 | 43.1s | » | |
| math.cube on complex, imaginary part | 7.1 | 0.2 | 0.2 | 33.5s | » | |
| math.cos on complex, imaginary part | 43.4 | 0.8 | 0.3 | 42.8s | » | |
| Jmat.Real.lambertw, newton loop step | 13.2 | 2.1 | 12.7 | 18.5s | » | |
| FastMath test5 | 0.1 | 0 | 0 | 4.2s | » | |
| FastMath test3 | 0.1 | 0.0 | 0.1 | 13.3s | » | |
| FastMath test2 | 0.2 | 0.0 | 0.0 | 7.1s | » | |
| FastMath test1 | 0.3 | 0 | 0 | 691.0ms | » | |
| FastMath repmul | 0.1 | 0 | 0 | 1.1s | » | |
| FastMath dist4 | 0.0 | 0.0 | 0.0 | 14.9s | » | |
| FastMath dist3 | 0.0 | 0.0 | 0.0 | 12.3s | » | |
| FastMath dist | 0.0 | 0.0 | 0.0 | 8.8s | » |
10096 calls:
| 1.5s | (* (- x.re x.im) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) |
| 1.5s | (* (+ x.re x.im) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) |
| 1.3s | (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (- (* x.re x.im) (* x.im x.re))) |
| 1.2s | (* (* (- x.re x.im) (+ x.re x.im)) (- (* x.re x.im) (* x.im x.re))) |
| 1.2s | (* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i)))) |
| 90× | intervals |
| 6.3m | 98569× | body | 10240 | exit |
| 1.2m | 405449× | body | 80 | valid |
| 25.4s | 22897× | body | 1280 | valid |
| 14.1s | 17862× | body | 640 | valid |
| 11.4s | 70612× | body | 80 | nan |
| 6.9s | 1595× | body | 1280 | nan |
| 5.0s | 9271× | body | 320 | valid |
| 3.5s | 1275× | body | 640 | nan |
| 3.3s | 8889× | body | 160 | valid |
| 2.6s | 49536× | pre | 80 | true |
| 1.3s | 679× | body | 320 | nan |
| 993.0ms | 1385× | body | 2560 | valid |
| 587.0ms | 630× | body | 5120 | valid |
| 401.0ms | 339× | body | 160 | nan |
444 calls:
| 3.5s | (log (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (/ (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (- (* -0.284496736 -0.284496736) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) (/ -1 (fma 0.3275911 (fabs x) 1)) -0.284496736)))) (exp (- (* (fabs x) (fabs x))))))) |
| 2.9s | (exp (log (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (/ (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (- (* -0.284496736 -0.284496736) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) (/ -1 (fma 0.3275911 (fabs x) 1)) -0.284496736)))) (exp (- (* (fabs x) (fabs x)))))))) |
| 2.9s | (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (/ (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (- (* -0.284496736 -0.284496736) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) (/ -1 (fma 0.3275911 (fabs x) 1)) -0.284496736)))) (exp (- (* (fabs x) (fabs x)))))) |
| 2.9s | (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (/ (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (- (* -0.284496736 -0.284496736) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) (/ -1 (fma 0.3275911 (fabs x) 1)) -0.284496736)))) (exp (- (* (fabs x) (fabs x)))))) |
| 1.8s | (+ 0.254829592 (/ (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (- (* -0.284496736 -0.284496736) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) (/ -1 (fma 0.3275911 (fabs x) 1)) -0.284496736))) |
Total 28.7b remaining (22.9%)
| 10.0b | 28.9% | _divideComplex, real part |
| 5.4b | 32.1% | _divideComplex, imaginary part |
| 3.0b | 76.6% | Octave 3.8, jcobi/1 |
| 2.8b | 0% | Octave 3.8, jcobi/4 |
| 1.6b | 0% | Jmat.Real.lambertw, newton loop step |
| 142× | rewrite-expression-head |
444 calls:
| 515.0ms | (* (* (/ (pow (+ (+ 6 0.5) z) (+ (- z 1) 0.5)) (exp (+ 6 0.5))) (/ (sqrt (* PI 2)) (exp z))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ z 3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ 7 z)))))) |
| 503.0ms | (* (/ (* (pow (+ (+ 6 0.5) z) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 6 0.5) z))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ z 3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ 7 z)))))) |
| 477.0ms | (/ (+ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) 0.0008327945)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* (* x x) (* x x)) (* 2 0.0001789971)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)) (* (* (* x x) (* x x)) (* (* x x) 0.0694555761))))) (+ (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* 0.0072644182 (* x x)) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) 0.0001789971)))) |
| 393.0ms | (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ z 3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ 7 z))))) |
| 359.0ms | (* (/ (pow (+ (+ 6 0.5) z) (+ (- z 1) 0.5)) (exp (+ 6 0.5))) (* (/ (sqrt (* PI 2)) (exp z)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ z 3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ 7 z))))))) |
| 8008× | frac-add |
| 3303× | flip-+ |
| 3303× | flip3-+ |
| 3014× | *-un-lft-identity |
| 2445× | times-frac |
| 2226× | add-sqr-sqrt |
| 2195× | add-cube-cbrt |
| 1745× | frac-times |
| 1421× | associate-*r/ |
| 1173× | add-exp-log |
| 1157× | pow1 |
| 1017× | add-cbrt-cube |
| 700× | add-log-exp |
| 600× | associate-*l* |
| 574× | distribute-lft-out |
| 469× | cbrt-prod |
| 463× | associate-*r* |
| 445× | expm1-log1p-u |
| 444× | log1p-expm1-u |
| 426× | associate-*l/ |
| 348× | associate-/l* |
| 343× | associate-/r* |
| 311× | sqrt-prod |
| 302× | associate-/r/ |
| 300× | prod-exp |
| 296× | unpow-prod-down |
| 262× | pow-prod-down |
| 251× | prod-diff |
| 234× | cbrt-unprod |
| 232× | div-inv |
| 189× | div-exp |
| 175× | sqrt-div |
| 158× | sum-log |
| 142× | *-commutative |
| 141× | pow-prod-up |
| 136× | cube-prod |
| 128× | cbrt-undiv |
| 120× | fma-def |
| 110× | log-pow |
| 109× | flip3-- |
| 109× | flip-- |
| 102× | distribute-rgt-in |
| 102× | distribute-lft-in |
| 93× | cbrt-div |
| 93× | pow1/3 |
| 88× | associate-/l/ |
| 85× | unpow-prod-up |
| 78× | exp-sum |
| 78× | pow2 |
| 77× | pow-plus |
| 77× | pow1/2 |
| 75× | frac-2neg |
| 75× | clear-num |
| 66× | sub-neg |
| 60× | fma-udef |
| 57× | rec-exp |
| 53× | unpow3 |
| 53× | fma-neg |
| 53× | cube-mult |
| 47× | log-prod |
| 34× | pow-flip |
| 33× | +-commutative |
| 32× | pow-exp |
| 32× | inv-pow |
| 31× | pow-to-exp |
| 24× | frac-sub |
| 20× | diff-log |
| 16× | difference-of-squares |
| 16× | un-div-inv |
| 16× | hypot-udef |
| 15× | associate-+l+ |
| 13× | associate--l+ |
| 12× | rem-sqrt-square |
| 11× | associate-+r+ |
| 11× | associate--r+ |
| 11× | exp-prod |
| 11× | div-sub |
| 10× | distribute-lft-out-- |
| 9× | sin-sum |
| 9× | sqrt-unprod |
| 9× | pow-pow |
| 8× | associate-+l- |
| 7× | rem-square-sqrt |
| 5× | exp-diff |
| 5× | associate--r- |
| 5× | pow-sub |
| 5× | log-div |
| 4× | rem-cube-cbrt |
| 4× | pow3 |
| 4× | rem-log-exp |
| 3× | distribute-lft-neg-in |
| 3× | cube-unmult |
| 3× | distribute-rgt-neg-in |
| 3× | cube-div |
| 2× | expm1-log1p |
| 2× | expm1-udef |
| 2× | sqrt-undiv |
| 2× | log1p-def |
| 2× | rem-exp-log |
| 2× | cos-sum |
| 2× | rem-cbrt-cube |
| 1× | distribute-lft-neg-out |
| 1× | associate--l- |
| 1× | exp-neg |
| 1× | difference-cubes |
| 1× | sub0-neg |
| 1× | log1p-expm1 |
| 1× | neg-mul-1 |
| 1× | distribute-rgt-out |
| 1× | log1p-udef |