| Date: | Wednesday, June 3rd, 2020 |
|---|---|
| Commit: | 5a2a3d8c on ival-find-range |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020155 |
| 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 |
| 51× | intervals |
| 780.0ms | 8256× | body | 80 | valid |
| 194.0ms | 8256× | pre | 80 | true |
16 calls:
| 107.0ms | (/ 6.0 (pow (* -2.0 (log u1)) 0.5)) |
| 103.0ms | (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) |
| 92.0ms | (/ 1 (/ 6.0 (pow (* -2.0 (log u1)) 0.5))) |
| 92.0ms | (/ (pow (* -2.0 (log u1)) 0.5) 6.0) |
| 91.0ms | (/ (pow (* -2.0 (log u1)) 0.5) 6.0) |
Total 0.3b remaining (90%)
Threshold costs 0.3b (90%)
| 0.3b | 0% | normal distribution |
| 6× | egg-herbie |
| 4× | rewrite-expression-head |
16 calls:
| 10.0ms | (exp (log (+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))) |
| 9.0ms | (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) |
| 8.0ms | (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) |
| 8.0ms | (+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5) |
| 8.0ms | (/ 1 (/ 6.0 (pow (* -2.0 (log u1)) 0.5))) |
| 173× | times-frac |
| 128× | add-sqr-sqrt |
| 122× | add-exp-log |
| 120× | *-un-lft-identity add-cube-cbrt |
| 52× | add-cbrt-cube |
| 48× | pow1 |
| 38× | div-exp |
| 31× | prod-exp |
| 30× | associate-/r* sqr-pow |
| 28× | unpow-prod-down |
| 22× | pow-exp |
| 20× | add-log-exp |
| 17× | associate-*l* associate-*r* |
| 16× | associate-/l* |
| 15× | pow-prod-down |
| 14× | cbrt-unprod |
| 11× | pow-to-exp |
| 9× | pow-unpow div-inv |
| 7× | cbrt-undiv |
| 6× | log-prod pow-pow |
| 5× | 1-exp rec-exp *-commutative |
| 4× | log-div clear-num flip-+ flip3-+ exp-prod frac-2neg unswap-sqr |
| 3× | exp-sum |
| 2× | +-commutative sum-log log-pow exp-diff |
| 1× | rem-log-exp inv-pow associate-*l/ associate-/r/ pow-flip rem-exp-log |
Loading profile data...