Herbie run

Date:Thursday, September 28th, 2023
Commit:4fc72252 on main
Hostname:nightly with Racket 8.6
Seed:2023271
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: 5.0min)

sample1.3min (25.4%)

Results
39.4s269450×body256valid
16.9s14339×body2048valid
8.4s19686×body1024valid
5.0s31139×body256infinite
3.0s10916×body512valid
1.3s202×body8192exit
767.0ms812×body4096valid
302.0ms2646×body256invalid
158.0ms956×body256unsamplable
99.0ms164×body1024infinite
83.0ms231×body512infinite
17.0ms15×body2048infinite
Bogosity

soundness49.3s (16.5%)

Rules
234470×fma-def
129622×associate-*r*
112602×times-frac
111972×associate-*l*
110348×fma-neg
Stop Event
4×saturated
302×node limit
Compiler

Compiled 27082 to 16744 computations (38.2% saved)

localize47.1s (15.7%)

Compiler

Compiled 27727 to 15201 computations (45.2% saved)

eval33.5s (11.2%)

Compiler

Compiled 1709169 to 1016073 computations (40.6% saved)

simplify22.5s (7.5%)

Algorithm
169×egg-herbie
Rules
100850×fma-def
73946×associate-*r*
66016×associate-*l*
61968×times-frac
60616×fma-neg
Stop Event
14×done
1×unsound
42×saturated
28×fuel
126×node limit
Counts
47257 → 41364
Compiler

Compiled 8603 to 5381 computations (37.5% saved)

regimes16.2s (5.4%)

Counts
4286 → 589
Calls

94 calls:

1.5s
b
1.5s
c
1.4s
a
1.2s
x
907.0ms
d
Compiler

Compiled 63764 to 37120 computations (41.8% saved)

prune14.3s (4.8%)

Counts
58475 → 2002
Compiler

Compiled 109493 to 73597 computations (32.8% saved)

rewrite14.0s (4.7%)

Algorithm
127×batch-egg-rewrite
Rules
85930×pow1
81436×add-exp-log
81384×log1p-expm1-u
81370×expm1-log1p-u
79448×add-log-exp
Stop Event
127×node limit
Counts
924 → 28857

preprocess9.7s (3.2%)

Algorithm
42×egg-herbie
Rules
55292×fma-def
23810×fma-neg
17914×distribute-lft-in
17852×unsub-neg
17806×sub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 20845 to 11773 computations (43.5% saved)

bsearch8.6s (2.9%)

Algorithm
277×binary-search
32×left-value
Stop Event
257×narrow-enough
20×predicate-same
Results
4.6s25905×body256valid
1.2s4560×body256infinite
994.0ms2301×body1024valid
413.0ms1604×body512valid
378.0ms445×body2048valid
220.0ms2422×body256invalid
35.0ms63×body1024infinite
20.0ms63×body512infinite
1.0ms11×body256unsamplable
1.0ms3×body4096valid
Compiler

Compiled 69550 to 48428 computations (30.4% saved)

analyze5.8s (1.9%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series2.6s (0.9%)

Counts
924 → 18400
Calls

4887 calls:

TimeVariablePointExpression
197.0ms
a
@inf
(sqrt.f64 (+.f64 (sqrt.f64 (fma.f64 b b (fma.f64 c (*.f64 a -4) (fma.f64 c (*.f64 a -4) (*.f64 4 (*.f64 c a)))))) (neg.f64 b)))
47.0ms
c
@inf
(/.f64 (-.f64 (*.f64 a (*.f64 c -4)) (*.f64 b (+.f64 b b))) (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) b))
47.0ms
x
@0
(pow.f64 (exp.f64 10) (*.f64 x x))
42.0ms
c
@-inf
(*.f64 a (/.f64 2 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))))
36.0ms
v
@0
(/.f64 (*.f64 1/8 (+.f64 3 (*.f64 -2 v))) (*.f64 (/.f64 1 (*.f64 w r)) (/.f64 (-.f64 1 v) (*.f64 w r))))

end10.0ms (0%)

Profiling

Loading profile data...