| Date: | Saturday, May 9th, 2020 |
|---|---|
| Commit: | 05e10696 on master |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020130 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 78× | intervals |
| 35.6s | 43497× | body | 1280 | valid |
| 12.3s | 30646× | body | 640 | valid |
| 11.8s | 1747× | body | 5120 | exit |
| 8.6s | 203560× | body | 80 | valid |
| 6.6s | 153214× | body | 80 | nan |
| 5.4s | 27794× | body | 320 | valid |
| 4.6s | 181053× | pre | 80 | true |
| 4.3s | 36600× | body | 80 | overflowed |
| 3.9s | 36189× | body | 160 | valid |
| 954.0ms | 3015× | body | 2560 | valid |
| 572.0ms | 3133× | body | 2560 | nan |
| 400.0ms | 2634× | body | 1280 | nan |
| 361.0ms | 16372× | pre | 80 | false |
| 165.0ms | 1351× | body | 640 | nan |
| 135.0ms | 238× | body | 5120 | valid |
| 65.0ms | 674× | body | 320 | nan |
| 22.0ms | 342× | body | 160 | nan |
| 2.0ms | 1× | body | 1280 | overflowed |
| 1.0ms | 1× | body | 640 | overflowed |
| 1.0ms | 1× | body | 160 | overflowed |
501 calls:
| 955.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))) |
| 629.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))) |
| 589.0ms | (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (* (fabs (cbrt (- (* b b) (* (* 3.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 3.0 a) c))))))) |
| 553.0ms | (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))) |
| 549.0ms | (log (exp (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))))) |
| 223× | egg-herbie |
Total 18.6b remaining (17%)
Threshold costs 7.2b (6.6%)
| 3.4b | 75% | Equirectangular approximation to distance on a great circle |
| 3.1b | 88.3% | Cubic critical |
| 2.6b | 77% | Quotient of products |
| 1.2b | 95.1% | Quadratic roots, full range |
| 1.1b | 0% | 2-ancestry mixing, zero discriminant |
| 145× | rewrite-expression-head |
501 calls:
| 115.0ms | (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))) |
| 113.0ms | (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))) |
| 83.0ms | (- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3))) |
| 64.0ms | (- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0) |
| 54.0ms | (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) |
| 8823× | times-frac |
| 7613× | add-sqr-sqrt |
| 6990× | *-un-lft-identity |
| 4165× | add-cube-cbrt |
| 2741× | add-exp-log |
| 1782× | add-cbrt-cube |
| 1510× | associate-*r* |
| 1461× | difference-of-squares |
| 1363× | sqrt-prod |
| 1132× | distribute-lft-out-- |
| 1076× | pow1 |
| 1038× | flip-- |
| 1037× | flip3-- |
| 989× | associate-*l/ |
| 934× | distribute-rgt-neg-in |
| 919× | prod-exp |
| 892× | associate-/l* |
| 814× | add-log-exp |
| 797× | div-exp |
| 710× | unpow-prod-down |
| 679× | frac-times |
| 540× | cube-prod |
| 536× | sqrt-div |
| 523× | distribute-lft-neg-in |
| 485× | associate-/r* |
| 483× | neg-mul-1 |
| 474× | associate-*l* |
| 441× | frac-add |
| 437× | cbrt-unprod |
| 399× | associate-*r/ |
| 387× | cbrt-undiv |
| 356× | div-inv |
| 351× | pow-exp |
| 334× | cbrt-prod |
| 287× | distribute-lft-out |
| 274× | associate-/r/ |
| 256× | pow-to-exp |
| 237× | cbrt-div |
| 236× | pow-prod-down |
| 227× | sqr-pow |
| 211× | log-prod |
| 198× | unswap-sqr |
| 195× | flip-+ |
| 194× | flip3-+ |
| 129× | associate-/l/ |
| 123× | sub-neg |
| 118× | clear-num frac-2neg |
| 116× | diff-log |
| 115× | *-commutative |
| 113× | log-div |
| 112× | swap-sqr |
| 90× | log-pow |
| 73× | exp-diff |
| 68× | exp-prod |
| 60× | div-sub |
| 58× | pow1/3 |
| 53× | sum-log |
| 50× | unpow3 cube-mult |
| 42× | pow1/2 sqrt-pow1 |
| 39× | pow-unpow |
| 38× | associate-+r+ |
| 37× | distribute-rgt-in distribute-lft-in unpow2 |
| 34× | tan-quot |
| 33× | 1-exp rem-log-exp |
| 32× | neg-sub0 associate-+l- |
| 31× | +-commutative |
| 29× | rem-sqrt-square |
| 26× | sin-mult |
| 25× | frac-sub |
| 23× | pow-prod-up |
| 22× | rec-exp |
| 21× | pow-pow pow-sqr exp-sum |
| 19× | sin-diff |
| 17× | neg-log |
| 16× | cos-diff |
| 15× | pow2 pow-plus associate--l+ |
| 14× | distribute-frac-neg |
| 13× | sin-cos-mult associate--l- |
| 12× | associate-+l+ rem-exp-log acos-asin |
| 11× | cube-div rem-cube-cbrt distribute-rgt-out |
| 10× | cos-mult associate--r+ |
| 9× | cos-sum |
| 8× | difference-cubes associate--r- |
| 7× | acos-neg sin-sum |
| 6× | associate-+r- |
| 5× | un-div-inv distribute-rgt-out-- asin-acos exp-to-pow |
| 4× | inv-pow pow-flip tanh-def log-rec |
| 3× | mul-1-neg |
| 2× | distribute-lft1-in sqrt-unprod distribute-rgt-neg-out |
| 1× | rem-cbrt-cube sqr-sin unsub-neg rem-square-sqrt sub-div tanh-undef sqr-cos sum-cubes |
Loading profile data...