Herbie run

Date:Thursday, February 8th, 2024
Commit:7761429b on sound-rules
Hostname:nightly with Racket 8.11.1
Seed:2024039
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: 25.5min)

localize7.6min (29.9%)

Results
Compiler

Compiled 83026 to 44606 computations (46.3% saved)

sample6.8min (26.5%)

Results
1.1min298885×256valid
37.2s45704×512valid
4.7s27585×256invalid
5.9s27338×256infinite
6.7s26114×256unsamplable
18.1s25369×1024valid
2.6min16454×8192exit
26.4s11009×2048valid
45.8s7456×4096valid
5.0s5892×512infinite
1.4s1700×1024invalid
574.0ms1202×512invalid
1.2s1124×2048invalid
18.5s1119×8192valid
92.0ms836×256precondition
2.8s672×2048infinite
1.9s530×1024infinite
2.6s377×4096infinite
3.0ms3×512unsamplable
3.0ms2×1024unsamplable
38.0ms1×8192unsamplable
Bogosity

eval2.6min (10.3%)

Compiler

Compiled 6393804 to 3772748 computations (41% saved)

soundness2.0min (7.7%)

Rules
237992×fma-define
165032×associate-*r*
150318×fma-neg
135056×log-prod
133346×times-frac
Stop Event
7×saturated
376×node limit
2×unsound
Results
Compiler

Compiled 41552 to 24038 computations (42.1% saved)

preprocess1.6min (6.2%)

Algorithm
51×egg-herbie
Rules
62806×fma-define
50226×fma-neg
26848×div-sub
24146×sub-neg
22642×distribute-lft-neg-in
Stop Event
9×saturated
42×node limit
Compiler

Compiled 66976 to 39884 computations (40.5% saved)

regimes1.4min (5.6%)

Counts
17761 → 769
Calls

138 calls:

6.9s
lambda1
6.7s
phi1
6.3s
lambda2
6.2s
phi2
5.7s
b
Compiler

Compiled 11232 to 8295 computations (26.1% saved)

simplify1.0min (3.9%)

Algorithm
220×egg-herbie
Rules
124706×fma-define
94804×associate-*r*
92448×log-prod
79314×*-commutative
79306×associate-*l*
Stop Event
49×saturated
39×fuel
171×node limit
10×done
Counts
81987 → 66058
Compiler

Compiled 14375 to 9750 computations (32.2% saved)

prune48.3s (3.2%)

Counts
146552 → 6565
Compiler

Compiled 427185 to 296915 computations (30.5% saved)

rewrite35.4s (2.3%)

Algorithm
171×batch-egg-rewrite
Rules
109904×log1p-expm1-u
82787×expm1-log1p-u
49734×log-prod
45622×prod-diff
40580×unpow-prod-down
Stop Event
168×node limit
3×unsound
Counts
1607 → 47513

analyze29.2s (1.9%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

series20.7s (1.4%)

Counts
1607 → 34474
Calls

9466 calls:

TimeVariablePointExpression
167.0ms
lambda1
@-inf
(log.f64 (*.f64 R (acos.f64 (fma.f64 (cos.f64 phi1) (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 phi1 (sin.f64 phi2))))))
164.0ms
B
@inf
(sqrt.f64 (*.f64 2 (*.f64 (pow.f64 B 3) F)))
94.0ms
y-scale
@inf
(-.f64 (*.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (*.f64 1/180 (*.f64 angle (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (*.f64 (*.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))
94.0ms
lambda1
@inf
(log1p.f64 (acos.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
92.0ms
y-scale
@inf
(/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (neg.f64 (pow.f64 a 2)) b)) (*.f64 (*.f64 8 (*.f64 b (/.f64 (*.f64 (neg.f64 (pow.f64 a 2)) b) (pow.f64 (*.f64 x-scale y-scale) 2)))) (-.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 x-scale 2)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 y-scale 2))) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 x-scale 2)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 y-scale 2))) (*.f64 (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180))) (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180))) (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (*.f64 x-scale y-scale)))))))) (*.f64 b (/.f64 (*.f64 (neg.f64 (pow.f64 a 2)) b) (pow.f64 (*.f64 x-scale y-scale) 2))))
Results

bsearch17.8s (1.2%)

Algorithm
304×binary-search
38×left-value
Stop Event
13×predicate-same
291×narrow-enough
Results
6.9s25649×256valid
4.6s5226×512valid
917.0ms3782×256invalid
1.2s1659×2048valid
1.3s1257×4096valid
690.0ms1109×1024valid
326.0ms649×256infinite
217.0ms312×1024invalid
227.0ms284×2048invalid
115.0ms265×512invalid
262.0ms211×512infinite
Compiler

Compiled 93446 to 70525 computations (24.5% saved)

end39.0ms (0%)

Profiling

Loading profile data...