Herbie run

Date:Friday, July 21st, 2023
Commit:687f458a on main
Hostname:nightly with Racket 8.6
Seed:2023202
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: 49.8s)

sample11.2s (22.6%)

Results
8.4s62961×body256valid
1.4s4180×body2048valid
975.0ms7163×body256infinite
361.0ms1885×body256invalid
Bogosity

localize10.2s (20.5%)

Compiler

Compiled 5915 to 3123 computations (47.2% saved)

eval7.5s (15.1%)

Compiler

Compiled 427540 to 257604 computations (39.7% saved)

soundness6.2s (12.4%)

Rules
37418×fma-def
16628×associate-*r*
15536×fma-neg
14572×times-frac
14284×associate-*l*
Stop Event
3×saturated
37×node limit
Compiler

Compiled 3407 to 2089 computations (38.7% saved)

simplify3.7s (7.5%)

Algorithm
37×egg-herbie
Rules
31846×fma-def
14450×fma-neg
11882×times-frac
11698×associate-*r*
10572×associate-*l*
Stop Event
15×saturated
5×done
4×fuel
22×node limit
Counts
6220 → 6009
Compiler

Compiled 899 to 580 computations (35.5% saved)

prune3.2s (6.3%)

Counts
11211 → 352
Compiler

Compiled 30701 to 20288 computations (33.9% saved)

regimes2.9s (5.9%)

Counts
462 → 77
Calls

23 calls:

777.0ms
c
418.0ms
a
366.0ms
b
302.0ms
x
269.0ms
f
Compiler

Compiled 9731 to 5348 computations (45% saved)

rewrite1.9s (3.8%)

Algorithm
19×batch-egg-rewrite
Rules
13508×pow1
12730×add-exp-log
12724×expm1-log1p-u
12724×log1p-expm1-u
12628×add-log-exp
Stop Event
19×node limit
Counts
125 → 3782

preprocess1.1s (2.1%)

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 2245 to 1328 computations (40.8% saved)

bsearch717.0ms (1.4%)

Algorithm
40×binary-search
Stop Event
39×narrow-enough
1×predicate-same
Results
531.0ms4549×body256valid
97.0ms811×body256infinite
14.0ms107×body256invalid
Compiler

Compiled 9359 to 6658 computations (28.9% saved)

analyze640.0ms (1.3%)

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)

series545.0ms (1.1%)

Counts
125 → 2429
Calls

843 calls:

TimeVariablePointExpression
18.0ms
c
@0
(pow.f64 (fma.f64 b b (*.f64 -4 (*.f64 a c))) 1/4)
10.0ms
b
@inf
(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))
9.0ms
c
@0
(+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))
9.0ms
a
@-inf
(exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))
6.0ms
c
@inf
(cbrt.f64 (pow.f64 (*.f64 c (/.f64 -2 (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) 3))

end0.0ms (0%)

Profiling

Loading profile data...