| Date: | Tuesday, January 10th, 2023 |
|---|---|
| Commit: | 020cb5bb on oflatt-egglog-ctx |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023010 |
| 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: 3.2hr)
| 6118× | egglog |
| 114× | done |
| 398× | fuel |
Compiled 155818 to 90800 computations (41.7% saved)
| 10.1min | 3841367× | body | 256 | valid |
| 3.8min | 30139× | body | 8192 | exit |
| 3.6min | 298068× | body | 1024 | valid |
| 2.0min | 100254× | body | 2048 | valid |
| 1.7min | 447554× | body | 256 | infinite |
| 1.3min | 16408× | body | 4096 | valid |
| 1.1min | 161547× | body | 512 | valid |
| 52.4s | 268915× | body | 256 | invalid |
| 34.8s | 2811× | body | 8192 | valid |
| 28.1s | 35198× | body | 1024 | infinite |
| 10.9s | 1964× | body | 4096 | infinite |
| 9.7s | 15267× | body | 1024 | invalid |
| 9.4s | 18531× | body | 512 | infinite |
| 8.2s | 2371× | body | 2048 | infinite |
| 6.7s | 23122× | body | 256 | unsamplable |
| 3.2s | 8289× | body | 512 | invalid |
| 1.3s | 1214× | body | 2048 | invalid |
| 922.0ms | 2927× | body | 256 | precondition |
| 637.0ms | 38× | body | 8192 | infinite |
| 262.0ms | 483× | body | 1024 | unsamplable |
| 203.0ms | 304× | body | 2048 | unsamplable |
| 86.0ms | 247× | body | 512 | unsamplable |
| 3.0ms | 1× | body | 8192 | invalid |
Compiled 75004191 to 39819938 computations (46.9% saved)
| 5601× | batch-egg-rewrite |
| 1174755× | egg-rr |
1124 calls:
| 1.6min | x |
| 1.4min | y |
| 1.3min | a |
| 1.2min | z |
| 1.2min | t |
Compiled 2128874 to 1096672 computations (48.5% saved)
79161 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 9.1s | x | @ | 0 | (pow.f64 (pow.f64 (/.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 (+.f64 (/.f64 (+.f64 8890523/31250000 (/.f64 (+.f64 -1421413741/1000000000 (/.f64 (+.f64 1453152027/1000000000 (/.f64 -1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (*.f64 x x)))) 3)) -1) (-.f64 (+.f64 -1 (/.f64 (+.f64 (/.f64 (+.f64 8890523/31250000 (/.f64 (+.f64 -1421413741/1000000000 (/.f64 (+.f64 1453152027/1000000000 (/.f64 -1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (*.f64 x x))))) (pow.f64 (/.f64 (+.f64 (/.f64 (+.f64 8890523/31250000 (/.f64 (+.f64 -1421413741/1000000000 (/.f64 (+.f64 1453152027/1000000000 (/.f64 -1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (*.f64 x x)))) 2))) 3) 1/3) |
| 1.3s | u0 | @ | -inf | (cbrt.f64 (pow.f64 (pow.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 1 (/.f64 (/.f64 u0 (-.f64 1 u0)) (+.f64 (pow.f64 (/.f64 (cos.f64 (atan.f64 (/.f64 (neg.f64 (/.f64 alphay alphax)) (tan.f64 (*.f64 (+.f64 (PI.f64) (PI.f64)) u1))))) alphax) 2) (pow.f64 (/.f64 (sin.f64 (atan.f64 (/.f64 (neg.f64 (/.f64 alphay alphax)) (tan.f64 (*.f64 (+.f64 (PI.f64) (PI.f64)) u1))))) alphay) 2))))))) 3) 3)) |
| 1.1s | u0 | @ | inf | (cbrt.f64 (pow.f64 (pow.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 1 (/.f64 (/.f64 u0 (-.f64 1 u0)) (+.f64 (pow.f64 (/.f64 (cos.f64 (atan.f64 (/.f64 (neg.f64 (/.f64 alphay alphax)) (tan.f64 (*.f64 (+.f64 (PI.f64) (PI.f64)) u1))))) alphax) 2) (pow.f64 (/.f64 (sin.f64 (atan.f64 (/.f64 (neg.f64 (/.f64 alphay alphax)) (tan.f64 (*.f64 (+.f64 (PI.f64) (PI.f64)) u1))))) alphay) 2))))))) 3) 3)) |
| 969.0ms | x | @ | 0 | (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 x (log1p.f64 (neg.f64 (/.f64 y x)))) 3) 1/3)) 3) |
| 785.0ms | u0 | @ | inf | (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (/.f64 (/.f64 u0 (-.f64 1 u0)) (+.f64 (pow.f64 (/.f64 (cos.f64 (atan.f64 (/.f64 alphay (*.f64 (tan.f64 (*.f64 (+.f64 (PI.f64) (PI.f64)) u1)) (neg.f64 alphax))))) alphax) 2) (pow.f64 (/.f64 (sin.f64 (atan.f64 (/.f64 alphay (*.f64 (tan.f64 (*.f64 (+.f64 (PI.f64) (PI.f64)) u1)) (neg.f64 alphax))))) alphay) 2))))) 3) 3) -1)) |
Compiled 64316655 to 44774605 computations (30.4% saved)
Compiled 1813901 to 1258960 computations (30.6% saved)
Compiled 495398 to 250794 computations (49.4% saved)
| 6441× | binary-search |
| 609× | left-value |
| 2.1min | 712680× | body | 256 | valid |
| 37.1s | 39624× | body | 1024 | valid |
| 13.9s | 26614× | body | 512 | valid |
| 12.2s | 7517× | body | 2048 | valid |
| 10.4s | 3414× | body | 4096 | valid |
| 7.4s | 36549× | body | 256 | infinite |
| 2.7s | 686× | body | 4096 | infinite |
| 2.6s | 17312× | body | 256 | invalid |
| 1.7s | 884× | body | 2048 | infinite |
| 1.2s | 1227× | body | 1024 | infinite |
| 566.0ms | 309× | body | 8192 | valid |
| 562.0ms | 978× | body | 512 | infinite |
| 134.0ms | 300× | body | 1024 | invalid |
| 86.0ms | 227× | body | 512 | invalid |
| 37.0ms | 40× | body | 2048 | invalid |
| 14.0ms | 111× | body | 256 | unsamplable |
| 7.0ms | 17× | body | 1024 | unsamplable |
| 3.0ms | 8× | body | 512 | unsamplable |
| 1.0ms | 1× | body | 2048 | unsamplable |
Compiled 1777888 to 1247779 computations (29.8% saved)
| 538× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.7% | 13.3% | 0% | 0% | 0% | 0 |
| 2.4% | 2.1% | 84.6% | 13.3% | 0% | 0% | 0% | 1 |
| 3.6% | 3.1% | 83% | 13.3% | 0% | 0.6% | 0% | 2 |
| 11.6% | 9.8% | 74.9% | 13.3% | 0.3% | 1.7% | 0% | 3 |
| 15.9% | 13.2% | 69.8% | 13.3% | 1.2% | 2.2% | 0.2% | 4 |
| 23.9% | 19.6% | 62.7% | 13.3% | 1.6% | 2.6% | 0.2% | 5 |
| 28.5% | 23.1% | 57.8% | 13.4% | 2.5% | 3% | 0.3% | 6 |
| 35.9% | 28.4% | 50.6% | 13.4% | 3.5% | 3.8% | 0.3% | 7 |
| 40.4% | 31.6% | 46.5% | 13.4% | 4% | 4.1% | 0.4% | 8 |
| 46% | 35.4% | 41.6% | 13.4% | 4.8% | 4.5% | 0.4% | 9 |
| 50.5% | 38.3% | 37.5% | 13.4% | 5.4% | 5% | 0.4% | 10 |
| 54.7% | 41% | 34% | 13.4% | 6% | 5.2% | 0.4% | 11 |
| 58.2% | 43.2% | 31.1% | 13.4% | 6.4% | 5.5% | 0.5% | 12 |
Compiled 11846 to 8206 computations (30.7% saved)
| 1061× | egglog |
Compiled 11158 to 7999 computations (28.3% saved)
Compiled 144129 to 67240 computations (53.3% saved)
Compiled 1254 to 1254 computations (0% saved)
Loading profile data...