| Date: | Wednesday, June 17th, 2020 |
|---|---|
| Commit: | fb53a5c5 on ival-find-range |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020169 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 46× | intervals |
| 18.6s | 49757× | body | 1280 | valid |
| 12.2s | 9332× | body | 2560 | valid |
| 6.4s | 32059× | body | 640 | valid |
| 2.0s | 15967× | body | 320 | valid |
| 1.2s | 36278× | body | 80 | valid |
| 656.0ms | 42932× | pre | 80 | true |
| 639.0ms | 7759× | body | 160 | valid |
| 294.0ms | 697× | body | 1280 | overflowed |
| 116.0ms | 172× | body | 2560 | overflowed |
| 106.0ms | 384× | body | 640 | overflowed |
| 47.0ms | 40× | body | 1280 | nan |
| 39.0ms | 201× | body | 320 | overflowed |
| 24.0ms | 33× | body | 640 | nan |
| 23.0ms | 195× | body | 80 | overflowed |
| 12.0ms | 90× | body | 160 | overflowed |
| 11.0ms | 16× | body | 5120 | valid |
| 9.0ms | 13× | body | 640 | invalid |
| 5.0ms | 12× | body | 320 | nan |
| 5.0ms | 109× | body | 80 | invalid |
| 3.0ms | 3× | body | 1280 | invalid |
| 3.0ms | 62× | body | 80 | nan |
| 2.0ms | 6× | body | 320 | invalid |
| 1.0ms | 4× | body | 160 | nan |
| 0.0ms | 1× | body | 160 | invalid |
| 46× | search |
Space saved by range analysis: 10.782473%
Space saved by search: 27.535281%
Guaranteed chance to sample good point: 76.065384%
| 153× | egg-herbie |
343 calls:
| 624.0ms | (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))) |
| 324.0ms | (- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x)) |
| 126.0ms | (- (* (* (+ (tan x) (tan eps)) (+ 1 (* (tan x) (tan eps)))) (cos x)) (* (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps)))) (sin x))) |
| 101.0ms | (- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x)) |
| 97.0ms | (pow E (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) |
Total 8.0b remaining (77.3%)
Threshold costs 4.4b (42.3%)
| 2.6b | 0% | expq3 (problem 3.4.2) |
| 1.0b | 0% | expq2 (section 3.11) |
| 0.6b | 97.1% | expax (section 3.5) |
| 0.5b | 98.2% | tanhf (example 3.4) |
| 0.5b | 0% | exp2 (problem 3.3.7) |
| 107× | rewrite-expression-head |
343 calls:
| 119.0ms | (* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0))))) |
| 62.0ms | (/ (/ 1 (/ (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a) |
| 34.0ms | (* -2/3 (/ (pow eps 3) (pow 1.0 3))) |
| 34.0ms | (/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) |
| 34.0ms | (- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))) |
| 10485× | times-frac |
| 8607× | *-un-lft-identity |
| 7569× | add-sqr-sqrt |
| 4923× | add-cube-cbrt |
| 1477× | sqrt-prod |
| 1301× | add-exp-log |
| 1055× | difference-of-squares |
| 1002× | cbrt-prod |
| 952× | add-cbrt-cube |
| 944× | distribute-lft-out |
| 943× | distribute-lft-out-- |
| 865× | associate-*r* |
| 804× | associate-/l* |
| 737× | pow1 |
| 626× | add-log-exp |
| 552× | unpow-prod-down |
| 387× | associate-*l* |
| 352× | associate-/r* |
| 324× | prod-exp |
| 321× | div-exp |
| 309× | div-inv |
| 304× | associate-/r/ |
| 291× | flip-- flip3-- |
| 271× | unswap-sqr |
| 249× | associate-*l/ |
| 248× | sqr-pow |
| 211× | log-prod |
| 192× | cbrt-undiv |
| 186× | flip-+ flip3-+ |
| 185× | swap-sqr |
| 184× | cbrt-unprod |
| 168× | distribute-rgt-neg-in |
| 148× | cube-prod |
| 141× | tan-quot |
| 137× | frac-times |
| 129× | pow-prod-down |
| 127× | associate-*r/ |
| 121× | unpow2 |
| 117× | log-pow |
| 111× | sub-neg |
| 108× | diff-log |
| 94× | associate-/l/ |
| 89× | sqrt-div |
| 85× | cbrt-div |
| 77× | pow-exp |
| 76× | pow-to-exp |
| 72× | clear-num frac-2neg |
| 71× | *-commutative |
| 70× | pow1/3 |
| 59× | exp-prod |
| 55× | frac-add |
| 48× | sqrt-pow1 |
| 42× | log-div frac-sub sum-log |
| 38× | distribute-rgt-in distribute-lft-in |
| 35× | 1-exp rec-exp |
| 34× | pow1/2 |
| 33× | pow-prod-up |
| 31× | cube-mult unpow3 |
| 30× | associate--l+ |
| 28× | rem-sqrt-square |
| 27× | pow-sqr |
| 25× | +-commutative |
| 24× | div-sub |
| 23× | exp-sum |
| 18× | rem-log-exp associate--r+ |
| 17× | associate-+l+ pow-plus |
| 15× | associate--l- unpow-prod-up |
| 14× | associate-+r+ |
| 13× | neg-sub0 |
| 10× | pow2 |
| 9× | neg-log pow-flip |
| 8× | inv-pow associate-+l- exp-diff |
| 7× | pow-unpow sin-mult |
| 5× | cos-mult |
| 4× | cube-div associate-+r- mul-1-neg sin-cos-mult associate--r- un-div-inv rem-exp-log |
| 3× | sqrt-unprod sub-div unsub-neg |
| 2× | exp-neg tan-sum cos-sum exp-to-pow sin-sum distribute-rgt-neg-out pow-pow pow-sub difference-of-sqr-1 sub0-neg |
| 1× | difference-cubes e-exp-1 quot-tan diff-cos diff-sin log-rec diff-atan pow3 distribute-frac-neg rem-cbrt-cube distribute-rgt-out-- rem-cube-cbrt |
Loading profile data...