Herbie run

Date:Friday, March 15th, 2024
Commit:1bed614a on main
Hostname:nightly with Racket 8.11.1
Seed:2024075
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: 7.1min)

sample3.1min (43.4%)

Results
32.8s140879×256precondition
15.8s95813×256valid
27.8s58100×1024valid
44.8s36159×2048valid
9.5s34776×512valid
34.7s7083×8192exit
689.0ms4248×256unsamplable
882.0ms4157×256infinite
461.0ms3980×256invalid
1.3s1850×4096valid
150.0ms175×512infinite
143.0ms138×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.7s, 26.0% of total-time
Operation ival-tan, time spent: 13.7s, 11.0% of total-time
Operation ival-exp, time spent: 11.8s, 9.0% of total-time
Operation ival-mult, time spent: 10.0s, 8.0% of total-time
Operation ival-sub, time spent: 8.9s, 7.0% of total-time
Operation ival-div, time spent: 6.5s, 5.0% of total-time
Operation ival-log, time spent: 6.0s, 5.0% of total-time
Operation ival-cos, time spent: 5.5s, 4.0% of total-time
Operation ival-fabs, time spent: 5.2s, 4.0% of total-time
Operation ival-sin, time spent: 5.0s, 4.0% of total-time
Operation ival-<=, time spent: 5.0s, 4.0% of total-time
Operation ival-add, time spent: 4.9s, 4.0% of total-time
Operation ival-<, time spent: 2.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.9s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival->, time spent: 1.0s, 1.0% of total-time
Operation ival-fmin, time spent: 841.0ms, 1.0% of total-time
Operation ival-atan, time spent: 697.0ms, 1.0% of total-time
Operation ival-neg, time spent: 512.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 331.0ms, 0.0% of total-time
Bogosity

localize1.5min (20.9%)

Compiler

