Herbie run

Date:Sunday, March 23rd, 2025
Commit:d4169ed9 on autofix-21-1
Seed:2025082
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:72 037.6 MB

Time bar (total: 1.3min)

sample39.6s (52.4%)

Memory
417.7MiB live, 35 778.9MiB allocated; 12.0s collecting garbage
Samples
11.1s16 620×5exit
7.3s39 761×1valid
7.2s108 564×0valid
5.5s16 795×2valid
535.0ms3 930×0invalid
107.0ms1 429×0exit
Precisions
Click to see histograms. Total time spent on operations: 25.2s
ival-exp: 4.0s (16% of total)
ival-pow: 3.2s (12.7% of total)
adjust: 2.9s (11.5% of total)
ival-cos: 2.5s (10% of total)
ival-tan: 2.1s (8.2% of total)
ival-log: 1.7s (6.6% of total)
ival-sinh: 1.4s (5.5% of total)
ival-mult!: 1.3s (5.1% of total)
ival-sqrt: 1.1s (4.5% of total)
ival-fmod: 899.0ms (3.6% of total)
ival-add!: 699.0ms (2.8% of total)
ival-sin: 666.0ms (2.6% of total)
ival-div!: 648.0ms (2.6% of total)
ival-acos: 544.0ms (2.2% of total)
ival-pow2: 477.0ms (1.9% of total)
ival-sub!: 407.0ms (1.6% of total)
ival-neg: 273.0ms (1.1% of total)
ival-hypot: 175.0ms (0.7% of total)
ival-<=: 121.0ms (0.5% of total)
ival-atan: 52.0ms (0.2% of total)
ival-and: 35.0ms (0.1% of total)
ival-or: 16.0ms (0.1% of total)
ival-assert: 4.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-<: 2.0ms (0% of total)
Bogosity

rewrite9.7s (12.9%)

Memory
403.7MiB live, 9 391.2MiB allocated; 1.8s collecting garbage
Stop Event
192×iter limit
52×node limit
16×unsound
4×saturated
Counts
7 483 → 16 693

regimes4.8s (6.4%)

Memory
22.7MiB live, 4 696.5MiB allocated; 1.4s collecting garbage
Counts
3 755 → 211
Calls

53 calls:

