| Date: | Tuesday, August 16th, 2022 |
|---|---|
| Commit: | f262be85 on no-retirement |
| Hostname: | warfa with Racket 8.5 |
| Seed: | 2022228 |
| 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: 34.0min)
| 5.4min | 2132289× | body | 256 | valid |
| 1.9min | 471386× | body | 256 | invalid |
| 30.4s | 51231× | body | 1024 | valid |
| 12.9s | 34960× | body | 512 | valid |
| 8.9s | 10304× | body | 2048 | valid |
| 4.7s | 9864× | body | 1024 | invalid |
| 2.4s | 1580× | body | 8192 | exit |
| 1.8s | 6130× | body | 512 | invalid |
| 612.0ms | 336× | body | 4096 | valid |
254 calls:
| 1.1min | y |
| 1.0min | x |
| 52.7s | z |
| 42.1s | t |
| 34.1s | a |
Compiled 254582 to 147335 computations (42.1% saved)
| 3897× | binary-search |
| 316× | left-value |
Compiled 236683 to 168637 computations (28.7% saved)
| 3331× | egg-herbie |
| 970578× | fma-def_binary64 |
| 696376× | fma-neg_binary64 |
| 450150× | associate-*l*_binary64 |
| 438759× | unswap-sqr_binary64 |
| 379039× | associate-*r*_binary64 |
| 7× | unsound |
| 1666× | saturated |
| 1658× | node limit |
| 2667× | batch-egg-rewrite |
| 10× | egg-rewrite-iter-limit |
| 11× | egg-rewrite |
| 1154785× | pow1_binary64 |
| 1077445× | add-log-exp_binary64 |
| 1077032× | expm1-log1p-u_binary64 |
| 1076983× | log1p-expm1-u_binary64 |
| 980092× | add-exp-log_binary64 |
| 6× | unsound |
| 10× | iter limit |
| 2672× | node limit |
Compiled 8123032 to 3852872 computations (52.6% saved)
Compiled 391513 to 276227 computations (29.4% 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 122017 to 54747 computations (55.1% saved)
38763 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 633.0ms | y | @ | 0 | (fma.f64 x (*.f64 y -3) z) |
| 220.0ms | t | @ | 0 | (+.f64 (log.f64 (*.f64 (+.f64 y x) z)) (*.f64 -1/2 (log.f64 t))) |
| 193.0ms | x | @ | 0 | (log1p.f64 (log.f64 (/.f64 x y))) |
| 172.0ms | x | @ | inf | (*.f64 3 (log.f64 (log.f64 (/.f64 x y)))) |
| 153.0ms | y | @ | inf | (*.f64 (pow.f64 (-.f64 (*.f64 x (log.f64 y)) z) 1/4) (sqrt.f64 (-.f64 (*.f64 x (log.f64 y)) z))) |
| 59× | done |
| 210× | fuel |
Compiled 125179 to 65036 computations (48% saved)
| 540× | egg-herbie |
| 98830× | fma-def_binary64 |
| 93327× | fma-neg_binary64 |
| 47446× | sub-neg_binary64 |
| 45118× | div-sub_binary64 |
| 44593× | distribute-rgt-in_binary64 |
| 59× | unsound |
| 354× | saturated |
| 127× | node limit |
Compiled 4571 to 3320 computations (27.4% saved)
Loading profile data...