Compiled 20033 to 11749 computations (41.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-pow, time spent: 24.0s, 36.0% of total-time
Operation ival-mult, time spent: 9.4s, 14.0% of total-time
Operation ival-div, time spent: 5.8s, 9.0% of total-time
Operation ival-exp, time spent: 5.3s, 8.0% of total-time
Operation ival-add, time spent: 5.2s, 8.0% of total-time
Operation composed, time spent: 4.2s, 6.0% of total-time
Operation ival-log, time spent: 3.3s, 5.0% of total-time
Operation ival-sub, time spent: 2.7s, 4.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-sin, time spent: 1.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 890.0ms, 1.0% of total-time
Operation ival-cos, time spent: 712.0ms, 1.0% of total-time
Operation ival-tan, time spent: 636.0ms, 1.0% of total-time
Operation ival-neg, time spent: 195.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 58.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 47.0ms, 0.0% of total-time
Operation ival-atan, time spent: 23.0ms, 0.0% of total-time
Operation ival-e, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

eval36.0s (8.5%)

Compiler

Compiled 1676496 to 1059065 computations (36.8% saved)

simplify27.9s (6.6%)

Algorithm
127×egg-herbie
Rules
31765×fma-neg
30891×fma-define
28196×distribute-lft-in
27173×associate-*r*
26243×*-commutative
Stop Event
28×saturated
99×node limit
20×fuel
8×done
Counts
42222 → 45254
Compiler

Compiled 3985 to 2827 computations (29.1% saved)

soundness22.9s (5.4%)

Rules
29114×fma-define
28433×log1p-expm1-u
28218×fma-neg
25334×expm1-log1p-u
18051×associate-*r*
Stop Event
7×saturated
105×node limit
Compiler

Compiled 20131 to 13228 computations (34.3% saved)

rewrite20.3s (4.8%)

Algorithm
99×batch-egg-rewrite
Rules
59694×log1p-expm1-u
47244×expm1-log1p-u
21195×pow1
20237×prod-diff
19337×add-exp-log
Stop Event
99×node limit
Counts
795 → 28567

preprocess15.3s (3.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 13303 to 8542 computations (35.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
Operation ival-tan, time spent: 787.0ms, 15.0% of total-time
Operation ival-exp, time spent: 643.0ms, 12.0% of total-time
Operation ival-log, time spent: 609.0ms, 12.0% of total-time
Operation ival-add, time spent: 583.0ms, 11.0% of total-time
Operation ival-sub, time spent: 576.0ms, 11.0% of total-time
Operation ival-mult, time spent: 393.0ms, 8.0% of total-time
Operation ival-div, time spent: 373.0ms, 7.0% of total-time
Operation ival-pow, time spent: 322.0ms, 6.0% of total-time
Operation ival-cos, time spent: 258.0ms, 5.0% of total-time
Operation ival-sin, time spent: 228.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 146.0ms, 3.0% of total-time
Operation const, time spent: 125.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 49.0ms, 1.0% of total-time
Operation ival-atan, time spent: 38.0ms, 1.0% of total-time
Operation ival-neg, time spent: 37.0ms, 1.0% of total-time

prune13.8s (3.2%)

Counts
62755 → 1900
Compiler

Compiled 69197 to 48427 computations (30% saved)

series4.9s (1.2%)

Counts
795 → 13655
Calls

3570 calls:

TimeVariablePointExpression
167.0ms
x
@0
(* (- 1/9 (* (pow x 4) 1/2025)) (/ x (+ 1/3 (* (pow x 2) -1/45))))
143.0ms
eps
@inf
(log (+ 1 (tan (+ x eps))))
87.0ms
x
@inf
(log (+ 1 (neg (cos x))))
61.0ms
x
@-inf
(log (- (exp (* a x)) 1))
61.0ms
a
@-inf
(cbrt (cbrt (- (exp (* a x)) 1)))

regimes4.4s (1%)

Counts
3633 → 280
Calls

43 calls:

1.5s
x
450.0ms
(/.f64 #s(literal 1 binary64) n)
311.0ms
eps
282.0ms
n
224.0ms
a
Compiler

Compiled 1667 to 1163 computations (30.2% saved)

analyze3.4s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-mult, time spent: 226.0ms, 13.0% of total-time
Operation ival-sub, time spent: 214.0ms, 12.0% of total-time
Operation ival-log, time spent: 195.0ms, 11.0% of total-time
Operation ival-pow, time spent: 179.0ms, 10.0% of total-time
Operation ival-div, time spent: 150.0ms, 9.0% of total-time
Operation ival-fabs, time spent: 104.0ms, 6.0% of total-time
Operation ival-sin, time spent: 101.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 100.0ms, 6.0% of total-time
Operation ival-exp, time spent: 92.0ms, 5.0% of total-time
Operation ival-<=, time spent: 87.0ms, 5.0% of total-time
Operation ival-add, time spent: 67.0ms, 4.0% of total-time
Operation ival-tan, time spent: 57.0ms, 3.0% of total-time
Operation const, time spent: 47.0ms, 3.0% of total-time
Operation ival-fmin, time spent: 40.0ms, 2.0% of total-time
Operation ival-neg, time spent: 34.0ms, 2.0% of total-time
Operation ival-cos, time spent: 28.0ms, 2.0% of total-time
Operation ival->, time spent: 14.0ms, 1.0% of total-time
Operation ival-and, time spent: 13.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 1.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

bsearch3.0s (0.7%)

Algorithm
68×binary-search
31×left-value
Stop Event
2×predicate-same
66×narrow-enough
Results
962.0ms5285×256valid
162.0ms1355×256invalid
668.0ms1124×1024valid
161.0ms580×256infinite
235.0ms545×512valid
258.0ms338×2048valid
19.0ms99×256unsamplable
17.0ms29×512infinite
18.0ms19×1024infinite
Compiler

Compiled 12874 to 9672 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-pow, time spent: 728.0ms, 48.0% of total-time
Operation ival-div, time spent: 264.0ms, 18.0% of total-time
Operation ival-mult, time spent: 158.0ms, 10.0% of total-time
Operation ival-sub, time spent: 108.0ms, 7.0% of total-time
Operation ival-add, time spent: 63.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 58.0ms, 4.0% of total-time
Operation ival-neg, time spent: 45.0ms, 3.0% of total-time
Operation ival-exp, time spent: 39.0ms, 3.0% of total-time
Operation const, time spent: 29.0ms, 2.0% of total-time
Operation ival-cos, time spent: 10.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 7.0ms, 0.0% of total-time

end23.0ms (0%)

Profiling

Loading profile data...