Herbie run

Date:Friday, October 6th, 2023
Commit:add13636 on main
Hostname:nightly with Racket 8.6
Seed:2023279
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.6min)

sample8.5min (19.2%)

Results
5.5min1790353×body256valid
1.1min334916×body256infinite
36.2s143023×body256invalid
34.2s44948×body1024valid
17.1s32632×body512valid
9.8s9756×body2048valid
2.8s4733×body1024infinite
2.6s1548×body8192exit
1.3s3165×body512infinite
705.0ms361×body4096valid
420.0ms1229×body1024invalid
256.0ms911×body512invalid
Bogosity

regimes7.5min (16.8%)

Counts
35123 → 5746
Calls

486 calls:

1.1min
x
1.1min
y
1.1min
z
41.3s
t
32.6s
a
Compiler

Compiled 425292 to 235055 computations (44.7% saved)

soundness7.3min (16.3%)

Rules
1236672×fma-def
748378×associate-*r*
661148×log-prod
656356×fma-neg
622588×associate-*l*
Stop Event
7×unsound
80×saturated
1577×node limit
Results
Compiler

Compiled 111120 to 61339 computations (44.8% saved)

localize4.4min (10%)

Compiler

Compiled 113760 to 47023 computations (58.7% saved)

simplify3.7min (8.2%)

Algorithm
1062×egg-herbie
Rules
571166×fma-def
470408×log-prod
442864×associate-*r*
393260×associate-*l*
348198×times-frac
Stop Event
82×done
5×unsound
268×saturated
187×fuel
789×node limit
Counts
353681 → 260204
Compiler

Compiled 67585 to 40291 computations (40.4% saved)

eval3.6min (8%)

Compiler

Compiled 7627909 to 3711573 computations (51.3% saved)

prune2.3min (5.1%)

Counts
328537 → 13244
Compiler

Compiled 730357 to 500928 computations (31.4% saved)

rewrite2.2min (5%)

Algorithm
793×batch-egg-rewrite
Rules
492274×pow1
463524×log1p-expm1-u
463482×expm1-log1p-u
462214×add-exp-log
441866×add-log-exp
Stop Event
2×unsound
791×node limit
Counts
5638 → 199861

bsearch2.2min (5%)

Algorithm
3422×binary-search
295×left-value
Stop Event
3371×narrow-enough
51×predicate-same
Results
1.2min315873×body256valid
40.8s96258×body256infinite
4.9s5024×body1024valid
2.7s5700×body512valid
1.1s7672×body256invalid
864.0ms1224×body1024infinite
186.0ms591×body512infinite
110.0ms226×body2048valid
Compiler

Compiled 801030 to 597019 computations (25.5% saved)

preprocess1.8min (4.1%)

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 146132 to 73320 computations (49.8% saved)

series39.0s (1.5%)

Counts
5638 → 153820
Calls

39663 calls:

TimeVariablePointExpression
355.0ms
x
@0
(*.f64 x (log.f64 y))
291.0ms
x
@0
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x 27061/100000))))
281.0ms
z
@-inf
(cbrt.f64 (*.f64 y (sqrt.f64 z)))
181.0ms
x
@0
(*.f64 x (log.f64 (/.f64 x y)))
177.0ms
y
@0
(-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y)))

analyze24.0s (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)

end198.0ms (0%)

Profiling

Loading profile data...