| Date: | Thursday, February 2nd, 2023 |
|---|---|
| Commit: | 26c408a1 on oflatt-egglog-ctx |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023033 |
| 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: 1.4hr)
| 599× | egglog |
| 6× | done |
| 28× | fuel |
Compiled 7688 to 4765 computations (38% saved)
| 550× | batch-egg-rewrite |
| 104016× | egg-rr |
| 2.6min | 16353× | body | 8192 | exit |
| 1.4min | 69413× | body | 1024 | valid |
| 1.1min | 294339× | body | 256 | valid |
| 1.0min | 8808× | body | 4096 | valid |
| 37.4s | 14730× | body | 2048 | valid |
| 28.2s | 1609× | body | 8192 | valid |
| 20.5s | 35270× | body | 512 | valid |
| 11.0s | 6391× | body | 1024 | infinite |
| 7.2s | 910× | body | 4096 | infinite |
| 6.4s | 21598× | body | 256 | infinite |
| 5.9s | 1233× | body | 2048 | infinite |
| 5.8s | 15225× | body | 256 | unsamplable |
| 4.6s | 21707× | body | 256 | invalid |
| 3.2s | 3262× | body | 512 | infinite |
| 1.5s | 1752× | body | 1024 | invalid |
| 1.3s | 1156× | body | 2048 | invalid |
| 718.0ms | 1230× | body | 512 | invalid |
| 549.0ms | 32× | body | 8192 | infinite |
| 141.0ms | 857× | body | 256 | precondition |
| 3.0ms | 1× | body | 1024 | unsamplable |
| 2.0ms | 3× | body | 512 | unsamplable |
| 102× | egglog |
Compiled 1762 to 1250 computations (29.1% saved)
Compiled 8607086 to 4882743 computations (43.3% saved)
8529 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 138.0ms | b | @ | inf | (/.f64 (*.f64 -1/4 (*.f64 (sqrt.f64 (/.f64 (*.f64 8 (*.f64 (+.f64 (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) 2) (pow.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) 2)) (pow.f64 (*.f64 x-scale y-scale) 2)) (pow.f64 (-.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) 2) (*.f64 y-scale y-scale))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) 2) (*.f64 y-scale y-scale)))) (pow.f64 (*.f64 a a) 2))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) b))) (*.f64 a a)) |
| 96.0ms | angle | @ | 0 | (/.f64 (*.f64 (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (sin.f64 (*.f64 (*.f64 angle 1/180) (+.f64 (PI.f64) (PI.f64))))) x-scale) y-scale) (-.f64 (*.f64 a a) (*.f64 (*.f64 y-scale y-scale) (+.f64 (pow.f64 (/.f64 b x-scale) 2) (fabs.f64 (-.f64 (pow.f64 (/.f64 a y-scale) 2) (pow.f64 (/.f64 b x-scale) 2))))))) (*.f64 (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (sin.f64 (*.f64 (*.f64 angle 1/180) (+.f64 (PI.f64) (PI.f64))))) x-scale) y-scale) (*.f64 (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (sin.f64 (*.f64 (*.f64 angle 1/180) (+.f64 (PI.f64) (PI.f64))))) x-scale) y-scale) (*.f64 y-scale y-scale)))) |
| 84.0ms | phi2 | @ | 0 | (pow.f64 (cbrt.f64 (*.f64 R (hypot.f64 (-.f64 phi2 phi1) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (*.f64 1/2 (+.f64 phi2 phi1))))))) 3) |
| 82.0ms | a | @ | inf | (pow.f64 (cbrt.f64 (*.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 (*.f64 -4 c) a))) b) (/.f64 1/2 a))) 3) |
| 81.0ms | A | @ | 0 | (pow.f64 (pow.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 C (*.f64 A -4))) (+.f64 F F)) (-.f64 C (-.f64 (hypot.f64 (-.f64 A C) B) A))))) (fma.f64 B B (*.f64 C (*.f64 A -4)))) 3) 1/3) |
Compiled 10291508 to 7187479 computations (30.2% saved)
Compiled 437674 to 303893 computations (30.6% saved)
106 calls:
| 6.4s | phi1 |
| 6.4s | lambda1 |
| 5.6s | lambda2 |
| 5.6s | phi2 |
| 5.2s | b |
Compiled 353197 to 182501 computations (48.3% saved)
| 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 92987 to 50431 computations (45.8% saved)
| 47× | left-value |
| 194× | binary-search |
| 9.8s | 7487× | body | 1024 | valid |
| 3.4s | 12592× | body | 256 | valid |
| 2.2s | 2904× | body | 512 | valid |
| 481.0ms | 233× | body | 2048 | valid |
| 33.0ms | 167× | body | 256 | invalid |
| 32.0ms | 140× | body | 256 | infinite |
| 4.0ms | 7× | body | 512 | infinite |
Compiled 54416 to 39799 computations (26.9% saved)
Compiled 7068 to 3270 computations (53.7% saved)
Loading profile data...