| Date: | Friday, November 25th, 2022 |
|---|---|
| Commit: | cf54083d on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2022329 |
| 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: 22.8min)
| 2.7min | 17334× | body | 8192 | exit |
| 1.4min | 69449× | body | 1024 | valid |
| 1.1min | 8838× | body | 4096 | valid |
| 60.0s | 294732× | body | 256 | valid |
| 38.8s | 14722× | body | 2048 | valid |
| 31.6s | 1662× | body | 8192 | valid |
| 20.5s | 35306× | body | 512 | valid |
| 10.9s | 6185× | body | 1024 | infinite |
| 6.4s | 805× | body | 4096 | infinite |
| 6.0s | 21304× | body | 256 | infinite |
| 5.3s | 17310× | body | 256 | unsamplable |
| 5.3s | 1205× | body | 2048 | infinite |
| 4.1s | 21564× | body | 256 | invalid |
| 3.3s | 3150× | body | 512 | infinite |
| 1.1s | 1769× | body | 1024 | invalid |
| 986.0ms | 1191× | body | 2048 | invalid |
| 773.0ms | 1267× | body | 512 | invalid |
| 590.0ms | 37× | body | 8192 | infinite |
| 97.0ms | 890× | body | 256 | precondition |
| 7.0ms | 10× | body | 512 | unsamplable |
| 5.0ms | 1× | body | 2048 | unsamplable |
| 4.0ms | 3× | body | 1024 | unsamplable |
143 calls:
| 13.9s | (-.f64 lambda1 lambda2) |
| 12.4s | a |
| 12.3s | phi2 |
| 12.1s | phi1 |
| 11.8s | lambda1 |
Compiled 685548 to 353040 computations (48.5% saved)
Compiled 9409080 to 5308000 computations (43.6% saved)
| 617× | binary-search |
| 57× | left-value |
| 26.6s | 16344× | body | 1024 | valid |
| 20.1s | 3608× | body | 4096 | valid |
| 14.4s | 44704× | body | 256 | valid |
| 14.4s | 5157× | body | 2048 | valid |
| 5.9s | 5987× | body | 512 | valid |
| 2.2s | 120× | body | 8192 | valid |
| 1.5s | 212× | body | 4096 | infinite |
| 1.0s | 227× | body | 2048 | infinite |
| 815.0ms | 223× | body | 1024 | infinite |
| 560.0ms | 997× | body | 256 | infinite |
| 397.0ms | 2088× | body | 256 | invalid |
| 214.0ms | 102× | body | 512 | infinite |
| 152.0ms | 9× | body | 8192 | infinite |
| 1.0ms | 2× | body | 512 | invalid |
Compiled 201056 to 146456 computations (27.2% saved)
| 798× | egg-herbie |
| 274505× | fma-def_binary64 |
| 196253× | log-prod_binary64 |
| 181391× | fma-neg_binary64 |
| 160852× | distribute-rgt-in_binary64 |
| 160542× | associate-*r*_binary64 |
| 6× | unsound |
| 69× | saturated |
| 5× | done |
| 45× | fuel |
| 723× | node limit |
Compiled 20448 to 12106 computations (40.8% saved)
Compiled 523401 to 364977 computations (30.3% saved)
| 697× | batch-egg-rewrite |
| 8× | egg-rewrite-iter-limit |
| 5× | egg-rewrite |
| 245743× | pow1_binary64 |
| 230842× | add-log-exp_binary64 |
| 230742× | expm1-log1p-u_binary64 |
| 230712× | log1p-expm1-u_binary64 |
| 229153× | log-prod_binary64 |
| 8× | unsound |
| 8× | iter limit |
| 694× | node limit |
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 2.4% | 1.9% | 77.5% | 20.6% | 0% | 0% | 0% | 1 |
| 5.1% | 4% | 75% | 21% | 0% | 0% | 0% | 2 |
| 12.7% | 9.8% | 67.2% | 21.2% | 0.5% | 1.4% | 0% | 3 |
| 20.5% | 15.3% | 59.4% | 21.2% | 1.1% | 2.6% | 0.5% | 4 |
| 26.8% | 19.7% | 53.7% | 21.2% | 1.3% | 3.4% | 0.7% | 5 |
| 32.2% | 23.1% | 48.7% | 21.2% | 1.7% | 4.2% | 1.1% | 6 |
| 35% | 24.7% | 45.9% | 21.2% | 2% | 4.9% | 1.2% | 7 |
| 37.7% | 26.3% | 43.5% | 21.3% | 2.3% | 5.3% | 1.4% | 8 |
| 41.6% | 28.6% | 40.1% | 21.3% | 2.7% | 6% | 1.5% | 9 |
| 43.1% | 29.4% | 38.8% | 21.3% | 2.7% | 6.3% | 1.6% | 10 |
| 45.8% | 31% | 36.7% | 21.3% | 2.8% | 6.6% | 1.6% | 11 |
| 48.4% | 32.6% | 34.7% | 21.3% | 2.8% | 7% | 1.7% | 12 |
Compiled 1919 to 1338 computations (30.3% saved)
Compiled 94943 to 47883 computations (49.6% saved)
11403 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 238.0ms | x | @ | inf | (*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))))))) |
| 208.0ms | phi1 | @ | -inf | (+.f64 (sin.f64 (-.f64 phi1 lambda2)) (sin.f64 (+.f64 lambda2 phi1))) |
| 163.0ms | b | @ | inf | (*.f64 (+.f64 (pow.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)) 1/4) (sqrt.f64 b))) |
| 123.0ms | lambda2 | @ | -inf | (log.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 phi1))))) |
| 108.0ms | a | @ | -inf | (pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 a))) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (log1p.f64 (exp.f64 a)))) 2)) (cbrt.f64 (cbrt.f64 (log1p.f64 (exp.f64 a))))) |
| 115× | egg-herbie |
| 48818× | fma-def_binary64 |
| 29816× | distribute-rgt-in_binary64 |
| 27769× | times-frac_binary64 |
| 26851× | fma-neg_binary64 |
| 26579× | associate-*r*_binary64 |
| 9× | saturated |
| 106× | node limit |
Compiled 91068 to 63019 computations (30.8% saved)
Compiled 20894 to 9598 computations (54.1% saved)
| 102× | egg-herbie |
| 26100× | fma-def_binary64 |
| 14723× | fma-neg_binary64 |
| 9914× | div-sub_binary64 |
| 8737× | distribute-rgt-in_binary64 |
| 8329× | sub-neg_binary64 |
| 57× | saturated |
| 9× | unsound |
| 36× | node limit |
Compiled 1762 to 1250 computations (29.1% saved)
Loading profile data...