Herbie run

Date:Thursday, February 20th, 2025
Commit:87019920 on main
Seed:2025051
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:84 177.4 MB

Time bar (total: 1.4min)

sample43.9s (53.7%)

Memory
778.8MiB live, 43 885.9MiB allocated; 12.2s collecting garbage
Samples
14.1s16 326×5exit
8.5s40 091×1valid
7.3s108 790×0valid
5.3s16 239×2valid
485.0ms3 848×0invalid
106.0ms1 371×0exit
Precisions
Click to see histograms. Total time spent on operations: 28.8s
ival-pow: 4.1s (14.1% of total)
ival-exp: 3.8s (13.3% of total)
adjust: 3.5s (12.1% of total)
ival-log: 3.1s (10.9% of total)
ival-cos: 2.5s (8.6% of total)
ival-mult: 1.9s (6.6% of total)
ival-tan: 1.4s (4.8% of total)
ival-sinh: 1.2s (4.1% of total)
ival-sqrt: 1.0s (3.5% of total)
ival-div: 970.0ms (3.4% of total)
ival-sub: 885.0ms (3.1% of total)
ival-fmod: 872.0ms (3% of total)
ival-sin: 751.0ms (2.6% of total)
ival-add: 737.0ms (2.6% of total)
ival-acos: 490.0ms (1.7% of total)
const: 467.0ms (1.6% of total)
ival-pow2: 448.0ms (1.6% of total)
ival-neg: 231.0ms (0.8% of total)
ival-hypot: 162.0ms (0.6% of total)
ival-<=: 100.0ms (0.3% of total)
ival-assert: 68.0ms (0.2% of total)
ival-atan: 49.0ms (0.2% of total)
exact: 40.0ms (0.1% of total)
ival-and: 37.0ms (0.1% of total)
ival-or: 18.0ms (0.1% of total)
ival->: 2.0ms (0% of total)
ival-==: 2.0ms (0% of total)
ival-<: 2.0ms (0% of total)
Bogosity

rewrite9.9s (12.1%)

Memory
211.3MiB live, 9 930.9MiB allocated; 1.8s collecting garbage
Stop Event
187×iter limit
52×node limit
15×unsound
4×saturated
Counts
7 431 → 16 981

regimes5.1s (6.2%)

Memory
-111.0MiB live, 5 701.8MiB allocated; 1.6s collecting garbage
Counts
3 298 → 181
Calls

53 calls:

764.0ms
x
398.0ms
a
384.0ms
y
282.0ms
b
239.0ms
s
Compiler

Compiled 1 625 to 1 899 computations (-16.9% saved)

preprocess4.0s (4.9%)

Memory
150.3MiB live, 3 713.0MiB allocated; 598ms collecting garbage
Stop Event
38×iter limit
29×node limit
13×saturated
Compiler

Compiled 9 971 to 3 714 computations (62.8% saved)

derivations3.5s (4.3%)

Memory
112.2MiB live, 2 838.1MiB allocated; 586ms collecting garbage
Stop Event
11×fuel
9×done
Compiler

Compiled 3 522 to 910 computations (74.2% saved)

explain3.4s (4.2%)