675.0ms
x
538.0ms
(pow.f64 s #s(literal 2 binary64))
441.0ms
a
258.0ms
b
231.0ms
r
Compiler

Compiled 1 689 to 1 952 computations (-15.6% saved)

preprocess4.4s (5.8%)

Memory
91.9MiB live, 3 758.8MiB allocated; 506ms collecting garbage
Stop Event
38×iter limit
29×node limit
13×saturated
Compiler

Compiled 15 985 to 7 022 computations (56.1% saved)

derivations3.2s (4.3%)

Memory
152.9MiB live, 2 274.9MiB allocated; 414ms collecting garbage
Stop Event
13×fuel
7×done
Compiler

Compiled 4 384 to 1 059 computations (75.8% saved)

eval3.0s (4%)

Memory
-120.7MiB live, 3 793.8MiB allocated; 770ms collecting garbage
Compiler

Compiled 641 280 to 80 499 computations (87.4% saved)

series2.6s (3.4%)

Memory
-401.8MiB live, 3 330.7MiB allocated; 666ms collecting garbage
Counts
1 484 → 5 999
Calls

393 calls:

TimeVariablePointExpression
97.0ms
x
@inf
((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)
55.0ms
x
@-inf
((log (/ (sinh x) x)) (* (* (+ (* (- (* 1/2835 (* x x)) 1/180) (* x x)) 1/6) x) x) (* (+ (* (- (* 1/2835 (* x x)) 1/180) (* x x)) 1/6) x) (+ (* (- (* 1/2835 (* x x)) 1/180) (* x x)) 1/6) (- (* 1/2835 (* x x)) 1/180) (* 1/2835 (* x x)) 1/2835 (* x x) x 1/180 1/6 (log (/ (sinh x) x)) (* (* x x) 1/6) (log (/ (sinh x) x)) (* (+ (* (- (* (* (+ (* -1/37800 (* x x)) 1/2835) x) x) 1/180) (* x x)) 1/6) (* x x)) (+ (* (- (* (* (+ (* -1/37800 (* x x)) 1/2835) x) x) 1/180) (* x x)) 1/6) (- (* (* (+ (* -1/37800 (* x x)) 1/2835) x) x) 1/180) (* (* (+ (* -1/37800 (* x x)) 1/2835) x) x) (* (+ (* -1/37800 (* x x)) 1/2835) x) (+ (* -1/37800 (* x x)) 1/2835) -1/37800 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* 1/120 (* x x)) 1/6) (* x x)) 1) (+ (* 1/120 (* x x)) 1/6) 1/120 1 (- (log (sinh x)) (log x)) (log (sinh x)) (sinh x) (log x))
46.0ms
w
@inf
((* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (neg w) w (pow l (exp w)) l (exp w))
46.0ms
x
@0
((/ (+ (* (asin (- 1 x)) (asin (+ -1 x))) (pow (/ (PI) 2) 2)) (+ (/ (PI) 2) (asin (- 1 x)))) (/ (+ (* (asin (- x 1)) (asin (- 1 x))) (* (* (PI) (PI)) 1/4)) (+ (* 1/2 (PI)) (asin (- 1 x)))) (+ (* (asin (- x 1)) (asin (- 1 x))) (* (* (PI) (PI)) 1/4)) (asin (- x 1)) (- x 1) x 1 (asin (- 1 x)) (- 1 x) (* (* (PI) (PI)) 1/4) (* (PI) (PI)) (PI) 1/4 (+ (* 1/2 (PI)) (asin (- 1 x))) 1/2 (acos (- 1 x)) (- 1 x) (* (- (/ 1 x) 1) x) (- (/ 1 x) 1) (/ 1 x) (acos (- 1 x)) (- 1 x) (* (/ (- (pow x -2) 1) (- (pow x -1) -1)) x) (/ (- (pow x -2) 1) (- (pow x -1) -1)) (- (pow x -2) 1) (pow x -2) -2 (- (pow x -1) -1) (pow x -1) -1 (- (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) 2)) (asin (- 1 x))) (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) 2)) (pow (cbrt (PI)) 2) (cbrt (PI)) 2 (/ (cbrt (PI)) 2) (/ (- (* (/ (PI) 2) (/ (PI) 2)) (* (asin (/ (- 1 (* x x)) (+ x 1))) (asin (- 1 x)))) (+ (/ (PI) 2) (asin (- 1 x)))) (- (* (/ (PI) 2) (/ (PI) 2)) (* (asin (/ (- 1 (* x x)) (+ x 1))) (asin (- 1 x)))) (* (/ (PI) 2) (/ (PI) 2)) (/ (PI) 2) (* (asin (/ (- 1 (* x x)) (+ x 1))) (asin (- 1 x))) (asin (/ (- 1 (* x x)) (+ x 1))) (/ (- 1 (* x x)) (+ x 1)) (- 1 (* x x)) (* (- (pow x -2) 1) (* x x)) (* x x) (+ x 1) (+ (/ (PI) 2) (asin (- 1 x))))
46.0ms
l
@0
((* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (neg w) w (pow l (exp w)) l (exp w))

explain2.4s (3.2%)

Memory
33.6MiB live, 2 428.6MiB allocated; 546ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5960
cos.f64#fsensitivity5261
-.f64#fcancellation3411
sqrt.f64#fuflow-rescue3240
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))n/o2560
↳(-.f64 hi lo)overflow256
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2532
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2380
tan.f64(tan.f64 (+.f64 y z))sensitivity1900
pow.f64(pow.f64 l (exp.f64 w))sensitivity13413
*.f64#fn*o390
*.f64#fn*u310
*.f64#fu*o220
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u160
↳(pow.f64 c #s(literal 2 binary64))overflow64
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow78
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow65
↳(pow.f64 s #s(literal 2 binary64))underflow59
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue150
↳(*.f64 a a)overflow110
↳(*.f64 b b)overflow15
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue130
↳(sinh.f64 x)overflow13
↳(/.f64 (sinh.f64 x) x)overflow13
exp.f64(exp.f64 (neg.f64 w))sensitivity11
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation11
Confusion
Predicted +Predicted -
+2214271
-7111924
Precision
0.7569230769230769
Recall
0.8909456740442656
Confusion?
Predicted +Predicted MaybePredicted -
+22141270
-711171907
Precision?
0.7526333673122664
Recall?
0.8913480885311871
Freqs
test
numberfreq
02195
12856
267
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+1701
-002
Precision?
1.0
Recall?
0.9444444444444444
Samples
428.0ms2 524×1valid
427.0ms6 616×0valid
263.0ms1 002×2valid
13.0ms98×1exit
Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 784.0ms
ival-cos: 90.0ms (11.5% of total)
ival-tan: 87.0ms (11.1% of total)
ival-sqrt: 80.0ms (10.2% of total)
adjust: 73.0ms (9.3% of total)
ival-log: 64.0ms (8.2% of total)
ival-acos: 57.0ms (7.3% of total)
ival-mult!: 54.0ms (6.9% of total)
ival-pow2: 50.0ms (6.4% of total)
ival-sinh: 39.0ms (5% of total)
ival-exp: 38.0ms (4.8% of total)
ival-sin: 36.0ms (4.6% of total)
ival-fmod: 30.0ms (3.8% of total)
ival-div!: 24.0ms (3.1% of total)
ival-add!: 19.0ms (2.4% of total)
ival-sub!: 19.0ms (2.4% of total)
ival-hypot: 9.0ms (1.1% of total)
ival-pow: 8.0ms (1% of total)
ival-neg: 5.0ms (0.6% of total)
ival-atan: 3.0ms (0.4% of total)

analyze2.2s (2.9%)

Memory
-1.7MiB live, 2 195.2MiB allocated; 604ms collecting garbage
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.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.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

prune2.0s (2.7%)

Memory
121.8MiB live, 3 003.6MiB allocated; 279ms collecting garbage
Counts
20 994 → 1 611
Compiler

Compiled 84 270 to 45 098 computations (46.5% saved)

simplify863.0ms (1.1%)

Memory
-1.0MiB live, 747.5MiB allocated; 76ms collecting garbage
Stop Event
17×node limit
3×saturated

bsearch705.0ms (0.9%)

Memory
25.2MiB live, 636.7MiB allocated; 48ms collecting garbage
Algorithm
56×binary-search
20×left-value
Stop Event
50×narrow-enough
6×predicate-same
Samples
298.0ms1 781×1valid
148.0ms2 059×0valid
1.0ms15×0exit
Compiler

Compiled 17 920 to 14 728 computations (17.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 338.0ms
ival-tan: 98.0ms (29% of total)
ival-cos: 42.0ms (12.4% of total)
ival-exp: 38.0ms (11.2% of total)
adjust: 35.0ms (10.4% of total)
ival-mult!: 23.0ms (6.8% of total)
ival-fmod: 20.0ms (5.9% of total)
ival-pow: 17.0ms (5% of total)
ival-add!: 12.0ms (3.6% of total)
ival-sin: 11.0ms (3.3% of total)
ival-div!: 8.0ms (2.4% of total)
ival-pow2: 8.0ms (2.4% of total)
ival-acos: 8.0ms (2.4% of total)
ival-sqrt: 6.0ms (1.8% of total)
ival-neg: 6.0ms (1.8% of total)
ival-sub!: 5.0ms (1.5% of total)

start1.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...