Herbie run

Date:Wednesday, July 19th, 2023
Commit:687f458a on main
Hostname:nightly with Racket 8.6
Seed:2023200
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: 30.9min)

sample6.1min (19.6%)

Results
3.9min1798071×body256valid
50.1s334934×body256infinite
25.1s143159×body256invalid
23.8s45851×body1024valid
10.8s31907×body512valid
6.9s9791×body2048valid
1.8s4925×body1024infinite
1.8s1577×body8192exit
813.0ms3334×body512infinite
590.0ms307×body4096valid
323.0ms1259×body1024invalid
191.0ms946×body512invalid
0.0ms1×body2048invalid
Bogosity

soundness5.2min (16.7%)

Rules
1201498×fma-def
669250×associate-*r*
595718×log-prod
558744×fma-neg
534650×associate-*l*
Stop Event
141×saturated
3×unsound
1418×node limit
Compiler

Compiled 109281 to 59884 computations (45.2% saved)

regimes4.5min (14.7%)

Counts
34315 → 5609
Calls

493 calls:

43.5s
x
42.9s
y
39.7s
z
29.3s
t
23.6s
a
Compiler

Compiled 398561 to 216236 computations (45.7% saved)

simplify3.1min (10.1%)

Algorithm
1370×egg-herbie
Rules
908866×fma-def
501180×log-prod
494412×associate-*r*
458656×fma-neg
427046×associate-*l*
Stop Event
4×unsound
72×done
436×saturated
198×fuel
930×node limit
Counts
384584 → 281798
Compiler

Compiled 63910 to 38805 computations (39.3% saved)

localize3.0min (9.7%)

Compiler

Compiled 115469 to 46994 computations (59.3% saved)

eval2.5min (8.2%)

Compiler

Compiled 8488970 to 4005205 computations (52.8% saved)

prune1.7min (5.5%)

Counts
358929 → 13734
Compiler

Compiled 691460 to 469945 computations (32% saved)

rewrite1.7min (5.4%)

Algorithm
830×batch-egg-rewrite
Rules
521064×pow1
490772×add-exp-log
490434×log1p-expm1-u
490404×expm1-log1p-u
460420×add-log-exp
Stop Event
1×unsound
829×node limit
Counts
5919 → 220651

bsearch1.3min (4.3%)

Algorithm
3227×binary-search
300×left-value
Stop Event
3172×narrow-enough
55×predicate-same
Results
48.6s311931×body256valid
16.9s75117×body256infinite
3.7s5121×body1024valid
1.6s4806×body512valid
1.5s14789×body256invalid
476.0ms1368×body1024infinite
111.0ms233×body2048valid
98.0ms448×body512infinite
3.0ms14×body512invalid
2.0ms6×body1024invalid
Compiler

Compiled 719505 to 532636 computations (26% saved)

preprocess59.8s (3.2%)

Algorithm
270×egg-herbie
Rules
380012×fma-def
124642×fma-neg
117048×sub-neg
102858×unsub-neg
98826×div-sub
Stop Event
124×saturated
146×node limit
Compiler

Compiled 141839 to 69198 computations (51.2% saved)

series30.6s (1.7%)

Counts
5919 → 163663
Calls

41757 calls:

TimeVariablePointExpression
471.0ms
z
@inf
(log.f64 (fma.f64 1/3 (acos.f64 (*.f64 (/.f64 (sqrt.f64 t) z) (/.f64 (*.f64 x 1/18) y))) 1))
346.0ms
z
@0
(-.f64 (*.f64 z z) (*.f64 t a))
330.0ms
x
@inf
(log.f64 (fma.f64 1/3 (acos.f64 (*.f64 (/.f64 (sqrt.f64 t) z) (/.f64 (*.f64 x 1/18) y))) 1))
295.0ms
c
@0
(fma.f64 x (log.f64 y) (+.f64 a (fma.f64 (+.f64 b -1/2) (log.f64 c) z)))
271.0ms
z
@0
(-.f64 (+.f64 (*.f64 -1 (*.f64 (log.f64 (/.f64 1 y)) x)) (*.f64 z (log.f64 (-.f64 1 y)))) t)

analyze15.3s (0.8%)

Algorithm
270×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.7%46.6%53.2%0.1%0%0%0%1
50.1%49.9%49.7%0.1%0%0.2%0%2
58%57.5%41.6%0.1%0%0.7%0%3
64.2%63.3%35.4%0.1%0%1.2%0%4
69.9%68.8%29.6%0.1%0%1.4%0%5
74.5%72.8%25%0.1%0%2%0%6
78.6%76.1%20.7%0.1%0%3%0%7
80.4%77.4%18.9%0.1%0%3.5%0%8
83.2%79.7%16.1%0.1%0%4%0%9
84.9%80.8%14.4%0.1%0%4.6%0%10
87.7%83.1%11.6%0.1%0%5.1%0%11
88.9%83.9%10.5%0.1%0%5.5%0%12
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

end50.0ms (0%)

Profiling

Loading profile data...