Herbie run

Date:Tuesday, November 28th, 2023
Commit:8360f233 on main
Hostname:nightly with Racket 8.6
Seed:2023332
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.0min)

localize7.7min (30.9%)

Results
Compiler

Compiled 83990 to 45909 computations (45.3% saved)

sample7.2min (28.7%)

Results
2.6min16809×body8192exit
59.3s295742×body256valid
54.9s8181×body4096valid
46.4s42965×body1024valid
32.0s13608×body2048valid
27.1s1544×body8192valid
15.4s27938×body512valid
7.2s4054×body1024infinite
5.9s27388×body256unsamplable
5.6s26888×body256infinite
4.3s27498×body256invalid
4.1s581×body4096infinite
3.5s797×body2048infinite
2.2s2192×body512infinite
1.5s1741×body1024invalid
1.2s1264×body2048invalid
572.0ms1175×body512invalid
352.0ms24×body8192infinite
81.0ms882×body256precondition
35.0ms1×body8192unsamplable
10.0ms13×body512unsamplable
4.0ms3×body1024unsamplable
Bogosity

eval2.4min (9.5%)

Results
Compiler

Compiled 7295628 to 4399590 computations (39.7% saved)

regimes1.7min (6.6%)

Counts
17572 → 737
Calls

138 calls:

8.1s
(-.f64 lambda1 lambda2)
8.0s
phi2
6.8s
lambda1
6.8s
lambda2
6.1s
phi1
Compiler

Compiled 457980 to 242524 computations (47% saved)

soundness1.6min (6.4%)

Rules
273136×fma-def
163460×associate-*r*
125068×associate-*l*
121964×times-frac
121454×fma-neg
Stop Event
6×saturated
5×unsound
386×node limit
Results
Compiler

Compiled 46246 to 27823 computations (39.8% saved)

preprocess1.1min (4.2%)

Algorithm
51×egg-herbie
Rules
76366×fma-def
27180×div-sub
26822×fma-neg
24892×sub-neg
22370×distribute-lft-in
Stop Event
8×saturated
43×node limit
Results
Compiler

Compiled 42214 to 23651 computations (44% saved)

simplify58.3s (3.9%)

Algorithm
227×egg-herbie
Rules
146082×fma-def
102694×associate-*r*
85996×associate-*l*
79378×*-commutative
79330×log-prod
Stop Event
1×unsound
49×saturated
6×done
43×fuel
177×node limit
Counts
85717 → 70542
Compiler

Compiled 14164 to 9489 computations (33% saved)

prune53.0s (3.5%)

Counts
151578 → 6676
Compiler

Compiled 717350 to 505160 computations (29.6% saved)

analyze34.6s (2.3%)

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 1338 computations (30.3% saved)

rewrite26.7s (1.8%)

Algorithm
178×batch-egg-rewrite
Rules
98001×log1p-expm1-u
78157×expm1-log1p-u
59134×expm1-udef
55170×log1p-udef
51012×log-prod
Stop Event
4×unsound
174×node limit
Counts
1692 → 50131

bsearch19.1s (1.3%)

Algorithm
290×binary-search
33×left-value
Stop Event
280×narrow-enough
10×predicate-same
Results
6.3s4822×body1024valid
5.5s23584×body256valid
2.1s3253×body512valid
1.7s1376×body2048valid
1.2s1009×body4096valid
392.0ms2367×body256invalid
377.0ms128×body1024infinite
281.0ms617×body256infinite
119.0ms201×body1024invalid
98.0ms96×body512infinite
97.0ms76×body2048invalid
47.0ms114×body512invalid
32.0ms9×body2048infinite
16.0ms2×body4096infinite
Compiler

Compiled 96235 to 71424 computations (25.8% saved)

series12.4s (0.8%)

Counts
1692 → 35586
Calls

9681 calls:

TimeVariablePointExpression
117.0ms
phi1
@0
(log.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))))
78.0ms
c
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 -1/2 (/.f64 (*.f64 a (/.f64 c b)) a)))) 1)
77.0ms
b
@-inf
(log.f64 (*.f64 1/4 (*.f64 b (*.f64 4 y-scale))))
71.0ms
x-scale
@inf
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (+.f64 (+.f64 (/.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)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 1) x-scale) y-scale) 2))))))) (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
65.0ms
lambda2
@-inf
(-.f64 (exp.f64 (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)))))) 1)

end19.0ms (0%)

Profiling

Loading profile data...