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: 1.4min)

localize18.3s (21.9%)

Compiler

Compiled 5664 to 3014 computations (46.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0s
Operation ival-mult, time spent: 3.3s, 26.0% of total-time
Operation ival-pow, time spent: 2.5s, 19.0% of total-time
Operation composed, time spent: 1.7s, 13.0% of total-time
Operation ival-div, time spent: 1.2s, 10.0% of total-time
Operation ival-add, time spent: 1.2s, 9.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 9.0% of total-time
Operation ival-sub, time spent: 574.0ms, 4.0% of total-time
Operation ival-if, time spent: 357.0ms, 3.0% of total-time
Operation ival-log, time spent: 235.0ms, 2.0% of total-time
Operation const, time spent: 234.0ms, 2.0% of total-time
Operation ival->=, time spent: 201.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 144.0ms, 1.0% of total-time
Operation ival-exp, time spent: 54.0ms, 0.0% of total-time
Operation ival-e, time spent: 46.0ms, 0.0% of total-time
Operation ival-neg, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 34.0ms, 0.0% of total-time

eval16.6s (19.8%)

Compiler

Compiled 827583 to 545038 computations (34.1% saved)

sample15.9s (19%)

Results
10.0s63023×0valid
856.0ms7149×0infinite
2.9s4132×2valid
771.0ms1899×0invalid
3.0ms5×5exit
Precisions
Click to see histograms. Total time spent on operations: 7.8s
Operation ival-mult, time spent: 1.9s, 25.0% of total-time
Operation ival-div, time spent: 1.9s, 25.0% of total-time
Operation backward-pass, time spent: 1.1s, 14.0% of total-time
Operation ival-sub, time spent: 861.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 651.0ms, 8.0% of total-time
Operation ival-neg, time spent: 327.0ms, 4.0% of total-time
Operation ival-add, time spent: 231.0ms, 3.0% of total-time
Operation ival->=, time spent: 194.0ms, 2.0% of total-time
Operation const, time spent: 156.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 148.0ms, 2.0% of total-time
Operation ival-log, time spent: 121.0ms, 2.0% of total-time
Operation ival-if, time spent: 106.0ms, 1.0% of total-time
Operation ival-exp, time spent: 68.0ms, 1.0% of total-time
Bogosity

simplify6.5s (7.8%)

Algorithm
31×egg-herbie
Rules
7681×distribute-lft-in
7342×fma-define
6566×*-commutative
6157×fma-neg
5991×distribute-rgt-in
Stop Event
9×saturated
4×fuel
22×node limit
5×done
Counts
8737 → 8749
Compiler

Compiled 1212 to 776 computations (36% saved)

soundness5.7s (6.8%)

Rules
7492×fma-define
6786×log1p-expm1-u
6347×fma-neg
5999×distribute-lft-in
5697×times-frac
Stop Event
2×saturated
24×node limit
Compiler

Compiled 3376 to 1947 computations (42.3% saved)

preprocess5.6s (6.8%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4002 to 2241 computations (44% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 983.0ms, 47.0% of total-time
Operation ival-sub, time spent: 251.0ms, 12.0% of total-time
Operation ival-div, time spent: 249.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 245.0ms, 12.0% of total-time
Operation ival-neg, time spent: 155.0ms, 7.0% of total-time
Operation ival-add, time spent: 60.0ms, 3.0% of total-time
Operation const, time spent: 41.0ms, 2.0% of total-time
Operation ival->=, time spent: 30.0ms, 1.0% of total-time
Operation ival-if, time spent: 20.0ms, 1.0% of total-time
Operation ival-log, time spent: 19.0ms, 1.0% of total-time
Operation ival-exp, time spent: 13.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

prune5.5s (6.6%)

Counts
18319 → 298
Compiler

Compiled 15719 to 10650 computations (32.2% saved)

rewrite4.4s (5.3%)

Algorithm
22×batch-egg-rewrite
Rules
14598×log1p-expm1-u
9862×expm1-log1p-u
4855×add-exp-log
4628×pow1
4379×add-log-exp
Stop Event
22×node limit
Counts
122 → 5237

regimes1.7s (2.1%)

Counts
495 → 85
Calls

26 calls:

384.0ms
b
220.0ms
x
200.0ms
c
160.0ms
a
155.0ms
y
Compiler

Compiled 500 to 344 computations (31.2% saved)

series1.6s (1.9%)

Counts
122 → 3500
Calls

735 calls:

TimeVariablePointExpression
125.0ms
x
@-inf
(exp (+ (* x x) -1))
103.0ms
c
@-inf
(/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
66.0ms
c
@-inf
(sqrt (+ (* c (* a -4)) (* b b)))
58.0ms
b
@inf
(- b (sqrt (+ (* c (* a -4)) (* b b))))
51.0ms
a
@0
(log (/ a (/ b c)))

bsearch972.0ms (1.2%)

Algorithm
37×binary-search
1×left-value
Stop Event
8×predicate-same
29×narrow-enough
Results
712.0ms3615×0valid
58.0ms433×0infinite
51.0ms306×0invalid
Compiler

Compiled 9257 to 6502 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 455.0ms
Operation ival->=, time spent: 149.0ms, 33.0% of total-time
Operation ival-mult, time spent: 102.0ms, 22.0% of total-time
Operation ival-div, time spent: 62.0ms, 14.0% of total-time
Operation ival-sub, time spent: 44.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 29.0ms, 6.0% of total-time
Operation ival-add, time spent: 25.0ms, 5.0% of total-time
Operation ival-neg, time spent: 12.0ms, 3.0% of total-time
Operation ival-if, time spent: 11.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 2.0% of total-time
Operation const, time spent: 9.0ms, 2.0% of total-time
Operation backward-pass, time spent: 2.0ms, 0.0% of total-time

analyze662.0ms (0.8%)

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)

Precisions
Click to see histograms. Total time spent on operations: 396.0ms
Operation ival-mult, time spent: 148.0ms, 37.0% of total-time
Operation ival-sub, time spent: 75.0ms, 19.0% of total-time
Operation ival-sqrt, time spent: 40.0ms, 10.0% of total-time
Operation ival-div, time spent: 35.0ms, 9.0% of total-time
Operation ival-if, time spent: 25.0ms, 6.0% of total-time
Operation ival-add, time spent: 23.0ms, 6.0% of total-time
Operation ival-neg, time spent: 23.0ms, 6.0% of total-time
Operation ival->=, time spent: 14.0ms, 4.0% of total-time
Operation const, time spent: 9.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...