Herbie run

Date:Tuesday, March 19th, 2024
Commit:f5417cea on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024079
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: 6.8min)

sample3.3min (48.5%)

Results
29.6s143022×0precondition
52.6s116046×1valid
8.8s56921×0valid
52.9s43331×2valid
32.3s7078×5exit
788.0ms4190×0unsamplable
654.0ms4110×0invalid
769.0ms4062×0infinite
3.4s2117×3valid
300.0ms430×1infinite
5.0ms5×2infinite
Precisions
Click to see histograms. Total time spent on operations: 2.4min
Operation backward-pass, time spent: 37.7s, 27.0% of total-time
Operation ival-pow, time spent: 24.4s, 17.0% of total-time
Operation ival-exp, time spent: 12.1s, 9.0% of total-time
Operation ival-tan, time spent: 11.5s, 8.0% of total-time
Operation ival-mult, time spent: 8.3s, 6.0% of total-time
Operation ival-sub, time spent: 7.0s, 5.0% of total-time
Operation ival-add, time spent: 5.1s, 4.0% of total-time
Operation ival-div, time spent: 5.0s, 4.0% of total-time
Operation ival-log, time spent: 4.9s, 3.0% of total-time
Operation ival-<=, time spent: 4.5s, 3.0% of total-time
Operation ival-fabs, time spent: 3.9s, 3.0% of total-time
Operation ival-cos, time spent: 3.8s, 3.0% of total-time
Operation ival-<, time spent: 3.3s, 2.0% of total-time
Operation ival-sin, time spent: 3.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.8s, 1.0% of total-time
Operation const, time spent: 1.3s, 1.0% of total-time
Operation ival->, time spent: 1.0s, 1.0% of total-time
Operation ival-and, time spent: 921.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 834.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 512.0ms, 0.0% of total-time
Operation ival-neg, time spent: 423.0ms, 0.0% of total-time
Operation ival-atan, time spent: 404.0ms, 0.0% of total-time
Bogosity

localize55.3s (13.5%)

Compiler

Compiled 15464 to 9117 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.0s
Operation ival-pow, time spent: 9.3s, 24.0% of total-time
Operation ival-mult, time spent: 6.4s, 17.0% of total-time
Operation ival-div, time spent: 4.2s, 11.0% of total-time
Operation composed, time spent: 3.9s, 10.0% of total-time
Operation ival-add, time spent: 3.3s, 9.0% of total-time
Operation ival-sin, time spent: 2.2s, 6.0% of total-time
Operation ival-log, time spent: 2.0s, 5.0% of total-time
Operation ival-sub, time spent: 1.7s, 4.0% of total-time
Operation ival-exp, time spent: 1.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 3.0% of total-time
Operation const, time spent: 848.0ms, 2.0% of total-time
Operation ival-tan, time spent: 546.0ms, 1.0% of total-time
Operation ival-cos, time spent: 537.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 502.0ms, 1.0% of total-time
Operation ival-neg, time spent: 195.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 121.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 78.0ms, 0.0% of total-time
Operation ival-atan, time spent: 19.0ms, 0.0% of total-time

eval38.1s (9.3%)

Compiler

Compiled 1679788 to 1102761 computations (34.4% saved)

simplify24.9s (6.1%)

Algorithm
124×egg-herbie
Rules
32880×fma-define
27854×fma-neg
26925×distribute-lft-in
25978×times-frac
25338×*-commutative
Stop Event
27×saturated
95×node limit
19×fuel
2×unsound
8×done
Counts
39734 → 42680
Compiler

Compiled 3045 to 2147 computations (29.5% saved)

soundness24.5s (6%)

Rules
30656×log1p-expm1-u
30341×fma-define
27108×fma-neg
23616×expm1-log1p-u
18631×times-frac
Stop Event
7×saturated
107×node limit
2×unsound
Compiler

Compiled 18609 to 12149 computations (34.7% saved)

rewrite19.4s (4.8%)

Algorithm
97×batch-egg-rewrite
Rules
60900×log1p-expm1-u
46783×expm1-log1p-u
18488×pow1
18098×prod-diff
18051×add-exp-log
Stop Event
96×node limit
1×unsound
Counts
754 → 26721

preprocess15.2s (3.7%)

Algorithm
27×egg-herbie
Rules
8225×fma-neg
6464×fma-define
4232×div-sub
2644×sub-neg
2574×times-frac
Stop Event
22×saturated
5×node limit
Compiler

