Herbie run

Date:Friday, October 6th, 2023
Commit:c7e70dc6 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.8min)

sample8.6min (19.3%)

Results
5.6min1790353×body256valid
1.2min334916×body256infinite
34.3s143023×body256invalid
33.7s44948×body1024valid
16.2s32632×body512valid
9.4s9756×body2048valid
2.2s1548×body8192exit
2.1s4733×body1024infinite
1.2s3165×body512infinite
705.0ms361×body4096valid
699.0ms1229×body1024invalid
283.0ms911×body512invalid
Bogosity

regimes7.7min (17.1%)

Counts
35123 → 5746
Calls

486 calls:

1.2min
x
1.2min
y
1.1min
z
41.4s
t
33.1s
a
Compiler

Compiled 425292 to 235055 computations (44.7% saved)

soundness7.2min (16%)

Rules
1235356×fma-def
747362×associate-*r*
660416×log-prod
654116×fma-neg
622560×associate-*l*
Stop Event
7×unsound
80×saturated
1575×node limit
Results
Compiler

Compiled 111026 to 61284 computations (44.8% saved)

localize4.5min (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.4min (5.4%)

Counts
328537 → 13244
Compiler

Compiled 730357 to 500928 computations (31.4% saved)

bsearch2.4min (5.3%)

Algorithm
3422×binary-search
295×left-value
Stop Event
3371×narrow-enough
51×predicate-same
Results
1.3min315873×body256valid
44.3s96258×body256infinite
3.7s5024×body1024valid
3.2s5700×body512valid
1.4s7672×body256invalid
654.0ms1224×body1024infinite
310.0ms591×body512infinite
116.0ms226×body2048valid
Compiler

Compiled 801030 to 597019 computations (25.5% 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

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 134823 to 68310 computations (49.3% saved)

series42.4s (1.6%)

Counts
5638 → 153820
Calls

39663 calls:

TimeVariablePointExpression
407.0ms
z
@inf
(*.f64 (*.f64 x 18) (*.f64 y z))
312.0ms
z
@0
(*.f64 (+.f64 y -1) (*.f64 x z))
309.0ms
x
@inf
(pow.f64 (cbrt.f64 (fma.f64 (+.f64 a -1/2) (log.f64 t) (-.f64 (log.f64 (*.f64 (+.f64 x y) z)) t))) 3)
301.0ms
y
@-inf
(cbrt.f64 (cbrt.f64 (sin.f64 y)))
295.0ms
x
@0
(*.f64 x (log.f64 y))

analyze22.3s (0.8%)

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)

end81.0ms (0%)

Profiling

Loading profile data...