Herbie run

Date:Wednesday, January 31st, 2024
Commit:666e0b59 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024031
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)

sample19.5s (24%)

Results
13.1s63089×0valid
1.6s7136×0infinite
2.1s4079×3valid
1.2s1901×0invalid
Precisions
Click to see histograms. Total time spent on operations: 10.1s
Operation ival-sub, time spent: 3.1s, 31.0% of total-time
Operation ival-mult, time spent: 2.1s, 21.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 16.0% of total-time
Operation ival-div, time spent: 1.1s, 11.0% of total-time
Operation ival-add, time spent: 1.0s, 10.0% of total-time
Operation ival-neg, time spent: 293.0ms, 3.0% of total-time
Operation const, time spent: 249.0ms, 2.0% of total-time
Operation ival-log, time spent: 214.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 134.0ms, 1.0% of total-time
Operation ival->=, time spent: 134.0ms, 1.0% of total-time
Operation ival-exp, time spent: 86.0ms, 1.0% of total-time
Operation ival-if, time spent: 28.0ms, 0.0% of total-time
Bogosity

eval15.9s (19.5%)

Compiler

Compiled 683753 to 445106 computations (34.9% saved)

localize15.5s (19.1%)

Compiler

Compiled 6431 to 3382 computations (47.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
Operation ival-mult, time spent: 2.3s, 20.0% of total-time
Operation ival-add, time spent: 2.1s, 18.0% of total-time
Operation ival-sub, time spent: 1.8s, 15.0% of total-time
Operation ival-pow, time spent: 1.7s, 14.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 9.0% of total-time
Operation ival-div, time spent: 949.0ms, 8.0% of total-time
Operation ival-fma, time spent: 665.0ms, 6.0% of total-time
Operation const, time spent: 345.0ms, 3.0% of total-time
Operation ival->=, time spent: 203.0ms, 2.0% of total-time
Operation ival-exp, time spent: 136.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 133.0ms, 1.0% of total-time
Operation ival-log, time spent: 127.0ms, 1.0% of total-time
Operation ival-neg, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 18.0ms, 0.0% of total-time
Operation ival-if, time spent: 18.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 5.0ms, 0.0% of total-time

soundness7.1s (8.8%)

Rules
22266×fma-def
19110×associate-*r*
16542×times-frac
15864×associate-*l*
11736×associate-/r*
Stop Event
2×saturated
32×node limit
3×unsound
Compiler

Compiled 3724 to 2117 computations (43.2% saved)

simplify5.3s (6.5%)

Algorithm
32×egg-herbie
Rules
20912×fma-def
13338×associate-*r*
11162×associate-*l*
10886×times-frac
10376×distribute-lft-in
Stop Event
10×saturated
4×fuel
21×node limit
1×unsound
5×done
Counts
7505 → 6641
Compiler

Compiled 1390 to 903 computations (35% saved)

preprocess4.5s (5.5%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5092×div-sub
4546×fma-neg
3738×times-frac
3230×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4266 to 2469 computations (42.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
Operation ival-sub, time spent: 676.0ms, 34.0% of total-time
Operation ival-mult, time spent: 453.0ms, 23.0% of total-time
Operation ival-sqrt, time spent: 312.0ms, 16.0% of total-time
Operation ival-add, time spent: 298.0ms, 15.0% of total-time
Operation ival-div, time spent: 130.0ms, 7.0% of total-time
Operation const, time spent: 45.0ms, 2.0% of total-time
Operation ival-log, time spent: 26.0ms, 1.0% of total-time
Operation ival->=, time spent: 22.0ms, 1.0% of total-time
Operation ival-neg, time spent: 19.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 3.0ms, 0.0% of total-time

rewrite4.0s (5%)

Algorithm
22×batch-egg-rewrite
Rules
12768×log1p-expm1-u
10078×prod-diff
9696×expm1-log1p-u
6924×expm1-udef
5860×log1p-udef
Stop Event
22×node limit
Counts
141 → 4855

prune4.0s (4.9%)

Counts
15416 → 267
Compiler

Compiled 13329 to 8925 computations (33% saved)

regimes2.0s (2.5%)

Counts
451 → 87
Calls

26 calls:

359.0ms
b
277.0ms
a
262.0ms
x
218.0ms
c
205.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
Compiler

Compiled 486 to 338 computations (30.5% saved)

bsearch1.5s (1.8%)

Algorithm
44×binary-search
Stop Event
11×predicate-same
33×narrow-enough
Results
1.1s4496×0valid
96.0ms576×0infinite
81.0ms350×0invalid
Compiler

Compiled 11560 to 8262 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 580.0ms
Operation ival-sub, time spent: 159.0ms, 27.0% of total-time
Operation ival-mult, time spent: 123.0ms, 21.0% of total-time
Operation ival-add, time spent: 97.0ms, 17.0% of total-time
Operation ival-div, time spent: 86.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 56.0ms, 10.0% of total-time
Operation const, time spent: 17.0ms, 3.0% of total-time
Operation ival-neg, time spent: 16.0ms, 3.0% of total-time
Operation ival->=, time spent: 12.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 2.0% of total-time
Operation ival-if, time spent: 3.0ms, 1.0% of total-time

series1.4s (1.7%)

Counts
141 → 2650
Calls

765 calls:

TimeVariablePointExpression
309.0ms
b
@-inf
(log.f64 (*.f64 (*.f64 -2 a) (/.f64 c b)))
197.0ms
x
@-inf
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1))) 2)) (pow.f64 (fma.f64 x x -1) 1/4)) (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1)))) (pow.f64 (fma.f64 x x -1) 1/4))) (sqrt.f64 (sqrt.f64 (fma.f64 x x -1))))
85.0ms
x
@inf
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1))) 2)) (pow.f64 (fma.f64 x x -1) 1/4)) (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1)))) (pow.f64 (fma.f64 x x -1) 1/4))) (sqrt.f64 (sqrt.f64 (fma.f64 x x -1))))
53.0ms
x
@0
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1))) 2)) (pow.f64 (fma.f64 x x -1) 1/4)) (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1)))) (pow.f64 (fma.f64 x x -1) 1/4))) (sqrt.f64 (sqrt.f64 (fma.f64 x x -1))))
42.0ms
f
@inf
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)

analyze635.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: 437.0ms
Operation ival-mult, time spent: 213.0ms, 49.0% of total-time
Operation ival-sqrt, time spent: 74.0ms, 17.0% of total-time
Operation ival-sub, time spent: 46.0ms, 11.0% of total-time
Operation ival-div, time spent: 36.0ms, 8.0% of total-time
Operation ival-add, time spent: 19.0ms, 4.0% of total-time
Operation ival->=, time spent: 15.0ms, 3.0% of total-time
Operation ival-neg, time spent: 14.0ms, 3.0% of total-time
Operation const, time spent: 10.0ms, 2.0% of total-time
Operation ival-if, time spent: 4.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 1.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...