Herbie run

Date:Saturday, May 18th, 2024
Commit:fffc84a6 on zane-better-job-hash
Hostname:nightly with Racket 8.11.1
Seed:2024139
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 5.8min)

sample2.7min (46.5%)

Results
41.2s55410×2valid
32.5s142346×0precondition
28.0s7062×5exit
27.1s116188×1valid
6.9s56965×0valid
3.9s2605×3valid
417.0ms4122×0invalid
412.0ms4250×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 26.3s (22.2% of total)
ival-tan: 12.3s (10.4% of total)
ival-exp: 12.3s (10.4% of total)
ival-mult: 9.5s (8% of total)
ival-sub: 7.4s (6.2% of total)
backward-pass: 6.0s (5.1% of total)
ival-add: 6.0s (5% of total)
...c/correct-round.rkt:121:19: 5.6s (4.7% of total)
ival-div: 5.2s (4.4% of total)
ival-cos: 5.1s (4.3% of total)
ival-log: 4.8s (4.1% of total)
ival-sin: 4.1s (3.5% of total)
ival-<=: 4.1s (3.4% of total)
ival-fabs: 2.5s (2.1% of total)
ival-<: 1.6s (1.3% of total)
ival-sqrt: 1.3s (1.1% of total)
ival->: 1.3s (1.1% of total)
ival-and: 737.0ms (0.6% of total)
ival-fmin: 708.0ms (0.6% of total)
const: 655.0ms (0.6% of total)
ival-neg: 566.0ms (0.5% of total)
ival-atan: 410.0ms (0.3% of total)
ival-cbrt: 296.0ms (0.2% of total)
Bogosity

simplify48.2s (13.9%)

Algorithm
245×egg-herbie
Rules
89304×fma-define
74842×fma-neg
48799×distribute-lft-in
43356×distribute-rgt-in
42966×times-frac
Stop Event
83×saturated
161×node limit
1×unsound
Counts
58284 → 59683

soundness27.6s (8%)

Rules
31302×log1p-expm1-u
30148×fma-define
25731×fma-neg
23963×expm1-log1p-u
18948×associate-*r*
Stop Event
9×saturated
109×node limit
22×fuel
6×done
Compiler

Compiled 19745 to 6182 computations (68.7% saved)

rewrite25.4s (7.3%)

Algorithm
108×batch-egg-rewrite
Rules
68186×log1p-expm1-u
49833×expm1-log1p-u
22182×pow1
21886×add-exp-log
21499×add-log-exp
Stop Event
108×node limit
Counts
1234 → 39696

localize24.7s (7.1%)

Results
7.6s8234×1valid
5.2s3851×2valid
4.9s13667×0valid
857.0ms445×3valid
713.0ms203×5exit
440.0ms1417×0invalid
36.0ms87×0unsamplable
Compiler

