Herbie run

Date:Saturday, October 7th, 2023
Commit:1db488d4 on platforms
Hostname:nightly with Racket 8.6
Seed:2023280
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: 44.8min)

sample8.7min (19.3%)

Results
5.6min1791963×body256valid
1.2min333174×body256infinite
36.9s143977×body256invalid
34.2s45626×body1024valid
15.8s32014×body512valid
9.9s9686×body2048valid
2.6s1468×body8192exit
2.5s4775×body1024infinite
1.1s3262×body512infinite
963.0ms363×body4096valid
451.0ms1201×body1024invalid
389.0ms945×body512invalid
1.0ms1×body2048invalid
1.0ms1×body2048infinite
Bogosity

soundness7.5min (16.7%)

Rules
1333000×fma-def
722394×associate-*r*
680772×log-prod
651152×fma-neg
594920×times-frac
Stop Event
4×unsound
84×saturated
1626×node limit
Results
Compiler

Compiled 115892 to 64077 computations (44.7% saved)

regimes7.3min (16.2%)

Counts
35445 → 5789
Calls

490 calls:

1.2min
y
1.1min
z
1.1min
x
41.8s
t
35.3s
a
Compiler

Compiled 423500 to 230376 computations (45.6% saved)

localize4.3min (9.5%)

Compiler

Compiled 112130 to 45473 computations (59.4% saved)

simplify3.9min (8.8%)

Algorithm
1081×egg-herbie
Rules
599596×fma-def
490320×log-prod
432416×associate-*r*
384092×associate-*l*
361874×fma-neg
Stop Event
73×done
6×unsound
268×saturated
196×fuel
807×node limit
Counts
365088 → 264921
Compiler

Compiled 68095 to 40973 computations (39.8% saved)

eval3.7min (8.3%)

Compiler

Compiled 7868647 to 3804692 computations (51.6% saved)

prune2.4min (5.4%)

Counts
338643 → 13077
Compiler

Compiled 700933 to 475906 computations (32.1% saved)

rewrite2.3min (5.1%)

Algorithm
812×batch-egg-rewrite
Rules
507936×pow1
478564×add-exp-log
478276×log1p-expm1-u
478244×expm1-log1p-u
449832×add-log-exp
Stop Event
2×unsound
810×node limit
Counts
5714 → 209444

bsearch2.2min (5%)

Algorithm
3396×binary-search
296×left-value
Stop Event
3353×narrow-enough
43×predicate-same
Results
1.3min317522×body256valid
39.2s89052×body256infinite
3.8s4283×body1024valid
2.7s4664×body512valid
1.0s4675×body256invalid
649.0ms1305×body1024infinite
352.0ms707×body512infinite
80.0ms163×body2048valid
3.0ms8×body512invalid
Compiler

Compiled 781633 to 581523 computations (25.6% saved)

preprocess1.5min (3.3%)

Algorithm
269×egg-herbie
Rules
379496×fma-def
124614×fma-neg
117016×sub-neg
102806×unsub-neg
98826×div-sub
Stop Event
123×saturated
146×node limit
Compiler

Compiled 136051 to 68850 computations (49.4% saved)

series37.9s (1.4%)

Counts
5714 → 155644
Calls

39648 calls:

TimeVariablePointExpression
340.0ms
x
@0
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 27061/100000) x)))
285.0ms
x
@0
(*.f64 x (log.f64 y))
227.0ms
y
@-inf
(*.f64 b (+.f64 (+.f64 t y) -2))
209.0ms
a
@0
(*.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (/.f64 (pow.f64 z y) (exp.f64 b))) (/.f64 x y))
183.0ms
y
@0
(-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y)))

analyze24.8s (0.9%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
49.9%49.7%49.9%0.1%0%0.2%0%2
57.9%57.4%41.7%0.1%0%0.7%0%3
64%63.2%35.5%0.1%0%1.2%0%4
69.8%68.7%29.8%0.1%0%1.4%0%5
74.4%72.7%25.1%0.1%0%2.1%0%6
78.5%76%20.8%0.1%0%3%0%7
80.3%77.4%19%0.1%0%3.5%0%8
83.1%79.6%16.2%0.1%0%4.1%0%9
84.8%80.8%14.4%0.1%0%4.7%0%10
87.7%83.1%11.7%0.1%0%5.1%0%11
88.9%83.8%10.5%0.1%0%5.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end147.0ms (0%)

Profiling

Loading profile data...