Herbie run

Date:Wednesday, April 17th, 2024
Commit:6204de5a on fpcore-fixes
Hostname:nightly with Racket 8.11.1
Seed:2024108
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: 3.1min)

sample45.2s (24.1%)

Results
9.6s111019×0valid
16.3s47081×1valid
8.3s16531×5exit
2.5s7020×2valid
419.0ms3908×0invalid
255.0ms1378×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 27.7s
ival-<=: 4.0s (14.6% of total)
ival-cos: 3.3s (12.1% of total)
backward-pass: 3.0s (10.7% of total)
ival-mult: 2.5s (9.1% of total)
ival-pow: 2.2s (8.1% of total)
ival-exp: 1.4s (5.1% of total)
ival-sin: 1.4s (5% of total)
ival-log: 1.4s (4.9% of total)
ival-tan: 1.3s (4.7% of total)
ival-add: 1.3s (4.6% of total)
ival-sqrt: 1.3s (4.5% of total)
ival-fmod: 1.1s (3.9% of total)
ival-div: 767.0ms (2.8% of total)
ival-sub: 690.0ms (2.5% of total)
ival-sinh: 482.0ms (1.7% of total)
ival-acos: 362.0ms (1.3% of total)
const: 305.0ms (1.1% of total)
ival-neg: 289.0ms (1% of total)
ival-==: 140.0ms (0.5% of total)
ival-<: 118.0ms (0.4% of total)
ival-and: 117.0ms (0.4% of total)
ival-atan: 53.0ms (0.2% of total)
ival-or: 52.0ms (0.2% of total)
ival->=: 48.0ms (0.2% of total)
ival->: 28.0ms (0.1% of total)
Bogosity

localize32.6s (17.4%)

Results
4.8s10454×0valid
5.9s3357×1valid
10.1s1663×2valid
6.4s825×5exit
51.0ms201×0unsamplable
84.0ms113×0invalid
307.0ms21×3valid
40.0ms6×1invalid
Compiler

