| Date: | Tuesday, March 8th, 2022 |
|---|---|
| Commit: | f5bf406d on demo-preconditions |
| Hostname: | warfa with Racket 8.1 |
| Seed: | 2022067 |
| Parameters: | 256 points for 4 iterations |
| Flags: | precision:fallbackreduce: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)
| 8.6min | 3613419× | body | 128 | valid |
| 4.1min | 280102× | body | 1024 | valid |
| 3.8min | 32375× | body | 8192 | exit |
| 2.0min | 90777× | body | 2048 | valid |
| 1.9min | 544871× | body | 128 | invalid |
| 1.5min | 16353× | body | 4096 | valid |
| 1.3min | 148329× | body | 512 | valid |
| 55.0s | 54700× | body | 1024 | invalid |
| 38.7s | 2872× | body | 8192 | valid |
| 34.0s | 103065× | body | 256 | valid |
| 19.6s | 29845× | body | 512 | invalid |
| 12.5s | 2167× | body | 4096 | invalid |
| 12.1s | 4315× | body | 2048 | invalid |
| 6.9s | 15224× | body | 256 | invalid |
| 769.0ms | 45× | body | 8192 | invalid |
Compiled 32268 to 22160 computations (31.3% saved)
3455 calls:
| 1.2min | (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (*.f64 (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n))))) (cbrt.f64 (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))))) |
| 20.6s | (/.f64 (*.f64 x (*.f64 (cbrt.f64 (-.f64 (*.f64 (fma.f64 y z 1) (fma.f64 y z 1)) (*.f64 z z))) (cbrt.f64 (-.f64 (*.f64 (fma.f64 y z 1) (fma.f64 y z 1)) (*.f64 z z))))) (*.f64 (cbrt.f64 (+.f64 (fma.f64 y z 1) z)) (cbrt.f64 (+.f64 (fma.f64 y z 1) z)))) |
| 14.1s | (cbrt.f64 (fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) |
| 12.3s | (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) |
| 10.4s | (exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux))) |
Compiled 11197390 to 7339073 computations (34.5% saved)
Compiled 17749499 to 9653635 computations (45.6% saved)
| 519× | search |
| 2× | random |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 88% | 12% | 0 |
| 2% | 86% | 12% | 1 |
| 3.8% | 83.5% | 12.6% | 2 |
| 11.3% | 74.6% | 14.1% | 3 |
| 16% | 68.2% | 15.8% | 4 |
| 23% | 60.4% | 16.7% | 5 |
| 27.3% | 54.5% | 18.2% | 6 |
| 32.4% | 47.6% | 20% | 7 |
| 35.8% | 43.2% | 21% | 8 |
| 39.7% | 38.1% | 22.2% | 9 |
| 42.5% | 34.1% | 23.4% | 10 |
| 45.1% | 30.7% | 24.2% | 11 |
| 47.3% | 27.9% | 24.9% | 12 |
| 49.7% | 24.5% | 25.8% | 13 |
| 51.1% | 22.7% | 26.2% | 14 |
Compiled 11605 to 8036 computations (30.8% saved)
| 2559× | egg-herbie |
| 797030× | fma-def_binary64 |
| 642693× | fma-neg_binary64 |
| 382286× | times-frac_binary64 |
| 342830× | distribute-rgt-in_binary64 |
| 336382× | associate-*l*_binary64 |
Compiled 146817 to 91586 computations (37.6% saved)
| 1536× | rewrite-expression-head |
| 118962× | times-frac_binary64 |
| 92977× | *-un-lft-identity_binary64 |
| 89767× | add-sqr-sqrt_binary64 |
| 67676× | add-cube-cbrt_binary64 |
| 24087× | sqrt-prod_binary64 |
3452 calls:
| 343.0ms | (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)) |
| 228.0ms | (/.f64 (/.f64 (cbrt.f64 (fma.f64 6 x -6)) (/.f64 (sqrt.f64 (fma.f64 4 (sqrt.f64 x) (+.f64 x 1))) (cbrt.f64 (fma.f64 6 x -6)))) (/.f64 (sqrt.f64 (fma.f64 4 (sqrt.f64 x) (+.f64 x 1))) (cbrt.f64 (fma.f64 6 x -6)))) |
| 144.0ms | (*.f64 (/.f64 1 (hypot.f64 1 x)) (/.f64 x (hypot.f64 1 x))) |
| 124.0ms | (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (expm1.f64 (*.f64 a x)) (expm1.f64 (*.f64 a x))) (expm1.f64 (*.f64 a x))) (*.f64 (*.f64 (expm1.f64 (*.f64 a x)) (expm1.f64 (*.f64 a x))) (expm1.f64 (*.f64 a x)))) (*.f64 (*.f64 (expm1.f64 (*.f64 a x)) (expm1.f64 (*.f64 a x))) (expm1.f64 (*.f64 a x))))) |
| 106.0ms | (*.f64 (/.f64 1 (PI.f64)) (/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (-.f64 1 (*.f64 v v))) t)) |
Compiled 12288 to 10240 computations (16.7% saved)
Compiled 1274 to 856 computations (32.8% saved)
Loading profile data...