Herbie run

Date:Thursday, September 14th, 2023
Commit:4716b437 on main
Hostname:nightly with Racket 8.6
Seed:2023257
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:simplifygenerate:proofs
default

Time bar (total: 1.5hr)

sample22.6min (24.5%)

Results
8.5min3331267×body256valid
3.9min47197×body8192exit
2.9min274547×body1024valid
1.7min97821×body2048valid
1.4min525199×body256infinite
1.1min14796×body4096valid
53.0s148391×body512valid
43.4s258636×body256invalid
28.3s2341×body8192valid
14.6s20212×body1024infinite
9.3s50027×body256unsamplable
7.7s15930×body1024invalid
6.7s1306×body4096infinite
5.4s11232×body512infinite
4.8s1652×body2048infinite
2.7s8860×body512invalid
2.1s5283×body2048invalid
853.0ms3043×body256precondition
229.0ms456×body1024unsamplable
214.0ms15×body8192infinite
185.0ms287×body2048unsamplable
71.0ms254×body512unsamplable
7.0ms3×body8192invalid
3.0ms7×body4096invalid
Bogosity

localize18.2min (19.7%)

Results
Compiler

Compiled 400824 to 191762 computations (52.2% saved)

soundness11.8min (12.8%)

Rules
2658320×fma-def
1555860×associate-*r*
1310106×log-prod
1276452×times-frac
1268304×associate-*l*
Stop Event
34×unsound
220×saturated
3563×node limit
Compiler

Compiled 335607 to 196164 computations (41.5% saved)

regimes9.0min (9.7%)

Counts
87212 → 10039
Calls

1155 calls:

59.2s
x
45.8s
y
45.2s
z
38.6s
a
34.8s
t
Compiler

Compiled 1319758 to 709475 computations (46.2% saved)

eval9.0min (9.7%)

Compiler

Compiled 28067117 to 15317504 computations (45.4% saved)

simplify6.6min (7.1%)

Algorithm
2760×egg-herbie
Rules
1880862×fma-def
1051804×associate-*r*
919122×associate-*l*
900044×log-prod
881944×fma-neg
Stop Event
14×unsound
814×saturated
132×done
401×fuel
1932×node limit
Counts
740790 → 585657
Compiler

Compiled 132245 to 82198 computations (37.8% saved)

prune4.3min (4.7%)

Counts
880925 → 37170
Compiler

Compiled 2549014 to 1738847 computations (31.8% saved)

rewrite3.4min (3.7%)

Algorithm
1691×batch-egg-rewrite
Rules
1112398×pow1
1052304×log1p-expm1-u
1051740×add-exp-log
1050548×expm1-log1p-u
1007528×add-log-exp
Stop Event
10×unsound
1681×node limit
Counts
13668 → 422442

bsearch2.7min (2.9%)

Algorithm
5284×binary-search
666×left-value
Stop Event
5175×narrow-enough
109×predicate-same
Results
1.2min463573×body256valid
31.7s123044×body256infinite
16.9s23827×body1024valid
6.4s5447×body4096valid
6.2s15366×body512valid
4.8s5761×body2048valid
3.7s23339×body256invalid
2.2s4921×body1024infinite
997.0ms2928×body512infinite
522.0ms86×body4096infinite
501.0ms159×body2048infinite
184.0ms232×body8192valid
58.0ms184×body1024invalid
35.0ms217×body256unsamplable
17.0ms81×body512invalid
1.0ms1×body8192exit
Compiler

Compiled 1242407 to 916381 computations (26.2% saved)

preprocess2.1min (2.2%)

Algorithm
536×egg-herbie
Rules
704136×fma-def
261454×fma-neg
211808×sub-neg
201670×div-sub
191518×unsub-neg
Stop Event
208×saturated
328×node limit
Compiler

Compiled 303371 to 156664 computations (48.4% saved)

analyze1.4min (1.5%)

Algorithm
540×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.8%13.2%0%0%0%0
40.5%35.1%51.6%13.2%0%0%0%1
46.5%40.1%46.1%13.3%0%0.6%0%2
56.2%47.7%37.3%13.3%0%1.8%0%3
62.2%52.5%31.9%13.3%0%2.4%0%4
67.9%57%27%13.3%0%2.7%0%5
71.6%59.8%23.7%13.3%0%3.2%0%6
75.5%62.4%20.3%13.3%0%4.1%0%7
77.3%63.6%18.7%13.3%0%4.4%0%8
79.8%65.3%16.5%13.3%0%4.9%0.1%9
81.4%66.2%15.1%13.3%0%5.3%0.1%10
83.6%67.7%13.3%13.3%0%5.7%0.1%11
84.7%68.3%12.3%13.3%0%6%0.1%12
Compiler

Compiled 11868 to 8225 computations (30.7% saved)

series1.2min (1.3%)

Counts
13668 → 317812
Calls

82485 calls:

TimeVariablePointExpression
809.0ms
im
@-inf
(log.f64 (pow.f64 im (/.f64 1 (log.f64 base))))
343.0ms
b
@inf
(log1p.f64 (pow.f64 (+.f64 (exp.f64 b) 1) -1/2))
303.0ms
x
@-inf
(-.f64 1 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (pow.f64 (exp.f64 x) x)) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
250.0ms
y
@-inf
(*.f64 (*.f64 27 x) (pow.f64 (cbrt.f64 y) 2))
206.0ms
l
@-inf
(log.f64 (/.f64 l k))

end118.0ms (0%)

Profiling

Loading profile data...