Compiled 8793 to 4165 computations (52.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.9s
ival-pow: 6.1s (26.7% of total)
ival-mult: 2.5s (10.8% of total)
backward-pass: 2.4s (10.3% of total)
ival-log: 1.8s (8% of total)
ival-exp: 1.4s (6.3% of total)
ival-asin: 1.3s (5.5% of total)
ival-cos: 1.2s (5.3% of total)
ival-sub: 1.1s (4.7% of total)
ival-div: 908.0ms (4% of total)
ival-sqrt: 802.0ms (3.5% of total)
ival-add: 729.0ms (3.2% of total)
ival-acos: 721.0ms (3.1% of total)
ival-cbrt: 343.0ms (1.5% of total)
const: 315.0ms (1.4% of total)
ival-fma: 307.0ms (1.3% of total)
ival-tan: 275.0ms (1.2% of total)
ival-sin: 201.0ms (0.9% of total)
ival-log1p: 182.0ms (0.8% of total)
ival-neg: 130.0ms (0.6% of total)
ival-fmod: 100.0ms (0.4% of total)
ival-sinh: 49.0ms (0.2% of total)
ival-hypot: 27.0ms (0.1% of total)
ival-expm1: 26.0ms (0.1% of total)
ival-e: 16.0ms (0.1% of total)
ival-pi: 11.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
ival-atan: 2.0ms (0% of total)

simplify21.0s (11.2%)

Algorithm
81×egg-herbie
Rules
19609×fma-define
16958×fma-neg
15634×distribute-lft-in
15163×*-commutative
13525×distribute-rgt-in
Stop Event
20×saturated
53×node limit
8×unsound
Counts
26331 → 23866

soundness20.9s (11.1%)

Rules
15614×log1p-expm1-u
15276×fma-define
13785×expm1-log1p-u
12816×fma-neg
10385×associate-*r*
Stop Event
6×saturated
61×node limit
10×fuel
2×unsound
10×done
Compiler

Compiled 11201 to 5935 computations (47% saved)

eval16.7s (8.9%)

Compiler

Compiled 1002421 to 549873 computations (45.1% saved)

rewrite16.7s (8.9%)

Algorithm
61×batch-egg-rewrite
Rules
30861×log1p-expm1-u
26431×expm1-log1p-u
13796×add-exp-log
13726×pow1
13503×add-log-exp
Stop Event
61×node limit
Counts
475 → 17451

prune10.2s (5.4%)

Counts
40375 → 1686
Compiler

Compiled 60550 to 38593 computations (36.3% saved)

regimes6.6s (3.5%)

Counts
3433 → 145
Calls

53 calls:

1.3s
x
727.0ms
a
617.0ms
b
515.0ms
r
388.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1706 to 1207 computations (29.2% saved)

preprocess5.2s (2.8%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 7272 to 4294 computations (41% saved)

series4.9s (2.6%)

Counts
475 → 8880
Calls

2106 calls:

TimeVariablePointExpression
165.0ms
x
@0
(log (+ (log (* (cbrt (exp (exp (fmod (exp x) (sqrt (cos x)))))) (cbrt (exp (exp (fmod (exp x) (sqrt (cos x)))))))) (log (cbrt (exp (exp (fmod (exp x) (sqrt (cos x)))))))))
138.0ms
x
@0
(log (+ (* (* 1/3 (exp (fmod (exp x) (sqrt (cos x))))) 2) (log (cbrt (exp (exp (fmod (exp x) (sqrt (cos x)))))))))
134.0ms
a
@inf
(sqrt (- a b))
116.0ms
x
@-inf
(log (+ (log (* (cbrt (exp (exp (fmod (exp x) (sqrt (cos x)))))) (cbrt (exp (exp (fmod (exp x) (sqrt (cos x)))))))) (log (cbrt (exp (exp (fmod (exp x) (sqrt (cos x)))))))))
116.0ms
x
@inf
(log (/ (sinh x) x))

analyze3.9s (2.1%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 512.0ms (23.4% of total)
ival-<=: 321.0ms (14.7% of total)
ival-div: 264.0ms (12.1% of total)
ival-pow: 188.0ms (8.6% of total)
ival-add: 168.0ms (7.7% of total)
ival-tan: 124.0ms (5.7% of total)
ival-exp: 121.0ms (5.5% of total)
ival-sin: 73.0ms (3.3% of total)
ival-cos: 69.0ms (3.2% of total)
ival-fmod: 50.0ms (2.3% of total)
ival-and: 45.0ms (2.1% of total)
ival-sub: 40.0ms (1.8% of total)
const: 39.0ms (1.8% of total)
ival-sqrt: 37.0ms (1.7% of total)
ival-==: 32.0ms (1.5% of total)
ival-or: 22.0ms (1% of total)
ival-<: 21.0ms (1% of total)
ival-log: 19.0ms (0.9% of total)
ival-neg: 18.0ms (0.8% of total)
ival-sinh: 12.0ms (0.5% of total)
backward-pass: 8.0ms (0.4% of total)
ival->: 3.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

explain3.1s (1.6%)

Results
894.0ms6804×0valid
746.0ms2922×1valid
175.0ms404×2valid
489.0ms110×5exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-cos: 446.0ms (29.1% of total)
ival-mult: 211.0ms (13.7% of total)
ival-pow: 169.0ms (11% of total)
backward-pass: 106.0ms (6.9% of total)
ival-sqrt: 78.0ms (5.1% of total)
ival-sin: 70.0ms (4.6% of total)
ival-log: 68.0ms (4.4% of total)
ival-tan: 64.0ms (4.2% of total)
ival-div: 64.0ms (4.2% of total)
ival-add: 54.0ms (3.5% of total)
ival-sub: 52.0ms (3.4% of total)
ival-exp: 40.0ms (2.6% of total)
ival-fmod: 38.0ms (2.5% of total)
ival-acos: 24.0ms (1.6% of total)
const: 22.0ms (1.4% of total)
ival-sinh: 19.0ms (1.2% of total)
ival-neg: 9.0ms (0.6% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch790.0ms (0.4%)

Algorithm
30×binary-search
6×left-value
Stop Event
2×predicate-same
28×narrow-enough
Results
347.0ms2287×0valid
231.0ms785×1valid
Compiler

Compiled 4732 to 3285 computations (30.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 442.0ms
ival-pow: 121.0ms (27.4% of total)
ival-div: 105.0ms (23.7% of total)
ival-cos: 56.0ms (12.7% of total)
ival-sin: 52.0ms (11.8% of total)
ival-mult: 44.0ms (9.9% of total)
ival-exp: 23.0ms (5.2% of total)
ival-add: 14.0ms (3.2% of total)
backward-pass: 14.0ms (3.2% of total)
ival-neg: 8.0ms (1.8% of total)
const: 4.0ms (0.9% of total)

end0.0ms (0%)

Profiling

Loading profile data...