| Date: | Tuesday, June 30th, 2020 |
|---|---|
| Commit: | 8ccfdff1 on old-regraph |
| Hostname: | debbie with Racket 7.7 |
| Seed: | 2020182 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 56× | intervals |
| 24.9s | 69854× | body | 1280 | valid |
| 17.8s | 17485× | body | 2560 | valid |
| 9.2s | 43597× | body | 640 | valid |
| 3.6s | 88162× | body | 80 | valid |
| 3.0s | 21297× | body | 320 | valid |
| 2.0s | 51574× | body | 80 | nan |
| 1.1s | 1101× | body | 1280 | nan |
| 966.0ms | 10460× | body | 160 | valid |
| 813.0ms | 9795× | body | 80 | overflowed |
| 706.0ms | 47500× | pre | 80 | true |
| 599.0ms | 918× | body | 640 | nan |
| 299.0ms | 747× | body | 1280 | overflowed |
| 204.0ms | 522× | body | 5120 | valid |
| 185.0ms | 456× | body | 320 | nan |
| 107.0ms | 378× | body | 640 | overflowed |
| 94.0ms | 163× | body | 2560 | overflowed |
| 43.0ms | 193× | body | 320 | overflowed |
| 42.0ms | 193× | body | 160 | nan |
| 12.0ms | 90× | body | 160 | overflowed |
363 calls:
| 716.0ms | (* eps (/ (- (pow (exp (+ a b)) eps) 1.0) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))) |
| 711.0ms | (/ (* eps (- (pow (exp (+ a b)) eps) 1.0)) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))) |
| 159.0ms | (/ (- (pow (exp a) eps) 1.0) (* 1 (/ (- (pow (exp (+ a b)) eps) 1.0) (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))) |
| 113.0ms | (- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x)) |
| 67.0ms | (/ (- 0 (* 4.0 (* a c))) (+ b (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 166× | egg-herbie |
Total 19.1b remaining (22.9%)
Threshold costs 5.5b (6.5%)
| 7.4b | 55.4% | expq3 (problem 3.4.2) |
| 1.5b | 86% | 2nthrt (problem 3.4.6) |
| 1.3b | 94.6% | quad2p (problem 3.2.1, positive) |
| 1.2b | 95.1% | quadm (p42, negative) |
| 1.2b | 95.2% | quadp (p42, positive) |
| 110× | rewrite-expression-head |
363 calls:
| 79.0ms | (/ (- (* (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x)) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (/ 1.0 (+ 1.0 x)) (+ (/ 2.0 x) (/ 1.0 (- x 1.0))))) |
| 44.0ms | (- (* (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x)) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) |
| 41.0ms | (* (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x)) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))) |
| 36.0ms | (sqrt (/ (- (pow (exp x) 2.0) 1.0) (/ (- (pow (exp x) 2) (* 1.0 1.0)) (+ (exp x) 1.0)))) |
| 36.0ms | (+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))) |
| 3539× | *-un-lft-identity |
| 3358× | add-sqr-sqrt |
| 2660× | times-frac |
| 1902× | add-cube-cbrt |
| 1131× | add-exp-log |
| 982× | add-cbrt-cube |
| 857× | sqrt-prod |
| 727× | pow1 |
| 701× | difference-of-squares |
| 627× | add-log-exp |
| 474× | associate-*r* |
| 435× | distribute-lft-out-- |
| 384× | distribute-lft-out |
| 317× | associate-*l* |
| 313× | associate-/r* |
| 307× | log-prod |
| 279× | associate-/l* |
| 269× | prod-exp |
| 229× | flip-- flip3-- |
| 221× | cbrt-unprod |
| 210× | div-exp |
| 209× | unpow-prod-down |
| 201× | cbrt-prod |
| 195× | associate-*r/ |
| 188× | flip-+ flip3-+ |
| 182× | associate-/r/ |
| 171× | frac-sub |
| 168× | cbrt-undiv |
| 154× | exp-prod |
| 153× | frac-times |
| 132× | sqrt-div pow-prod-down div-inv |
| 129× | sqr-pow |
| 124× | unswap-sqr |
| 115× | log-pow |
| 106× | associate-*l/ |
| 99× | associate-/l/ |
| 91× | sub-neg diff-log |
| 87× | distribute-rgt-neg-in |
| 83× | sqrt-pow1 |
| 74× | cbrt-div |
| 69× | clear-num swap-sqr frac-2neg |
| 65× | pow1/3 |
| 64× | *-commutative |
| 63× | pow1/2 |
| 54× | distribute-lft-neg-in |
| 49× | pow-pow |
| 47× | sum-log |
| 41× | distribute-rgt-in log-div distribute-lft-in |
| 39× | pow-unpow |
| 34× | exp-sum rem-sqrt-square div-sub cube-prod unpow2 |
| 32× | rem-log-exp |
| 27× | +-commutative |
| 23× | pow-to-exp pow-exp pow-prod-up |
| 19× | frac-add 1-exp |
| 18× | neg-mul-1 |
| 17× | associate--l+ rec-exp pow-sqr |
| 15× | distribute-frac-neg |
| 13× | associate-+r+ exp-diff |
| 11× | neg-sub0 distribute-rgt-out tan-quot |
| 8× | neg-log cube-mult pow-flip associate--r+ |
| 7× | associate--l- pow2 pow-plus distribute-rgt-neg-out associate-+l- unpow3 |
| 6× | inv-pow |
| 5× | sqrt-unprod |
| 4× | rem-exp-log sub0-neg |
| 2× | cube-div exp-neg associate-+l+ tan-sum cos-sum associate-+r- rem-square-sqrt sin-sum un-div-inv rem-cube-cbrt |
| 1× | distribute-lft-neg-out diff-cos sin-cos-mult associate--r- diff-sin diff-atan sum-cubes sin-mult |
Loading profile data...