| Date: | Friday, June 12th, 2020 |
|---|---|
| Commit: | 9c248b13 on ival-find-range |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020164 |
| 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 |
| 22× | intervals |
| 5.0s | 10653× | body | 1280 | valid |
| 2.6s | 69575× | body | 80 | valid |
| 1.9s | 6624× | body | 640 | valid |
| 856.0ms | 24768× | pre | 80 | true |
| 585.0ms | 2721× | body | 320 | valid |
| 188.0ms | 1243× | body | 160 | valid |
| 121.0ms | 1362× | body | 80 | invalid |
| 81.0ms | 249× | body | 640 | invalid |
| 51.0ms | 113× | body | 1280 | invalid |
| 45.0ms | 193× | body | 320 | invalid |
| 21.0ms | 133× | body | 160 | invalid |
Space saved by range analysis: 30.413973%
Space saved by search: 31.664663%
Guaranteed chance to sample good point: 76.741156%
| 60× | egg-herbie |
110 calls:
| 146.0ms | (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))) |
| 125.0ms | (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))) |
| 123.0ms | (- (+ x (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (tan a)) |
| 116.0ms | (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) |
| 107.0ms | (pow (exp 1/2) (log (* 2.0 (pow x 2.0)))) |
| 38× | rewrite-expression-head |
110 calls:
| 22.0ms | (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0)))) (* (cbrt (cbrt (sqrt 2.0))) x))) |
| 15.0ms | (* (sqrt (sqrt (* 2.0 (pow x 2.0)))) (sqrt (sqrt (* 2.0 (pow x 2.0))))) |
| 15.0ms | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))) |
| 14.0ms | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x))) |
| 14.0ms | (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))) |
| 1029× | add-exp-log |
| 653× | prod-exp |
| 643× | add-sqr-sqrt |
| 549× | *-un-lft-identity |
| 471× | add-cube-cbrt |
| 394× | add-cbrt-cube |
| 324× | pow1 |
| 316× | times-frac |
| 210× | associate-*l* associate-*r* |
| 174× | cbrt-unprod |
| 147× | add-log-exp |
| 140× | pow-to-exp pow-exp |
| 119× | cbrt-prod |
| 116× | sqrt-prod |
| 114× | unpow-prod-down |
| 109× | pow-prod-down |
| 92× | div-exp |
| 67× | unswap-sqr |
| 62× | associate-/l* |
| 58× | associate-/r* |
| 51× | sqrt-pow1 |
| 50× | *-commutative |
| 41× | associate-/r/ |
| 39× | cbrt-undiv |
| 37× | tan-quot |
| 34× | sin-mult sqr-pow |
| 31× | frac-sub |
| 30× | flip-- associate-*l/ cos-mult div-inv flip3-- distribute-lft-out |
| 29× | pow1/2 |
| 21× | associate-/l/ |
| 20× | distribute-rgt-out |
| 18× | clear-num frac-2neg distribute-lft-out-- |
| 16× | difference-of-squares |
| 14× | flip-+ flip3-+ sub-div |
| 12× | diff-log swap-sqr |
| 11× | associate-*r/ sub-neg pow1/3 |
| 10× | log-prod pow-prod-up |
| 9× | exp-prod |
| 8× | sum-log log-pow |
| 7× | frac-add pow-unpow |
| 6× | rem-sqrt-square pow-sqr pow-pow |
| 5× | rem-log-exp +-commutative |
| 4× | exp-sum associate-+r+ distribute-lft1-in count-2 sqrt-div frac-times distribute-rgt1-in |
| 3× | 1-exp div-sub rec-exp |
| 2× | pow2 tan-sum cos-sum associate-+r- pow-plus un-div-inv |
| 1× | unpow-prod-up rem-square-sqrt sqrt-unprod inv-pow associate--l+ pow-flip rem-exp-log |
Loading profile data...