Herbie run

Date:Thursday, October 12th, 2023
Commit:add13636 on main
Hostname:nightly with Racket 8.6
Seed:2023285
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: 1.1min)

sample14.9s (22%)

Results
11.4s63041×body256valid
1.4s4073×body2048valid
1.4s7190×body256infinite
491.0ms1971×body256invalid
Bogosity

localize13.8s (20.4%)

Compiler

Compiled 5994 to 3176 computations (47% saved)

eval13.6s (20.1%)

Compiler

Compiled 541912 to 333149 computations (38.5% saved)

soundness5.0s (7.4%)

Rules
19058×fma-def
13408×associate-*r*
11104×associate-*l*
10858×times-frac
9394×fma-neg
Stop Event
2×saturated
26×node limit
Compiler

Compiled 2437 to 1419 computations (41.8% saved)

simplify4.2s (6.2%)

Algorithm
26×egg-herbie
Rules
13396×fma-def
10824×associate-*r*
9232×associate-*l*
7652×log-prod
6884×associate-/r*
Stop Event
10×saturated
4×done
5×fuel
16×node limit
Counts
5894 → 5161
Compiler

Compiled 1531 to 989 computations (35.4% saved)

prune4.1s (6%)

Counts
12603 → 271
Compiler

Compiled 25752 to 17233 computations (33.1% saved)

preprocess3.3s (4.9%)

Algorithm
9×egg-herbie
Rules
5828×div-sub
5698×fma-neg
5666×fma-def
4786×times-frac
3022×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3956 to 2328 computations (41.2% saved)

regimes3.1s (4.6%)

Counts
400 → 89
Calls

23 calls:

547.0ms
b
499.0ms
z
474.0ms
x
364.0ms
a
275.0ms
y
Compiler

Compiled 9245 to 5432 computations (41.2% saved)

rewrite2.6s (3.8%)

Algorithm
16×batch-egg-rewrite
Rules
11320×pow1
10690×add-exp-log
10682×expm1-log1p-u
10682×log1p-expm1-u
10590×add-log-exp
Stop Event
16×node limit
Counts
112 → 3852

bsearch1.1s (1.6%)

Algorithm
50×binary-search
Stop Event
40×narrow-enough
10×predicate-same
Results
855.0ms5161×body256valid
68.0ms475×body256invalid
66.0ms471×body256infinite
Compiler

Compiled 15254 to 10625 computations (30.3% saved)

analyze1.1s (1.6%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

series887.0ms (1.3%)

Counts
112 → 2042
Calls

696 calls:

TimeVariablePointExpression
55.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
35.0ms
c
@-inf
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
34.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
28.0ms
a
@0
(pow.f64 (*.f64 -4 (*.f64 a c)) 1/4)
26.0ms
c
@0
(pow.f64 (*.f64 -4 (*.f64 a c)) 1/4)

end1.0ms (0%)

Profiling

Loading profile data...