Herbie run

Date:Saturday, January 27th, 2024
Commit:72aaa402 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024027
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: 38.0min)

soundness7.5min (19.7%)

Rules
1159922×fma-def
619930×associate-*r*
569738×times-frac
492740×fma-neg
481668×associate-*l*
Stop Event
84×saturated
1443×node limit
8×unsound
Compiler

Compiled 99874 to 54414 computations (45.5% saved)

sample6.4min (16.8%)

Results
4.6min1822734×256valid
58.7s341848×256infinite
14.8s64136×256invalid
13.3s30391×512valid
8.7s19048×1024valid
2.7s5062×2048valid
1.9s1599×8192exit
332.0ms1067×512infinite
398.0ms712×1024infinite
204.0ms699×1024invalid
145.0ms590×512invalid
1.0ms2×4096valid
Bogosity

regimes5.1min (13.4%)

Counts
32661 → 5746
Calls

492 calls:

50.4s
y
44.7s
x
43.6s
z
36.5s
t
32.6s
a
Compiler

Compiled 44795 to 35359 computations (21.1% saved)

simplify3.7min (9.8%)

Algorithm
1072×egg-herbie
Rules
600848×fma-def
442378×log-prod
395906×associate-*r*
375120×times-frac
343028×associate-*l*
Stop Event
268×saturated
798×node limit
138×fuel
6×unsound
131×done
Counts
353749 → 259296
Compiler

Compiled 65159 to 39741 computations (39% saved)

localize3.4min (9.1%)

Compiler

Compiled 107367 to 47503 computations (55.8% saved)

eval2.9min (7.6%)

Compiler

Compiled 7582871 to 4038793 computations (46.7% saved)

rewrite2.8min (7.4%)

Algorithm
803×batch-egg-rewrite
Rules
493530×log1p-expm1-u
378432×expm1-log1p-u
288010×expm1-udef
276780×log-prod
267124×prod-diff
Stop Event
802×node limit
1×unsound
Counts
5370 → 205882

preprocess2.0min (5.3%)

Algorithm
269×egg-herbie
Rules
366494×fma-def
126628×fma-neg
120808×sub-neg
110422×unsub-neg
108590×div-sub
Stop Event
123×saturated
146×node limit
Compiler

Compiled 195535 to 98726 computations (49.5% saved)

bsearch1.7min (4.5%)

Algorithm
3479×binary-search
258×left-value
Stop Event
55×predicate-same
3424×narrow-enough
Results
1.1min343880×256valid
22.6s80610×256infinite
1.3s9791×256invalid
2.6s5747×512valid
2.3s3410×1024valid
211.0ms366×2048valid
9.0ms30×512infinite
2.0ms6×1024invalid
4.0ms5×1024infinite
Compiler

Compiled 777468 to 580526 computations (25.3% saved)

prune1.6min (4.2%)

Counts
326253 → 12675
Compiler

Compiled 420070 to 287690 computations (31.5% saved)

series35.2s (1.5%)

Counts
5370 → 147867
Calls

38220 calls:

TimeVariablePointExpression
199.0ms
x
@0
(*.f64 x (log.f64 y))
176.0ms
x
@inf
(tan.f64 (*.f64 x (/.f64 1/2 y)))
171.0ms
t
@inf
(exp.f64 (log1p.f64 (neg.f64 (log.f64 t))))
161.0ms
y
@-inf
(-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
150.0ms
x
@0
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (cos.f64 y)) (*.f64 z (neg.f64 (sin.f64 y))))

analyze16.8s (0.7%)

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
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.3%27.5%0.1%0%4.1%0%5
75.9%72.4%22.9%0.1%0%4.6%0%6
80%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.1%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86.1%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end153.0ms (0%)

Profiling

Loading profile data...