| Date: | Monday, October 24th, 2022 |
|---|---|
| Commit: | f5f822ae on pareto-combine |
| Hostname: | warfa with Racket 8.5 |
| Seed: | 2022297 |
| 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: 47.7min)
486 calls:
| 2.3min | x |
| 2.1min | y |
| 1.9min | z |
| 1.7min | t |
| 1.4min | a |
Compiled 502293 to 274144 computations (45.4% saved)
| 5.9min | 2133147× | body | 256 | valid |
| 2.1min | 476636× | body | 256 | invalid |
| 34.6s | 50475× | body | 1024 | valid |
| 15.4s | 34905× | body | 512 | valid |
| 9.9s | 10254× | body | 2048 | valid |
| 5.1s | 10110× | body | 1024 | invalid |
| 2.5s | 6314× | body | 512 | invalid |
| 2.5s | 1638× | body | 8192 | exit |
| 716.0ms | 339× | body | 4096 | valid |
| 1.0ms | 1× | body | 2048 | invalid |
| 3232× | egg-herbie |
| 1021779× | fma-def_binary64 |
| 686864× | fma-neg_binary64 |
| 449776× | associate-*l*_binary64 |
| 436723× | unswap-sqr_binary64 |
| 390751× | associate-*r*_binary64 |
| 66× | done |
| 4× | unsound |
| 1543× | saturated |
| 203× | fuel |
| 1685× | node limit |
Compiled 82936 to 46607 computations (43.8% saved)
| 4493× | binary-search |
| 462× | left-value |
Compiled 211260 to 154295 computations (27% saved)
| 2693× | batch-egg-rewrite |
| 13× | egg-rewrite-iter-limit |
| 10× | egg-rewrite |
| 1192541× | pow1_binary64 |
| 1112559× | add-log-exp_binary64 |
| 1112124× | expm1-log1p-u_binary64 |
| 1112078× | log1p-expm1-u_binary64 |
| 987812× | add-exp-log_binary64 |
| 14× | unsound |
| 13× | iter limit |
| 2689× | node limit |
Compiled 7909743 to 3801272 computations (51.9% saved)
Compiled 377854 to 268474 computations (28.9% 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 121681 to 55493 computations (54.4% saved)
38895 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 8.0s | t | @ | inf | (sqrt.f64 (/.f64 x (-.f64 y (*.f64 z t)))) |
| 269.0ms | y | @ | inf | (log.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (*.f64 (sin.f64 y) 1/16))) (*.f64 (-.f64 (sin.f64 y) (*.f64 (sin.f64 x) 1/16)) (-.f64 (cos.f64 x) (cos.f64 y))) 2) (*.f64 3 (fma.f64 (cos.f64 y) (-.f64 3/2 (/.f64 (sqrt.f64 5) 2)) (fma.f64 (cos.f64 x) (-.f64 (/.f64 (sqrt.f64 5) 2) 1/2) 1))))) |
| 226.0ms | x | @ | inf | (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))) |
| 201.0ms | x | @ | 0 | (-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y))) |
| 199.0ms | x | @ | 0 | (*.f64 x (log.f64 y)) |
Compiled 81663 to 36610 computations (55.2% saved)
| 233× | egg-herbie |
| 97976× | fma-def_binary64 |
| 69000× | fma-neg_binary64 |
| 47314× | associate-/l*_binary64 |
| 41529× | distribute-rgt-in_binary64 |
| 36416× | times-frac_binary64 |
| 82× | saturated |
| 151× | node limit |
Compiled 57374 to 39491 computations (31.2% 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...