Memory
-211.0MiB live, 3 274.3MiB allocated; 1.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5400
cos.f64#fsensitivity5262
-.f64#fcancellation3330
sqrt.f64#fuflow-rescue3090
/.f64#fn/o2580
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2550
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2521
tan.f64(tan.f64 (+.f64 y z))sensitivity1970
pow.f64(pow.f64 l (exp.f64 w))sensitivity13012
*.f64#fn*o370
*.f64#fn*u230
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u220
↳(pow.f64 c #s(literal 2 binary64))overflow72
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow70
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow59
↳(pow.f64 s #s(literal 2 binary64))underflow55
*.f64#fu*o190
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue120
↳(*.f64 a a)overflow120
↳(*.f64 b b)overflow12
exp.f64(exp.f64 (neg.f64 x))sensitivity12
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue10
↳(sinh.f64 x)overflow1
↳(/.f64 (sinh.f64 x) x)overflow1
Confusion
Predicted +Predicted -
+2123266
-7321999
Precision
0.7436077057793345
Recall
0.8886563415655085
Confusion?
Predicted +Predicted MaybePredicted -
+21232264
-732161983
Precision?
0.7396449704142012
Recall?
0.8894935119296777
Freqs
test
numberfreq
02265
12797
256
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
607.0ms2 504×1valid
498.0ms6 582×0valid
470.0ms92×5exit
344.0ms1 062×2valid
Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-cos: 515.0ms (35.5% of total)
adjust: 140.0ms (9.7% of total)
ival-div: 137.0ms (9.4% of total)
ival-tan: 73.0ms (5% of total)
ival-sqrt: 70.0ms (4.8% of total)
ival-fmod: 70.0ms (4.8% of total)
ival-mult: 69.0ms (4.8% of total)
ival-log: 64.0ms (4.4% of total)
ival-exp: 54.0ms (3.7% of total)
ival-sinh: 46.0ms (3.2% of total)
ival-add: 45.0ms (3.1% of total)
ival-sub: 37.0ms (2.6% of total)
ival-sin: 35.0ms (2.4% of total)
ival-acos: 29.0ms (2% of total)
ival-pow2: 26.0ms (1.8% of total)
ival-true: 9.0ms (0.6% of total)
ival-hypot: 9.0ms (0.6% of total)
ival-pow: 8.0ms (0.6% of total)
ival-neg: 6.0ms (0.4% of total)
ival-assert: 4.0ms (0.3% of total)
ival-atan: 3.0ms (0.2% of total)
exact: 2.0ms (0.1% of total)

analyze3.2s (3.9%)

Memory
-33.4MiB live, 2 656.2MiB allocated; 2.5s 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)

eval2.9s (3.6%)

Memory
-92.4MiB live, 4 106.5MiB allocated; 964ms collecting garbage
Compiler

Compiled 600 100 to 77 844 computations (87% saved)

series2.5s (3.1%)

Memory
152.5MiB live, 3 296.5MiB allocated; 472ms collecting garbage
Counts
1 429 → 6 002
Calls

390 calls:

TimeVariablePointExpression
57.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))
51.0ms
b
@inf
((* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin b) (sin a))))) r (/ (sin b) (- (* (cos b) (cos a)) (* (sin b) (sin a)))) (sin b) b (- (* (cos b) (cos a)) (* (sin b) (sin a))) (* (cos b) (cos a)) (cos b) (cos a) a (* (sin b) (sin a)) (sin a) (* r (/ (sin b) (cos (+ a b)))) (/ (sin b) (cos (+ a b))) (tan b) (* r (/ (sin b) (cos (+ a b)))) (/ (sin b) (cos (+ a b))) (cos (+ a b)) (+ a b) (* r (/ (sin b) (sin (+ (neg (+ a b)) (/ (PI) 2))))) (/ (sin b) (sin (+ (neg (+ a b)) (/ (PI) 2)))) (sin (+ (neg (+ a b)) (/ (PI) 2))) (+ (neg (+ a b)) (/ (PI) 2)) (neg (+ a b)) (+ a b) (/ (PI) 2) (PI) 2 (* r (/ (exp (* (log (sin b)) 1)) (cos (+ a b)))) (/ (exp (* (log (sin b)) 1)) (cos (+ a b))) (exp (* (log (sin b)) 1)) (* (log (sin b)) 1) (log (sin b)) 1 (cos (+ a b)))
48.0ms
b
@inf
((/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin b) (sin a)))) (* r (sin b)) r (sin b) b (- (* (cos b) (cos a)) (* (sin b) (sin a))) (* (cos b) (cos a)) (cos b) (cos a) a (* (sin b) (sin a)) (sin a) (/ (* r (sin b)) (cos (+ a b))) (* r (tan b)) (tan b) (/ (* r (sin b)) (cos (+ a b))) (cos (+ a b)) (+ a b) (/ (* r (sin b)) (cos (+ a b))) (cos (+ a b)) (+ a b) (* (+ (/ b a) 1) a) (+ (/ b a) 1) (/ b a) 1 (/ (* r (/ 1 (pow (sin b) -1))) (cos (+ a b))) (* r (/ 1 (pow (sin b) -1))) (/ 1 (pow (sin b) -1)) (pow (sin b) -1) -1 (cos (+ a b)) (+ a b))
42.0ms
x
@-inf
((log (/ (sinh x) x)) (* (/ (* x (- (pow (* (* (+ (* (* x x) 1/2835) -1/180) x) x) 2) 1/36)) (+ (* (+ (* (* x x) 1/2835) -1/180) (* x x)) -1/6)) x) (/ (* x (- (pow (* (* (+ (* (* x x) 1/2835) -1/180) x) x) 2) 1/36)) (+ (* (+ (* (* x x) 1/2835) -1/180) (* x x)) -1/6)) (* x (- (pow (* (* (+ (* (* x x) 1/2835) -1/180) x) x) 2) 1/36)) x (- (pow (* (* (+ (* (* x x) 1/2835) -1/180) x) x) 2) 1/36) (pow (* (* (+ (* (* x x) 1/2835) -1/180) x) x) 2) (* (* (+ (* (* x x) 1/2835) -1/180) x) x) (* (+ (* (* x x) 1/2835) -1/180) x) (+ (* (* x x) 1/2835) -1/180) (* x x) 1/2835 -1/180 2 1/36 (+ (* (+ (* (* x x) 1/2835) -1/180) (* x x)) -1/6) -1/6 (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/6 (- (log (sinh x)) (log 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) 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) (+ (* -1/37800 (* x x)) 1/2835) -1/37800 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (* x x)) 1) (+ (* (+ (* 1/5040 (* x x)) 1/120) (* x x)) 1/6) (+ (* 1/5040 (* x x)) 1/120) 1/5040 1/120 1 (log (/ (sinh x) x)) (/ (* (* x x) (+ 1/216 (* (pow (+ (* (* x x) 1/2835) -1/180) 3) (pow x 6)))) (+ 1/36 (* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) (+ (* (+ (* (* x x) 1/2835) -1/180) (* x x)) -1/6)))) (* (* x x) (+ 1/216 (* (pow (+ (* (* x x) 1/2835) -1/180) 3) (pow x 6)))) (+ 1/216 (* (pow (+ (* (* x x) 1/2835) -1/180) 3) (pow x 6))) 1/216 (* (pow (+ (* (* x x) 1/2835) -1/180) 3) (pow x 6)) (pow (+ (* (* x x) 1/2835) -1/180) 3) 3 (pow x 6) 6 (+ 1/36 (* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) (+ (* (+ (* (* x x) 1/2835) -1/180) (* x x)) -1/6))) (* (* (* (+ (* (* x x) 1/2835) -1/180) x) x) (+ (* (+ (* (* x x) 1/2835) -1/180) (* x x)) -1/6)))
41.0ms
x
@inf
((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)

prune1.9s (2.3%)

Memory
69.9MiB live, 3 175.1MiB allocated; 366ms collecting garbage
Counts
20 368 → 1 480
Compiler

Compiled 78 533 to 41 081 computations (47.7% saved)

simplify934.0ms (1.1%)

Memory
-95.7MiB live, 897.2MiB allocated; 231ms collecting garbage
Stop Event
15×node limit
5×saturated

bsearch468.0ms (0.6%)

Memory
132.1MiB live, 700.2MiB allocated; 56ms collecting garbage
Algorithm
39×binary-search
16×left-value
Stop Event
33×narrow-enough
6×predicate-same
Samples
130.0ms694×1valid
114.0ms1 242×0valid
71.0ms144×2valid
Compiler

Compiled 12 053 to 9 856 computations (18.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 250.0ms
ival-exp: 38.0ms (15.2% of total)
ival-tan: 35.0ms (14% of total)
ival-mult: 30.0ms (12% of total)
adjust: 28.0ms (11.2% of total)
ival-cos: 27.0ms (10.8% of total)
ival-fmod: 24.0ms (9.6% of total)
ival-pow2: 16.0ms (6.4% of total)
ival-acos: 10.0ms (4% of total)
ival-add: 9.0ms (3.6% of total)
ival-div: 6.0ms (2.4% of total)
ival-pow: 6.0ms (2.4% of total)
ival-sub: 5.0ms (2% of total)
ival-sqrt: 5.0ms (2% of total)
ival-sin: 4.0ms (1.6% of total)
ival-true: 2.0ms (0.8% of total)
ival-neg: 2.0ms (0.8% of total)
ival-assert: 1.0ms (0.4% of total)
exact: 1.0ms (0.4% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...