Herbie run

Date:Thursday, February 15th, 2024
Commit:b0004ff3 on sound-rules
Hostname:nightly with Racket 8.11.1
Seed:2024046
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: 26.8min)

localize8.2min (30.8%)

Results
Compiler

Compiled 82705 to 45155 computations (45.4% saved)

sample6.6min (24.8%)

Results
1.1min298540×256valid
37.6s46020×512valid
4.5s27993×256invalid
5.6s27281×256infinite
6.6s26597×256unsamplable
18.3s25515×1024valid
2.7min16791×8192exit
24.4s10918×2048valid
44.5s7532×4096valid
5.6s5879×512infinite
1.0s1565×1024invalid
525.0ms1162×512invalid
900.0ms1130×2048invalid
15.9s1059×8192valid
132.0ms878×256precondition
2.6s696×2048infinite
1.3s515×1024infinite
2.6s415×4096infinite
5.0ms4×512unsamplable
6.0ms3×1024unsamplable
Bogosity

eval2.8min (10.3%)

Results
Compiler

Compiled 7132001 to 4203874 computations (41.1% saved)

soundness2.0min (7.4%)

Rules
264274×fma-define
178976×associate-*r*
156592×fma-neg
140874×*-commutative
138688×times-frac
Stop Event
17×saturated
401×node limit
8×unsound
Compiler

Compiled 44365 to 26401 computations (40.5% saved)

regimes1.7min (6.3%)

Counts
19252 → 832
Calls

135 calls:

8.0s
phi2
7.7s
lambda1
7.2s
phi1
6.8s
lambda2
5.6s
(-.f64 lambda1 lambda2)
Results
Compiler

Compiled 11983 to 8791 computations (26.6% saved)

preprocess1.6min (6.1%)

Algorithm
51×egg-herbie
Rules
63000×fma-define
37664×fma-neg
25928×div-sub
22916×unsub-neg
22266×sub-neg
Stop Event
21×saturated
30×node limit
Compiler

Compiled 73296 to 44952 computations (38.7% saved)

simplify1.2min (4.5%)

Algorithm
226×egg-herbie
Rules
140884×fma-define
107876×associate-*r*
102440×fma-neg
93432×associate-*l*
91336×*-commutative
Stop Event
49×saturated
36×fuel
174×node limit
3×unsound
11×done
Counts
88954 → 70849
Compiler

Compiled 13103 to 8842 computations (32.5% saved)

prune57.4s (3.6%)

Counts
156065 → 6448
Compiler

Compiled 425743 to 295102 computations (30.7% saved)

rewrite37.8s (2.4%)

Algorithm
179×batch-egg-rewrite
Rules
118472×log1p-expm1-u
86317×expm1-log1p-u
51602×log-prod
41192×associate-*r*
40740×prod-diff
Stop Event
177×node limit
2×unsound
Counts
1656 → 49926

analyze28.7s (1.8%)

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.8s (1.3%)

Counts
1656 → 39028
Calls

9384 calls:

TimeVariablePointExpression
449.0ms
angle
@inf
(-.f64 (-.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)) (pow.f64 y-scale 2)) (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (pow.f64 x-scale 2))) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (pow.f64 x-scale 2)) (/.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)) (pow.f64 y-scale 2))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (*.f64 y-scale x-scale)))))
221.0ms
lambda1
@-inf
(log.f64 (sin.f64 (-.f64 lambda1 lambda2)))
145.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)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 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)))
128.0ms
A
@-inf
(-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C)))
123.0ms
phi1
@-inf
(log1p.f64 (-.f64 (*.f64 (cos.f64 (*.f64 phi2 1/2)) (cos.f64 (*.f64 phi1 1/2))) (*.f64 (sin.f64 (*.f64 phi2 1/2)) (sin.f64 (*.f64 phi1 1/2)))))

bsearch12.2s (0.8%)

Algorithm
250×binary-search
120×left-value
Stop Event
4×predicate-same
245×narrow-enough
1×predicate-failed
Results
5.5s23598×256valid
3.2s4671×512valid
319.0ms1918×256invalid
867.0ms1082×2048valid
818.0ms684×1024valid
577.0ms625×4096valid
111.0ms483×256infinite
53.0ms122×512infinite
0.0ms2×256unsamplable
Compiler

Compiled 68058 to 50244 computations (26.2% saved)

end25.0ms (0%)

Profiling

Loading profile data...