Compiled 17085 to 2482 computations (85.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.5s
ival-pow: 1.8s (14.6% of total)
ival-mult: 1.8s (14.4% of total)
backward-pass: 1.7s (13.2% of total)
ival-div: 1.4s (11% of total)
ival-tan: 767.0ms (6.1% of total)
ival-add: 764.0ms (6.1% of total)
...c/correct-round.rkt:121:19: 660.0ms (5.3% of total)
ival-exp: 637.0ms (5.1% of total)
ival-sub: 549.0ms (4.4% of total)
ival-log: 470.0ms (3.7% of total)
ival-cos: 399.0ms (3.2% of total)
ival-sqrt: 362.0ms (2.9% of total)
ival-log1p: 267.0ms (2.1% of total)
ival-fma: 257.0ms (2% of total)
ival-sin: 200.0ms (1.6% of total)
ival-cbrt: 129.0ms (1% of total)
ival-neg: 112.0ms (0.9% of total)
const: 102.0ms (0.8% of total)
ival-cosh: 54.0ms (0.4% of total)
ival-expm1: 36.0ms (0.3% of total)
ival-hypot: 31.0ms (0.2% of total)
ival-atan: 29.0ms (0.2% of total)
ival-atan2: 18.0ms (0.1% of total)
ival-e: 13.0ms (0.1% of total)

prune15.3s (4.4%)

Counts
81553 → 2129
Compiler

Compiled 65319 to 36996 computations (43.4% saved)

eval14.9s (4.3%)

Compiler

Compiled 1884855 to 302892 computations (83.9% saved)

series7.6s (2.2%)

Counts
1234 → 18588
Calls

4995 calls:

TimeVariablePointExpression
536.0ms
x
@inf
(log (- (tan (+ x eps)) (tan x)))
260.0ms
a
@inf
(pow (- (exp (* a x)) 1) 1/6)
165.0ms
a
@0
(/ b_2 (neg a))
153.0ms
a
@0
(/ eps (* (- (exp (* eps a)) 1) (- (exp (* eps b)) 1)))
108.0ms
x
@inf
(/ (+ 1 (* x (+ 1/2 (* x 1/12)))) x)

explain7.4s (2.1%)

Results
2.9s3486×2valid
2.0s7218×1valid
634.0ms3476×0valid
134.0ms156×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-div: 580.0ms (16.1% of total)
ival-exp: 498.0ms (13.8% of total)
ival-tan: 462.0ms (12.8% of total)
ival-cos: 373.0ms (10.3% of total)
backward-pass: 310.0ms (8.6% of total)
ival-log: 302.0ms (8.4% of total)
ival-sub: 289.0ms (8% of total)
ival-sin: 198.0ms (5.5% of total)
ival-mult: 150.0ms (4.2% of total)
ival-add: 139.0ms (3.9% of total)
ival-pow: 106.0ms (2.9% of total)
ival-sqrt: 79.0ms (2.2% of total)
ival-neg: 49.0ms (1.4% of total)
const: 31.0ms (0.9% of total)
ival-atan: 24.0ms (0.7% of total)
ival-cbrt: 19.0ms (0.5% of total)

preprocess5.5s (1.6%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 9428 to 3838 computations (59.3% saved)

regimes3.3s (0.9%)

Counts
4086 → 318
Calls

43 calls:

999.0ms
x
222.0ms
b_2
211.0ms
eps
182.0ms
b
161.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
Compiler

Compiled 1578 to 1057 computations (33% saved)

analyze3.0s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-pow: 226.0ms (13.6% of total)
ival-sub: 209.0ms (12.6% of total)
ival-mult: 203.0ms (12.2% of total)
ival-log: 168.0ms (10.1% of total)
...c/correct-round.rkt:121:19: 158.0ms (9.5% of total)
ival-div: 120.0ms (7.2% of total)
ival-<=: 91.0ms (5.5% of total)
ival-exp: 81.0ms (4.9% of total)
ival-add: 68.0ms (4.1% of total)
ival-sin: 59.0ms (3.5% of total)
ival-sqrt: 56.0ms (3.4% of total)
ival-fabs: 52.0ms (3.1% of total)
ival-tan: 38.0ms (2.3% of total)
ival-neg: 36.0ms (2.2% of total)
const: 25.0ms (1.5% of total)
ival-cos: 23.0ms (1.4% of total)
ival->: 16.0ms (1% of total)
ival-and: 13.0ms (0.8% of total)
ival-<: 9.0ms (0.5% of total)
backward-pass: 7.0ms (0.4% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.5s (0.7%)

Algorithm
83×binary-search
33×left-value
Stop Event
7×predicate-same
76×narrow-enough
Results
837.0ms8370×0valid
443.0ms2354×1valid
316.0ms620×2valid
187.0ms1794×0invalid
9.0ms71×0unsamplable
Compiler

Compiled 17986 to 13115 computations (27.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 264.0ms (20.8% of total)
ival-neg: 193.0ms (15.2% of total)
ival-div: 169.0ms (13.3% of total)
ival-pow: 169.0ms (13.3% of total)
ival-sub: 128.0ms (10.1% of total)
ival-exp: 88.0ms (6.9% of total)
ival-sqrt: 80.0ms (6.3% of total)
backward-pass: 56.0ms (4.4% of total)
ival-add: 49.0ms (3.9% of total)
ival-cos: 25.0ms (2% of total)
ival-cbrt: 22.0ms (1.7% of total)
const: 21.0ms (1.7% of total)
ival-sin: 4.0ms (0.3% of total)
ival-log: 2.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...