Herbie run

Date:Saturday, August 26th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023238
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: 24.0min)

localize8.4min (34.9%)

Results
Compiler

Compiled 94268 to 45274 computations (52% saved)

sample7.5min (31%)

Results
2.6min16996×body8192exit
1.1min64646×body1024valid
57.3s8118×body4096valid
51.3s269713×body256valid
31.6s13432×body2048valid
26.9s1523×body8192valid
16.9s32207×body512valid
7.1s3868×body1024infinite
5.8s28110×body256unsamplable
5.5s27631×body256infinite
3.7s825×body2048infinite
3.7s556×body4096infinite
3.6s21341×body256invalid
2.2s2220×body512infinite
2.0s5420×body2048invalid
1.7s3786×body1024invalid
678.0ms2218×body512invalid
360.0ms24×body8192infinite
77.0ms919×body256precondition
9.0ms7×body1024unsamplable
5.0ms8×body512unsamplable
4.0ms1×body2048unsamplable
1.0ms4×body4096invalid
Bogosity

eval2.2min (9.3%)

Compiler

Compiled 7451956 to 4005668 computations (46.2% saved)

soundness1.4min (6%)

Rules
347528×fma-def
175132×log-prod
172182×associate-*r*
151946×times-frac
148136×fma-neg
Stop Event
3×unsound
13×saturated
446×node limit
Compiler

Compiled 56140 to 32574 computations (42% saved)

regimes1.2min (5.1%)

Counts
17562 → 873
Calls

137 calls:

5.7s
phi1
5.5s
phi2
5.5s
b
5.0s
lambda1
4.7s
lambda2
Compiler

Compiled 416777 to 192287 computations (53.9% saved)

simplify51.5s (3.6%)

Algorithm
272×egg-herbie
Rules
198476×fma-def
122350×associate-*r*
109248×associate-*l*
93848×times-frac
89338×fma-neg
Stop Event
65×saturated
6×done
42×fuel
207×node limit
Counts
79159 → 63403
Compiler

Compiled 17625 to 11316 computations (35.8% saved)

prune47.1s (3.3%)

Counts
146505 → 6860
Results
Compiler

Compiled 749142 to 496036 computations (33.8% saved)

analyze32.5s (2.3%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
19.6%15.5%63.8%20.6%0%0%0%1
27.1%21.4%57.6%21%0%0%0%2
36.8%28.5%48.9%21.2%0%1.4%0%3
42.3%32.2%43.9%21.2%0%2.8%0%4
47.2%35.4%39.6%21.2%0%3.8%0%5
50.2%37.2%36.9%21.2%0%4.6%0%6
53.6%39.3%34%21.2%0%5.4%0.1%7
55.3%40.3%32.5%21.3%0%5.8%0.1%8
58.3%42%30.1%21.3%0%6.4%0.2%9
59.6%42.8%29%21.3%0%6.7%0.2%10
61.9%44.2%27.2%21.3%0%7.1%0.3%11
63.3%45%26%21.3%0%7.4%0.3%12
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

bsearch20.6s (1.4%)

Algorithm
316×binary-search
79×left-value
Stop Event
301×narrow-enough
15×predicate-same
Results
8.0s6774×body1024valid
4.9s24485×body256valid
2.2s2450×body512valid
1.9s1492×body2048valid
972.0ms622×body4096valid
437.0ms61×body4096infinite
325.0ms83×body2048infinite
242.0ms1730×body256invalid
206.0ms258×body1024infinite
199.0ms966×body256infinite
70.0ms137×body512infinite
19.0ms34×body1024invalid
15.0ms19×body2048invalid
5.0ms16×body512invalid
Compiler

Compiled 100701 to 72048 computations (28.5% saved)

rewrite20.5s (1.4%)

Algorithm
173×batch-egg-rewrite
Rules
121384×pow1
115120×add-exp-log
115096×log1p-expm1-u
115046×expm1-log1p-u
111528×add-log-exp
Stop Event
3×unsound
170×node limit
Counts
1681 → 41834

preprocess13.2s (0.9%)

Algorithm
51×egg-herbie
Rules
66624×fma-def
26490×fma-neg
25742×div-sub
23584×sub-neg
22428×distribute-lft-neg-in
Stop Event
10×saturated
41×node limit
Compiler

Compiled 39716 to 20924 computations (47.3% saved)

series11.6s (0.8%)

Counts
1681 → 37274
Calls

9702 calls:

TimeVariablePointExpression
143.0ms
a
@0
(/.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 8 (*.f64 (*.f64 b (*.f64 a (*.f64 b a))) (*.f64 b (*.f64 a (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (+.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)) (*.f64 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)) (*.f64 y-scale y-scale)) (hypot.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)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) x-scale) (/.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (*.f64 2 (fma.f64 a (neg.f64 a) (*.f64 b b))))))))))) (*.f64 (neg.f64 a) (*.f64 a (*.f64 b b))))
110.0ms
lambda1
@0
(-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
95.0ms
phi1
@inf
(log.f64 (+.f64 1 (expm1.f64 (acos.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
93.0ms
c
@inf
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 a c)))))
83.0ms
h
@inf
(log1p.f64 (*.f64 1/3 (cos.f64 (fma.f64 2/3 (PI.f64) (*.f64 (acos.f64 (/.f64 g h)) 1/3)))))

end22.0ms (0%)

Profiling

Loading profile data...