Herbie run

Date:Thursday, February 8th, 2024
Commit:b35bd1f1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024039
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: 10.2min)

sample2.9min (28.2%)

Results
39.1s180076×256valid
9.0s49463×256invalid
8.8s42265×256infinite
1.4min36155×8192exit
6.3s10731×1024valid
7.4s9367×2048valid
3.3s8456×512valid
3.5s4658×1024invalid
1.4s2509×512invalid
2.5s1979×4096valid
1.6s822×8192valid
2.5s746×4096infinite
1.4s703×2048infinite
153.0ms405×512infinite
217.0ms386×1024infinite
44.0ms175×256unsamplable
Bogosity

localize1.7min (16.8%)

Compiler

Compiled 37838 to 20033 computations (47.1% saved)

soundness1.5min (14.8%)

Rules
179554×fma-define
142200×associate-*r*
141320×times-frac
119016×log-prod
107778×associate-*l*
Stop Event
5×saturated
334×node limit
6×unsound
Compiler

Compiled 36913 to 23476 computations (36.4% saved)

eval52.2s (8.5%)

Compiler

Compiled 2462735 to 1561014 computations (36.6% saved)

regimes45.3s (7.4%)

Counts
8806 → 704
Calls

152 calls:

4.0s
l
2.5s
F
2.4s
t
2.2s
NaChar
2.0s
mu
Compiler

Compiled 8063 to 6259 computations (22.4% saved)

simplify39.8s (6.5%)

Algorithm
151×egg-herbie
Rules
87428×fma-define
79452×times-frac
67900×associate-*r*
61896×log-prod
56654×*-commutative
Stop Event
31×saturated
119×node limit
27×fuel
1×unsound
4×done
Counts
61195 → 48974
Compiler

Compiled 11574 to 7609 computations (34.3% saved)

rewrite24.1s (3.9%)

Algorithm
120×batch-egg-rewrite
Rules
73200×log1p-expm1-u
54517×expm1-log1p-u
33438×log-prod
30298×add-exp-log
30031×pow1
Stop Event
118×node limit
2×unsound
Counts
1201 → 33224

preprocess23.3s (3.8%)

Algorithm
31×egg-herbie
Rules
33674×fma-define
23736×fma-neg
16400×times-frac
14358×unsub-neg
13522×distribute-lft-neg-in
Stop Event
5×saturated
26×node limit
Compiler

Compiled 56768 to 33796 computations (40.5% saved)

prune20.3s (3.3%)

Counts
74872 → 2801
Compiler

Compiled 130427 to 90858 computations (30.3% saved)

bsearch17.7s (2.9%)

Algorithm
304×binary-search
88×left-value
Stop Event
11×predicate-same
293×narrow-enough
Results
7.3s28505×256valid
1.2s5331×256infinite
7.3s3228×8192exit
506.0ms672×1024valid
76.0ms451×256invalid
301.0ms333×2048valid
108.0ms322×512valid
89.0ms136×1024invalid
31.0ms107×512invalid
40.0ms50×4096valid
37.0ms38×8192valid
47.0ms23×512infinite
9.0ms15×1024infinite
4.0ms6×2048infinite
1.0ms1×4096infinite
Compiler

Compiled 85344 to 64050 computations (25% saved)

series14.2s (2.3%)

Counts
1201 → 27971
Calls

8406 calls:

TimeVariablePointExpression
242.0ms
t
@inf
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (hypot.f64 1 (*.f64 (/.f64 t l) (sqrt.f64 2))))
114.0ms
k
@0
(*.f64 (/.f64 (*.f64 (pow.f64 k 2) t) (pow.f64 l 2)) (/.f64 (pow.f64 (sin.f64 k) 2) (cos.f64 k)))
113.0ms
l
@-inf
(*.f64 n (pow.f64 l 2))
107.0ms
x
@inf
(*.f64 (/.f64 (+.f64 1/4 (/.f64 (/.f64 -1/4 (hypot.f64 1 x)) (hypot.f64 1 x))) (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))) (/.f64 1 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))))
98.0ms
U
@0
(log.f64 (*.f64 (*.f64 2 U) (*.f64 n t)))

analyze10.2s (1.7%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.9%1.8%0%7.4%0.7%6
44.7%40.3%49.7%1.8%0%7.4%0.8%7
46.8%41.8%47.4%1.8%0%8.2%0.9%8
49.6%44.1%44.9%1.8%0%8.3%0.9%9
50.6%44.9%43.9%1.8%0%8.4%1%10
52.2%46.1%42.3%1.8%0%8.9%1%11
53.8%47.3%40.7%1.8%0%9.2%1%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

end20.0ms (0%)

Profiling

Loading profile data...