| Date: | Wednesday, March 9th, 2022 |
|---|---|
| Commit: | 31c460f2 on inf-ordinary |
| Hostname: | warfa with Racket 8.1 |
| Seed: | 2022068 |
| Parameters: | 256 points for 4 iterations |
| Flags: | precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify default |
Time bar (total: 9.4min)
| 44.7s | 186845× | body | 128 | valid |
| 43.5s | 31732× | body | 1024 | valid |
| 18.4s | 7971× | body | 8192 | exit |
| 13.6s | 47051× | body | 128 | invalid |
| 13.3s | 11019× | body | 2048 | valid |
| 13.0s | 15229× | body | 512 | valid |
| 9.2s | 2888× | body | 4096 | valid |
| 7.7s | 5886× | body | 1024 | invalid |
| 4.3s | 7422× | body | 256 | valid |
| 2.7s | 3110× | body | 512 | invalid |
| 1.4s | 801× | body | 8192 | valid |
| 919.0ms | 1599× | body | 256 | invalid |
| 5.0ms | 3× | body | 2048 | invalid |
Compiled 2496 to 1776 computations (28.8% saved)
Compiled 1096786 to 769074 computations (29.9% saved)
Compiled 1638054 to 909806 computations (44.5% saved)
345 calls:
| 7.1s | (*.f64 (cbrt.f64 (cos.f64 (-.f64 (*.f64 (/.f64 K (sqrt.f64 2)) (/.f64 (+.f64 m n) (sqrt.f64 2))) M))) (cbrt.f64 (cos.f64 (-.f64 (*.f64 (/.f64 K (sqrt.f64 2)) (/.f64 (+.f64 m n) (sqrt.f64 2))) M)))) |
| 5.8s | (cbrt.f64 (cos.f64 (-.f64 (*.f64 (/.f64 K (sqrt.f64 2)) (/.f64 (+.f64 m n) (sqrt.f64 2))) M))) |
| 2.9s | (sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))))))) |
| 2.9s | (sqrt.f64 (*.f64 (*.f64 U (*.f64 2 n)) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))) |
| 2.8s | (/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (*.f64 t t) (*.f64 l l))) (*.f64 l l)))) |
| 31× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 98.2% | 1.8% | 0 |
| 22.6% | 75.6% | 1.8% | 1 |
| 23.3% | 73.2% | 3.4% | 2 |
| 28.2% | 65.2% | 6.6% | 3 |
| 31.2% | 60.6% | 8.3% | 4 |
| 33.2% | 58.5% | 8.3% | 5 |
| 37% | 54.5% | 8.5% | 6 |
| 41.4% | 49.2% | 9.4% | 7 |
| 42.9% | 46% | 11.1% | 8 |
| 45.2% | 42.9% | 11.9% | 9 |
| 46.2% | 41.5% | 12.3% | 10 |
| 47.3% | 39.7% | 13% | 11 |
| 48.3% | 37.9% | 13.8% | 12 |
| 49.9% | 33.5% | 16.6% | 13 |
| 50.3% | 32.7% | 17% | 14 |
Compiled 845 to 604 computations (28.5% saved)
| 179× | egg-herbie |
| 57790× | fma-def_binary64 |
| 36047× | fma-neg_binary64 |
| 34487× | associate-*l*_binary64 |
| 33143× | times-frac_binary64 |
| 30363× | associate-*r*_binary64 |
Compiled 11875 to 7701 computations (35.1% saved)
| 117× | rewrite-expression-head |
| 5704× | add-exp-log_binary64 |
| 5638× | times-frac_binary64 |
| 5227× | *-un-lft-identity_binary64 |
| 4961× | add-sqr-sqrt_binary64 |
| 3881× | add-cube-cbrt_binary64 |
345 calls:
| 131.0ms | (*.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) (sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))) |
| 52.0ms | (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t 1) (*.f64 (/.f64 t l) (sin.f64 k)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2))) |
| 49.0ms | (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) x))) |
| 48.0ms | (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))) |
| 48.0ms | (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) |
Compiled 123 to 89 computations (27.6% saved)
Loading profile data...