| Date: | Thursday, October 27th, 2022 |
|---|---|
| Commit: | 20216197 on main |
| Hostname: | warfa with Racket 8.6 |
| Seed: | 2022300 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce: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: 48.2min)
492 calls:
| 2.4min | x |
| 2.3min | y |
| 1.9min | z |
| 1.7min | t |
| 1.4min | a |
Compiled 511626 to 264310 computations (48.3% saved)
| 5.7min | 2132596× | body | 256 | valid |
| 2.1min | 470883× | body | 256 | invalid |
| 35.4s | 50608× | body | 1024 | valid |
| 16.3s | 35197× | body | 512 | valid |
| 8.8s | 10348× | body | 2048 | valid |
| 5.2s | 9904× | body | 1024 | invalid |
| 2.4s | 6142× | body | 512 | invalid |
| 2.2s | 1569× | body | 8192 | exit |
| 820.0ms | 371× | body | 4096 | valid |
| 1.0ms | 1× | body | 2048 | invalid |
| 3186× | egg-herbie |
| 1021394× | fma-def_binary64 |
| 722313× | fma-neg_binary64 |
| 444389× | associate-*l*_binary64 |
| 434243× | unswap-sqr_binary64 |
| 382546× | associate-*r*_binary64 |
| 66× | done |
| 7× | unsound |
| 1504× | saturated |
| 203× | fuel |
| 1675× | node limit |
Compiled 88547 to 48491 computations (45.2% saved)
| 4715× | binary-search |
| 507× | left-value |
Compiled 254875 to 185910 computations (27.1% saved)
| 2647× | batch-egg-rewrite |
| 13× | egg-rewrite-iter-limit |
| 16× | egg-rewrite |
| 1161009× | pow1_binary64 |
| 1083005× | add-log-exp_binary64 |
| 1082533× | expm1-log1p-u_binary64 |
| 1082500× | log1p-expm1-u_binary64 |
| 969868× | add-exp-log_binary64 |
| 15× | unsound |
| 13× | iter limit |
| 2648× | node limit |
Compiled 8140146 to 3882872 computations (52.3% saved)
Compiled 391594 to 277234 computations (29.2% saved)
| 270× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.7% | 0.3% | 2 |
| 5.6% | 93.3% | 1.1% | 3 |
| 8.3% | 89.2% | 2.6% | 4 |
| 16.1% | 80.8% | 3.2% | 5 |
| 20.4% | 74.8% | 4.8% | 6 |
| 28.1% | 64.9% | 7% | 7 |
| 32.7% | 59.4% | 7.9% | 8 |
| 38% | 52.7% | 9.3% | 9 |
| 42.3% | 46.9% | 10.8% | 10 |
| 46.1% | 42% | 11.8% | 11 |
| 49.2% | 38.1% | 12.7% | 12 |
Compiled 4021 to 2770 computations (31.1% saved)
Compiled 122723 to 56239 computations (54.2% saved)
38967 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 528.0ms | x | @ | 0 | (pow.f64 (-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y))) 3) |
| 413.0ms | y | @ | -inf | (log.f64 (sqrt.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (sqrt.f64 t) (*.f64 (/.f64 z x) (*.f64 18 y)))))))) |
| 358.0ms | y | @ | 0 | (log.f64 (/.f64 y x)) |
| 318.0ms | t | @ | 0 | (log1p.f64 (*.f64 1/3 (acos.f64 (/.f64 (sqrt.f64 t) (*.f64 (/.f64 z x) (*.f64 18 y)))))) |
| 304.0ms | b | @ | 0 | (fma.f64 y (/.f64 b t) 1) |
Compiled 87453 to 37872 computations (56.7% saved)
| 223× | egg-herbie |
| 96182× | fma-def_binary64 |
| 70478× | fma-neg_binary64 |
| 48579× | associate-/l*_binary64 |
| 38107× | distribute-rgt-in_binary64 |
| 37588× | times-frac_binary64 |
| 81× | saturated |
| 142× | node limit |
Compiled 60345 to 38927 computations (35.5% saved)
| 540× | egg-herbie |
| 98329× | fma-def_binary64 |
| 92803× | fma-neg_binary64 |
| 46036× | sub-neg_binary64 |
| 45046× | div-sub_binary64 |
| 43640× | distribute-rgt-in_binary64 |
| 58× | unsound |
| 354× | saturated |
| 128× | node limit |
Compiled 4571 to 3320 computations (27.4% saved)
Loading profile data...