| Date: | Wednesday, January 16th, 2019 |
|---|---|
| Commit: | 4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2019016 |
| 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 | 30.7 | 0.0 | 2.4m | » | ||
| powComplex, imaginary part | 30.9 | 0.2 | 3.8m | » | ||
| normal distribution | 0.4 | 0.4 | 19.6s | » | ||
| math.square on complex, real part | 0.0 | 0.0 | 2.6s | » | ||
| math.square on complex, imaginary part | 0.0 | 0.0 | 1.3s | » | ||
| math.sqrt on complex, imaginary part, im greater than 0 branch | 37.4 | 13.1 | 10.0s | » | ||
| math.sin on complex, real part | 0.0 | 0.0 | 23.9s | » | ||
| math.log10 on complex, real part | 31.2 | 0.4 | 49.8s | » | ||
| math.log10 on complex, imaginary part | 1.2m | » | ||||
| math.log/2 on complex, real part | 31.3 | 0.4 | 46.0s | » | ||
| math.log/2 on complex, imaginary part | 1.7m | » | ||||
| math.log/1 on complex, real part | 30.9 | 0.0 | 1.6s | » | ||
| math.log/1 on complex, imaginary part | 21.9s | » | ||||
| math.exp on complex, real part | 0.0 | 0.0 | 3.8s | » | ||
| math.exp on complex, imaginary part | 0.0 | 0.0 | 12.4s | » | ||
| math.cos on complex, real part | 0.0 | 0.0 | 21.5s | » | ||
| math.arg on complex | 20.6s | » | ||||
| math.abs on complex | 29.7 | 0.0 | 1.2s | » | ||
| _multiplyComplex, real part | 0.0 | 0.0 | 2.5s | » | ||
| _multiplyComplex, imaginary part | 0.0 | 0.0 | 1.5s | » | ||
| _divideComplex, real part | 25.7 | 12.7 | 18.8s | » | ||
| _divideComplex, imaginary part | 25.7 | 12.7 | 30.6s | » | ||
| Octave 3.8, oct_fill_randg | 0.1 | 0.1 | 40.7s | » | ||
| Octave 3.8, jcobi/4, as called | 45.8 | 0.0 | 10.0s | » | ||
| Octave 3.8, jcobi/4 | 52.4 | 37.5 | 2.1m | » | ||
| Octave 3.8, jcobi/3 | 3.6 | 2.5 | 9.7m | » | ||
| Octave 3.8, jcobi/2 | 23.8 | 12.6 | 40.2s | » | ||
| Octave 3.8, jcobi/1 | 16.3 | 5.7 | 28.7s | » | ||
| Jmat.Real.lambertw, estimator | 0.3 | 0.0 | 7.3s | » | ||
| Jmat.Real.gamma, branch z less than 0.5 | 1.8 | 0.7 | 2.0m | » | ||
| 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.2 | 34.3s | » | ||
| Jmat.Real.erfi, branch x greater than or equal to 5 | 1.5 | 0.7 | 1.1m | » | ||
| Jmat.Real.erf | 13.7 | 10.5 | 2.6m | » | ||
| Jmat.Real.dawson | 29.0 | 0.0 | 5.7m | » | ||
| math.sqrt on complex, real part | 37.8 | 13.4 | 32.8 | 9.2s | » | |
| math.sin on complex, imaginary part | 58.0 | 0.8 | 0.2 | 38.5s | » | |
| math.cube on real | 0.1 | 0 | 0 | 1.1s | » | |
| math.cube on complex, real part | 6.7 | 0.2 | 0.2 | 34.6s | » | |
| math.cube on complex, imaginary part | 6.8 | 0.2 | 0.2 | 34.5s | » | |
| math.cos on complex, imaginary part | 43.8 | 0.8 | 0.3 | 34.9s | » | |
| Jmat.Real.lambertw, newton loop step | 13.3 | 2.0 | 12.7 | 17.9s | » | |
| FastMath test5 | 0.1 | 0 | 0 | 5.6s | » | |
| FastMath test3 | 0.1 | 0.1 | 0.1 | 3.3s | » | |
| FastMath test2 | 0.2 | 0.0 | 0.0 | 7.5s | » | |
| FastMath test1 | 0.3 | 0 | 0 | 983.0ms | » | |
| FastMath repmul | 0.1 | 0 | 0 | 1.7s | » | |
| FastMath dist4 | 0.0 | 0.0 | 0.0 | 17.2s | » | |
| FastMath dist3 | 0.0 | 0.0 | 0.0 | 13.4s | » | |
| FastMath dist | 0.0 | 0.0 | 0.0 | 2.1s | » |
12057 calls:
| 1.6s | (* (+ 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.4s | (* (+ (* (* 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.4s | (* (+ 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.4s | (* (- 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))))) |
| 91× | intervals |
| 750579× | (pre true 80) |
| 514731× | (body real 80) |
| 101086× | (body exit 10240) |
| 69604× | (body nan 80) |
| 22977× | (body real 1280) |
| 18017× | (body real 640) |
| 9433× | (body real 320) |
| 8790× | (body real 160) |
| 1630× | (body nan 1280) |
| 1421× | (body real 2560) |
| 1286× | (body nan 640) |
| 653× | (body nan 320) |
| 640× | (body real 5120) |
| 311× | (body nan 160) |
437 calls:
| 9.0s | (- (* 1 1) (* (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1)) (* (- 1 (* 0.3275911 (fabs x))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -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)))))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1)) (* (- 1 (* 0.3275911 (fabs x))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -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)))))))))) (exp (- (* (fabs x) (fabs x))))))) |
| 2.5s | (- 1 (* (* (/ 1 (fma (* (* 0.3275911 0.3275911) (fabs x)) (- (fabs x)) 1)) (* (- 1 (* 0.3275911 (fabs x))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -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)))))))))) (exp (- (* (fabs x) (fabs x)))))) |
| 1.3s | (* (pow (* -2 (log u1)) 0.5) 1/6) |
| 997.0ms | (* (pow (* -2 (log u1)) 0.5) 1/6) |
| 989.0ms | (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -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))))))))) (exp (- (* (fabs x) (fabs x)))))) |
| 145× | rewrite-expression-head |
437 calls:
| 2.2s | (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) |
| 2.2s | (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) |
| 2.2s | (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) |
| 2.1s | (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) |
| 2.1s | (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) |
| 7355× | frac-add |
| 5941× | times-frac |
| 4714× | *-un-lft-identity |
| 3572× | add-sqr-sqrt |
| 3539× | add-cube-cbrt |
| 3094× | flip-+ |
| 3094× | flip3-+ |
| 1963× | frac-times |
| 1683× | associate-*r/ |
| 1396× | add-exp-log |
| 1045× | pow1 |
| 1024× | add-cbrt-cube |
| 705× | distribute-lft-out |
| 646× | sqrt-prod |
| 614× | cbrt-prod |
| 570× | associate-/r/ |
| 540× | add-log-exp |
| 514× | associate-*l* |
| 492× | associate-*r* |
| 477× | associate-*l/ |
| 454× | prod-exp |
| 437× | expm1-log1p-u |
| 437× | log1p-expm1-u |
| 434× | associate-/l* |
| 372× | div-inv |
| 371× | associate-/r* |
| 247× | pow-prod-down |
| 243× | cbrt-unprod |
| 215× | flip3-- |
| 215× | flip-- |
| 193× | div-exp |
| 147× | cbrt-div |
| 147× | prod-diff |
| 140× | cbrt-undiv |
| 134× | *-commutative |
| 132× | un-div-inv |
| 120× | pow-prod-up |
| 120× | unpow-prod-down |
| 119× | rec-exp |
| 115× | distribute-rgt-in |
| 115× | distribute-lft-in |
| 99× | fma-def |
| 86× | frac-2neg |
| 86× | clear-num |
| 86× | associate-/l/ |
| 80× | fma-udef |
| 75× | pow1/3 |
| 74× | pow-plus |
| 72× | exp-sum |
| 71× | sub-neg |
| 54× | fma-neg |
| 51× | pow-flip |
| 49× | inv-pow |
| 49× | log-pow |
| 40× | log-prod |
| 38× | sqrt-div |
| 38× | pow2 |
| 37× | pow-to-exp |
| 36× | unpow-prod-up |
| 36× | sum-log |
| 36× | pow1/2 |
| 33× | pow-exp |
| 30× | frac-sub |
| 30× | +-commutative |
| 24× | distribute-lft-neg-in |
| 24× | distribute-rgt-neg-in |
| 21× | diff-log |
| 16× | difference-of-squares |
| 15× | exp-prod |
| 13× | associate-+l+ |
| 13× | distribute-lft-out-- |
| 9× | exp-diff |
| 9× | sin-sum |
| 9× | neg-mul-1 |
| 9× | hypot-udef |
| 9× | log-div |
| 8× | rem-log-exp |
| 8× | associate-+r+ |
| 8× | div-sub |
| 8× | rem-sqrt-square |
| 6× | associate--l+ |
| 6× | pow3 |
| 6× | pow-pow |
| 6× | associate-+l- |
| 6× | pow-sub |
| 5× | associate--r+ |
| 4× | cube-unmult |
| 4× | rem-exp-log |
| 4× | exp-neg |
| 3× | distribute-lft-neg-out |
| 3× | pow-unpow |
| 3× | cos-sum |
| 2× | neg-sub0 |
| 2× | associate-+r- |
| 2× | sub0-neg |
| 2× | unpow2 |
| 2× | hypot-def |
| 2× | associate--r- |
| 1× | expm1-log1p |
| 1× | expm1-udef |
| 1× | associate--l- |
| 1× | distribute-rgt-neg-out |
| 1× | log1p-expm1 |
| 1× | sum-cubes |
| 1× | rem-cbrt-cube |
| 1× | unsub-neg |
| 1× | log1p-udef |
Total 32.9b remaining (25.8%)
| 10.5b | 24.3% | _divideComplex, imaginary part |
| 10.2b | 27.9% | _divideComplex, real part |
| 2.9b | 77.6% | Octave 3.8, jcobi/1 |
| 1.6b | 43.1% | Octave 3.8, jcobi/4 |
| 1.5b | 18.1% | Jmat.Real.lambertw, newton loop step |