| 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: 33.6min)
| 2.7min | 17065× | body | 8192 | exit |
| 1.4min | 69839× | body | 1024 | valid |
| 1.2min | 8938× | body | 4096 | valid |
| 1.1min | 294781× | body | 256 | valid |
| 40.8s | 14573× | body | 2048 | valid |
| 33.6s | 1650× | body | 8192 | valid |
| 21.6s | 34770× | body | 512 | valid |
| 12.3s | 6355× | body | 1024 | infinite |
| 7.2s | 928× | body | 4096 | infinite |
| 6.9s | 21430× | body | 256 | infinite |
| 5.7s | 1208× | body | 2048 | infinite |
| 5.6s | 17081× | body | 256 | unsamplable |
| 4.3s | 21855× | body | 256 | invalid |
| 3.5s | 3296× | body | 512 | infinite |
| 1.3s | 1752× | body | 1024 | invalid |
| 1.2s | 1205× | body | 2048 | invalid |
| 637.0ms | 38× | body | 8192 | infinite |
| 570.0ms | 1155× | body | 512 | invalid |
| 158.0ms | 876× | body | 256 | precondition |
| 8.0ms | 10× | body | 512 | unsamplable |
| 4.0ms | 3× | body | 1024 | unsamplable |
| 754× | egglog |
| 4× | done |
| 45× | fuel |
Compiled 20938 to 13140 computations (37.2% saved)
Compiled 12610425 to 6710583 computations (46.8% saved)
10986 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 516.0ms | x-scale | @ | -inf | (/.f64 (sqrt.f64 (/.f64 (*.f64 (*.f64 (fma.f64 b b (neg.f64 (*.f64 b b))) (*.f64 (pow.f64 (pow.f64 (*.f64 b a) 2) 2) 8)) (pow.f64 x-scale -2)) (pow.f64 (*.f64 x-scale y-scale) 2))) (/.f64 (*.f64 4 (pow.f64 (*.f64 b a) 2)) (pow.f64 (*.f64 x-scale y-scale) 2))) |
| 336.0ms | a | @ | 0 | (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))) |
| 241.0ms | x-scale | @ | 0 | (*.f64 (fma.f64 a a (neg.f64 (*.f64 a a))) (*.f64 (pow.f64 (pow.f64 (*.f64 b a) 2) 2) (/.f64 -8 (*.f64 x-scale x-scale)))) |
| 213.0ms | y-scale | @ | 0 | (/.f64 (sqrt.f64 (/.f64 (*.f64 (*.f64 (fma.f64 b b (neg.f64 (*.f64 b b))) (*.f64 (pow.f64 (pow.f64 (*.f64 b a) 2) 2) 8)) (pow.f64 x-scale -2)) (pow.f64 (*.f64 x-scale y-scale) 2))) (/.f64 (*.f64 4 (pow.f64 (*.f64 b a) 2)) (pow.f64 (*.f64 x-scale y-scale) 2))) |
| 180.0ms | a | @ | inf | (pow.f64 (cbrt.f64 (*.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 b b (*.f64 (*.f64 -3 c) a)))) (sqrt.f64 (sqrt.f64 (fma.f64 b b (*.f64 (*.f64 -3 c) a)))) (neg.f64 b)) (/.f64 1/3 a))) 3) |
Compiled 14656255 to 10162245 computations (30.7% saved)
142 calls:
| 15.4s | a |
| 14.3s | b |
| 8.2s | lambda1 |
| 8.1s | phi2 |
| 7.8s | c |
Compiled 693973 to 361306 computations (47.9% saved)
Compiled 585718 to 402088 computations (31.4% saved)
| 704× | batch-egg-rewrite |
| 143488× | egg-rr |
Compiled 116618 to 59177 computations (49.3% saved)
| 464× | binary-search |
| 78× | left-value |
| 17.0s | 10965× | body | 1024 | valid |
| 10.5s | 34939× | body | 256 | valid |
| 7.6s | 2901× | body | 2048 | valid |
| 7.3s | 1244× | body | 4096 | valid |
| 4.7s | 5468× | body | 512 | valid |
| 884.0ms | 113× | body | 4096 | infinite |
| 691.0ms | 144× | body | 2048 | infinite |
| 392.0ms | 1979× | body | 256 | invalid |
| 219.0ms | 15× | body | 8192 | valid |
| 217.0ms | 78× | body | 1024 | infinite |
| 167.0ms | 499× | body | 256 | infinite |
| 104.0ms | 81× | body | 512 | infinite |
| 37.0ms | 40× | body | 2048 | invalid |
| 36.0ms | 44× | body | 512 | invalid |
| 32.0ms | 48× | body | 1024 | invalid |
| 5.0ms | 54× | body | 256 | unsamplable |
Compiled 171412 to 120203 computations (29.9% 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)
| 102× | egglog |
Compiled 1762 to 1250 computations (29.1% saved)
Compiled 19579 to 9792 computations (50% saved)
Compiled 200 to 200 computations (0% saved)
Loading profile data...