| Date: | Wednesday, May 17th, 2023 |
|---|---|
| Commit: | 5c5cbfdd on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023137 |
| 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: 11.6min)
| 1.4min | 439559× | body | 256 | valid |
| 1.0min | 7870× | body | 8192 | exit |
| 15.4s | 23152× | body | 1024 | valid |
| 9.0s | 14386× | body | 1024 | infinite |
| 6.2s | 29256× | body | 256 | infinite |
| 4.5s | 12426× | body | 512 | valid |
| 2.4s | 6636× | body | 512 | infinite |
| 1.9s | 2670× | body | 2048 | valid |
| 1.1s | 4640× | body | 256 | invalid |
| 722.0ms | 4115× | body | 256 | unsamplable |
| 561.0ms | 1041× | body | 4096 | valid |
| 367.0ms | 220× | body | 2048 | infinite |
Compiled 6057515 to 3716863 computations (38.6% saved)
| 722× | egg-herbie |
| 372978× | associate-*r* |
| 352214× | *-commutative |
| 335950× | associate-/l* |
| 332104× | +-commutative |
| 330476× | associate-+r+ |
| 14× | unsound |
| 84× | saturated |
| 21× | done |
| 37× | fuel |
| 624× | node limit |
Compiled 12577 to 8498 computations (32.4% saved)
| 606× | batch-egg-rewrite |
| 413894× | add-sqr-sqrt |
| 404108× | *-un-lft-identity |
| 380838× | add-cube-cbrt |
| 378064× | add-cbrt-cube |
| 255572× | add-exp-log |
| 8× | unsound |
| 598× | node limit |
Compiled 205599 to 157652 computations (23.3% saved)
134 calls:
| 5.4s | x.re |
| 5.4s | x.im |
| 3.5s | y.im |
| 3.4s | y.re |
| 2.5s | z |
Compiled 222513 to 154640 computations (30.5% saved)
Compiled 62282 to 37905 computations (39.1% saved)
| 56328× | *-commutative |
| 53080× | distribute-lft-in |
| 50760× | +-commutative |
| 50070× | associate-*r/ |
| 45984× | associate-/r* |
| 18× | saturated |
| 120× | node limit |
Compiled 22090 to 13890 computations (37.1% saved)
| 397× | binary-search |
| 31× | left-value |
| 391× | narrow-enough |
| 6× | predicate-same |
| 9.3s | 43817× | body | 256 | valid |
| 574.0ms | 790× | body | 512 | infinite |
| 328.0ms | 418× | body | 4096 | valid |
| 249.0ms | 777× | body | 512 | valid |
| 178.0ms | 220× | body | 1024 | infinite |
| 148.0ms | 284× | body | 2048 | valid |
| 125.0ms | 320× | body | 1024 | valid |
| 100.0ms | 518× | body | 256 | infinite |
| 28.0ms | 21× | body | 2048 | infinite |
Compiled 82378 to 56397 computations (31.5% saved)
7044 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 646.0ms | alpha | @ | 0 | (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1)) |
| 297.0ms | base | @ | 0 | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) |
| 182.0ms | x | @ | inf | (-.f64 (exp.f64 (log1p.f64 (pow.f64 x -5))) 1) |
| 161.0ms | u1 | @ | -inf | (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) |
| 158.0ms | x | @ | 0 | (log.f32 (+.f32 x x)) |
| 58× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.3% | 13.7% | 0% | 0% | 0% | 0 |
| 7% | 6% | 80.3% | 13.7% | 0% | 0% | 0% | 1 |
| 13.1% | 11% | 73.3% | 13.7% | 0% | 1.7% | 0.2% | 2 |
| 23.6% | 19.2% | 62% | 13.7% | 0.5% | 4.3% | 0.3% | 3 |
| 29.2% | 23.2% | 56.3% | 13.7% | 1.9% | 4.5% | 0.4% | 4 |
| 41.4% | 32.6% | 46.2% | 13.7% | 2.4% | 4.6% | 0.4% | 5 |
| 46.7% | 36.2% | 41.3% | 13.7% | 3.5% | 4.9% | 0.4% | 6 |
| 54.8% | 41.1% | 33.8% | 13.7% | 5.2% | 5.8% | 0.4% | 7 |
| 58.6% | 43.6% | 30.7% | 13.7% | 5.7% | 5.9% | 0.4% | 8 |
| 63.7% | 46.7% | 26.6% | 13.7% | 6.7% | 5.9% | 0.4% | 9 |
| 67.5% | 48.8% | 23.5% | 13.7% | 7.2% | 6.4% | 0.4% | 10 |
| 70.8% | 50.6% | 20.9% | 13.7% | 7.9% | 6.4% | 0.4% | 11 |
| 73.3% | 52.2% | 19% | 13.7% | 8.3% | 6.4% | 0.4% | 12 |
Compiled 1558 to 994 computations (36.2% saved)
Compiled 12360 to 7163 computations (42% saved)
| 116× | egg-herbie |
| 21178× | fma-def |
| 20488× | *-commutative |
| 18344× | associate-*r* |
| 17546× | distribute-lft-in |
| 17206× | sqr-pow |
| 71× | saturated |
| 14× | unsound |
| 31× | node limit |
Compiled 1606 to 1052 computations (34.5% saved)
Loading profile data...