Herbie run

Date:Thursday, October 5th, 2023
Commit:2a64fc33 on main
Hostname:nightly with Racket 8.6
Seed:2023278
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: 3.9min)

sample1.2min (30.8%)

Results
19.7s109597×body256valid
17.5s29761×body1024valid
17.1s13092×body8192exit
6.5s5843×body2048valid
5.7s14869×body512valid
1.9s3960×body1024invalid
1.4s4713×body256infinite
637.0ms2057×body512invalid
479.0ms2488×body256invalid
186.0ms1167×body256unsamplable
115.0ms168×body1024infinite
74.0ms169×body512infinite
4.0ms1×body8192invalid
2.0ms5×body2048invalid
Bogosity

localize34.7s (14.8%)

Compiler

Compiled 8820 to 3943 computations (55.3% saved)

soundness26.3s (11.3%)

Rules
62042×fma-def
48098×pow1
47806×log-prod
46150×log1p-expm1-u
45028×add-exp-log
Stop Event
5×saturated
2×unsound
116×node limit
Compiler

Compiled 10099 to 5391 computations (46.6% saved)

eval21.0s (9%)

Compiler

Compiled 805857 to 406410 computations (49.6% saved)

simplify16.1s (6.9%)

Algorithm
88×egg-herbie
Rules
45160×fma-def
40996×log-prod
37944×associate-*r*
31070×associate-*l*
28608×fma-neg
Stop Event
5×done
2×unsound
20×saturated
15×fuel
66×node limit
Counts
22985 → 18501
Compiler

Compiled 1906 to 1278 computations (32.9% saved)

regimes15.1s (6.4%)

Counts
3400 → 163
Calls

53 calls:

2.2s
a
2.2s
x
1.4s
b
916.0ms
r
898.0ms
z
Compiler

Compiled 42341 to 19830 computations (53.2% saved)

prune14.9s (6.4%)

Counts
33687 → 1639
Compiler

Compiled 88239 to 57653 computations (34.7% saved)

analyze13.6s (5.8%)

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)

rewrite9.6s (4.1%)

Algorithm
68×batch-egg-rewrite
Rules
53610×pow1
51338×log1p-expm1-u
50230×add-exp-log
50142×expm1-log1p-u
49586×add-log-exp
Stop Event
68×node limit
Counts
476 → 14150

preprocess5.1s (2.2%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9552×fma-neg
5312×distribute-lft-neg-in
4910×sub-neg
4300×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 4645 to 2538 computations (45.4% saved)

series3.4s (1.5%)

Counts
476 → 8835
Calls

2430 calls:

TimeVariablePointExpression
147.0ms
b
@0
(cbrt.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 (+.f64 b a)))))
147.0ms
x
@0
(*.f64 (cbrt.f64 (*.f64 x (*.f64 x 2))) (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 x 2)))))
123.0ms
x
@inf
(log.f64 (/.f64 (sinh.f64 x) x))
111.0ms
x
@-inf
(log.f64 (/.f64 (sinh.f64 x) x))
78.0ms
w
@inf
(exp.f64 (*.f64 -1 (*.f64 (exp.f64 w) (log.f64 (/.f64 1 l)))))

bsearch1.9s (0.8%)

Algorithm
42×binary-search
7×left-value
Stop Event
41×narrow-enough
1×predicate-same
Results
810.0ms3504×body256valid
546.0ms840×body1024valid
253.0ms519×body512valid
93.0ms316×body256infinite
73.0ms85×body2048valid
Compiler

Compiled 7715 to 5584 computations (27.6% saved)

end3.0ms (0%)

Profiling

Loading profile data...