Compiled 11627 to 7404 computations (36.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
Operation ival-exp, time spent: 843.0ms, 16.0% of total-time
Operation ival-tan, time spent: 694.0ms, 13.0% of total-time
Operation ival-log, time spent: 660.0ms, 13.0% of total-time
Operation ival-sub, time spent: 508.0ms, 10.0% of total-time
Operation ival-pow, time spent: 486.0ms, 9.0% of total-time
Operation ival-mult, time spent: 413.0ms, 8.0% of total-time
Operation ival-div, time spent: 400.0ms, 8.0% of total-time
Operation ival-add, time spent: 347.0ms, 7.0% of total-time
Operation ival-cos, time spent: 254.0ms, 5.0% of total-time
Operation ival-sin, time spent: 232.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 133.0ms, 3.0% of total-time
Operation const, time spent: 99.0ms, 2.0% of total-time
Operation ival-neg, time spent: 34.0ms, 1.0% of total-time
Operation ival-atan, time spent: 34.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 29.0ms, 1.0% of total-time

prune15.1s (3.7%)

Counts
61114 → 1986
Compiler

Compiled 63144 to 45300 computations (28.3% saved)

regimes6.8s (1.7%)

Counts
3036 → 279
Calls

42 calls:

1.8s
x
809.0ms
a
789.0ms
c
677.0ms
(/.f64 #s(literal 1 binary64) n)
529.0ms
n
Compiler

Compiled 1548 to 1082 computations (30.1% saved)

series5.4s (1.3%)

Counts
754 → 13013
Calls

3411 calls:

TimeVariablePointExpression
170.0ms
b
@0
(/ a (+ b (sqrt (+ (* b b) (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4))))))))
112.0ms
n
@0
(/ (- (/ (+ (/ 1/4 x) -1/3) (* x n)) (/ 1/2 n)) x)
93.0ms
x
@inf
(* (pow x 2) 1/4725)
83.0ms
a
@inf
(pow (pow (exp (pow (cbrt (log (- (exp (* a x)) 1))) 2)) (cbrt (log (- (exp (* a x)) 1)))) 1/6)
79.0ms
n
@0
(* n (log n))

bsearch3.4s (0.8%)

Algorithm
83×binary-search
19×left-value
Stop Event
5×predicate-same
78×narrow-enough
Results
914.0ms6751×0valid
995.0ms2090×1valid
195.0ms1601×0invalid
451.0ms527×2valid
123.0ms465×0infinite
353.0ms151×1infinite
23.0ms137×0unsamplable
Compiler

Compiled 15172 to 11258 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
Operation backward-pass, time spent: 684.0ms, 35.0% of total-time
Operation ival-pow, time spent: 428.0ms, 22.0% of total-time
Operation ival-mult, time spent: 224.0ms, 11.0% of total-time
Operation ival-div, time spent: 162.0ms, 8.0% of total-time
Operation ival-sub, time spent: 128.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 102.0ms, 5.0% of total-time
Operation ival-exp, time spent: 90.0ms, 5.0% of total-time
Operation ival-add, time spent: 59.0ms, 3.0% of total-time
Operation ival-neg, time spent: 57.0ms, 3.0% of total-time
Operation const, time spent: 24.0ms, 1.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

analyze2.7s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
17.8%10.2%47.3%38.9%0%3.6%0%1
26.3%15.1%42.4%38.9%0%3.6%0%2
41.4%22.7%32.1%41.6%0%3.6%0%3
49.4%27%27.7%41.7%0%3.6%0%4
56.9%30.7%23.3%42.4%0%3.6%0%5
59%31.5%21.9%43.1%0%3.6%0%6
63.1%32.5%19%44%0%4.3%0.1%7
66.3%33.8%17.2%44.5%0%4.4%0.1%8
68.9%34.5%15.6%44.9%0%4.8%0.3%9
71%34.9%14.3%45.2%0%5.3%0.3%10
73.8%35.9%12.8%45.4%0%5.5%0.4%11
75%36.2%12.1%45.6%0%5.8%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-mult, time spent: 347.0ms, 23.0% of total-time
Operation ival-pow, time spent: 188.0ms, 12.0% of total-time
Operation ival-sub, time spent: 181.0ms, 12.0% of total-time
Operation ival-log, time spent: 135.0ms, 9.0% of total-time
Operation ival-exp, time spent: 107.0ms, 7.0% of total-time
Operation ival-div, time spent: 99.0ms, 7.0% of total-time
Operation ival-<=, time spent: 81.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 64.0ms, 4.0% of total-time
Operation ival-add, time spent: 64.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 54.0ms, 4.0% of total-time
Operation ival-sin, time spent: 49.0ms, 3.0% of total-time
Operation ival-tan, time spent: 39.0ms, 3.0% of total-time
Operation const, time spent: 32.0ms, 2.0% of total-time
Operation ival-neg, time spent: 31.0ms, 2.0% of total-time
Operation ival->, time spent: 14.0ms, 1.0% of total-time
Operation ival-and, time spent: 12.0ms, 1.0% of total-time
Operation ival-cos, time spent: 9.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 6.0ms, 0.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
Operation ...c/syntax/syntax.rkt:188:8, time spent: 0.0ms, 0.0% of total-time

end7.0ms (0%)

Profiling

Loading profile data...