| Date: | Friday, March 31st, 2023 |
|---|---|
| Commit: | 40cc2e0b on Aditya-Branch |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023090 |
| 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: 9.8min)
| 1.3min | 438944× | body | 256 | valid |
| 58.0s | 7941× | body | 8192 | exit |
| 13.0s | 23905× | body | 1024 | valid |
| 8.5s | 14740× | body | 1024 | infinite |
| 5.3s | 28915× | body | 256 | infinite |
| 3.9s | 12233× | body | 512 | valid |
| 2.7s | 6644× | body | 512 | infinite |
| 1.9s | 2675× | body | 2048 | valid |
| 1.0s | 4773× | body | 256 | invalid |
| 593.0ms | 4212× | body | 256 | unsamplable |
| 535.0ms | 1091× | body | 4096 | valid |
| 289.0ms | 240× | body | 2048 | infinite |
Compiled 5101949 to 3090641 computations (39.4% saved)
| 708× | egg-herbie |
| 358692× | *-commutative |
| 351828× | associate-/l* |
| 349844× | associate-*r* |
| 331644× | distribute-lft-in |
| 312872× | +-commutative |
| 7× | unsound |
| 84× | saturated |
| 19× | done |
| 39× | fuel |
| 617× | node limit |
Compiled 11026 to 7241 computations (34.3% saved)
| 592× | batch-egg-rewrite |
| 12× | egg-rewrite-iter-limit |
| 15× | egg-rewrite |
| 428398× | add-sqr-sqrt |
| 418556× | *-un-lft-identity |
| 395734× | add-cube-cbrt |
| 392736× | add-cbrt-cube |
| 260628× | add-exp-log |
| 13× | unsound |
| 12× | iter limit |
| 594× | node limit |
Compiled 192282 to 148203 computations (22.9% saved)
134 calls:
| 4.8s | x.re |
| 4.8s | y.re |
| 4.5s | x.im |
| 3.7s | y.im |
| 2.1s | x |
Compiled 186654 to 124585 computations (33.3% saved)
Compiled 57646 to 35398 computations (38.6% saved)
| 93× | egg-herbie |
| 45472× | *-commutative |
| 44824× | associate-+r+ |
| 43110× | associate-/r* |
| 43010× | fma-def |
| 42950× | associate-/l* |
| 17× | saturated |
| 76× | node limit |
Compiled 13719 to 7878 computations (42.6% saved)
| 367× | binary-search |
| 21× | left-value |
| 359× | narrow-enough |
| 8× | predicate-same |
| 8.2s | 40082× | body | 256 | valid |
| 213.0ms | 466× | body | 2048 | valid |
| 182.0ms | 678× | body | 256 | infinite |
| 152.0ms | 443× | body | 1024 | valid |
| 111.0ms | 339× | body | 512 | valid |
| 74.0ms | 94× | body | 4096 | valid |
| 48.0ms | 23× | body | 1024 | infinite |
| 31.0ms | 77× | body | 512 | infinite |
Compiled 77658 to 53220 computations (31.5% saved)
7029 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 191.0ms | re | @ | inf | (log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re)))) |
| 136.0ms | z | @ | -inf | (*.f64 (*.f64 (exp.f64 (+.f64 z -15/2)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 z -3)) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (+.f64 -6251307572601308353/150000000000000000 (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))) (/.f64 (*.f64 (PI.f64) (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 (PI.f64))))) (sin.f64 (*.f64 z (PI.f64))))) |
| 102.0ms | base | @ | -inf | (log.f64 (pow.f64 (hypot.f64 re im) (/.f64 1 (log.f64 base)))) |
| 91.0ms | im | @ | -inf | (-.f64 (exp.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) 1) |
| 78.0ms | base | @ | 0 | (exp.f64 (neg.f64 (log.f64 (log.f64 base)))) |
| 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 10768 to 5970 computations (44.6% 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...