Herbie run

Date:Saturday, July 1st, 2023
Commit:1e3c827b on main
Hostname:nightly with Racket 8.6
Seed:2023182
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: 2.8min)

sample52.8s (31.8%)

Results
13.7s109695×body256valid
12.7s12904×body8192exit
12.7s29580×body1024valid
5.6s5883×body2048valid
4.0s15010×body512valid
1.5s3967×body1024invalid
1.0s4628×body256infinite
388.0ms1919×body512invalid
288.0ms2483×body256invalid
146.0ms1220×body256unsamplable
142.0ms153×body512infinite
67.0ms171×body1024infinite
5.0ms2×body8192invalid
1.0ms2×body2048invalid
Bogosity

localize21.9s (13.2%)

Compiler

Compiled 8454 to 3501 computations (58.6% saved)

soundness21.3s (12.8%)

Rules
74578×fma-def
58178×log-prod
44610×pow1
42080×add-exp-log
42020×log1p-expm1-u
Stop Event
8×saturated
2×unsound
126×node limit
Compiler

Compiled 11533 to 6044 computations (47.6% saved)

eval14.1s (8.5%)

Compiler

Compiled 837116 to 413259 computations (50.6% saved)

simplify12.7s (7.6%)

Algorithm
103×egg-herbie
Rules
62600×fma-def
37032×log-prod
32884×associate-*r*
28396×associate-*l*
27114×sqr-pow
Stop Event
3×unsound
4×done
33×saturated
16×fuel
67×node limit
Counts
24529 → 18691
Compiler

Compiled 1622 to 1056 computations (34.9% saved)

regimes10.6s (6.4%)

Counts
3295 → 138
Calls

53 calls:

1.7s
a
1.1s
b
1.0s
x
838.0ms
r
544.0ms
(tan.f64 a)
Compiler

Compiled 39830 to 17289 computations (56.6% saved)

prune9.5s (5.7%)

Counts
32856 → 1738
Compiler

Compiled 91469 to 58473 computations (36.1% saved)

analyze8.4s (5.1%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

rewrite7.5s (4.5%)

Algorithm
63×batch-egg-rewrite
Rules
51492×pow1
48280×add-exp-log
48216×log1p-expm1-u
48198×expm1-log1p-u
43094×add-log-exp
Stop Event
63×node limit
Counts
463 → 15776

series3.1s (1.9%)

Counts
463 → 8733
Calls

2298 calls:

TimeVariablePointExpression
95.0ms
l
@-inf
(pow.f64 (pow.f64 l 1/6) (*.f64 2 (*.f64 (exp.f64 w) 2)))
90.0ms
x
@-inf
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4) 4)
74.0ms
b
@inf
(log1p.f64 (/.f64 (cos.f64 b) (sin.f64 b)))
70.0ms
z
@-inf
(*.f64 (log.f64 (+.f64 x (tan.f64 (+.f64 y z)))) 1/3)
66.0ms
w
@inf
(pow.f64 (sqrt.f64 l) (*.f64 (exp.f64 w) 2))

preprocess1.6s (0.9%)

Algorithm
40×egg-herbie
Rules
12706×fma-def
6350×sqr-pow
6278×associate-/l/
5720×unswap-sqr
3572×associate-*r*
Stop Event
3×unsound
29×saturated
8×node limit
Compiler

Compiled 221 to 162 computations (26.7% saved)

bsearch1.3s (0.8%)

Algorithm
37×binary-search
2×left-value
Stop Event
32×narrow-enough
4×predicate-failed
1×predicate-same
Results
524.0ms963×body1024valid
444.0ms2559×body256valid
129.0ms417×body512valid
62.0ms383×body256infinite
33.0ms56×body2048valid
26.0ms404×body256invalid
9.0ms24×body1024infinite
4.0ms14×body512infinite
Compiler

Compiled 7537 to 5190 computations (31.1% saved)

end1.2s (0.7%)

Compiler

Compiled 3550 to 1866 computations (47.4% saved)

Profiling

Loading profile data...