Herbie run

Date:Saturday, September 9th, 2023
Commit:4716b437 on main
Hostname:nightly with Racket 8.6
Seed:2023252
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: 23.8min)

localize7.9min (33.3%)

Results
Compiler

Compiled 89683 to 42209 computations (52.9% saved)

sample7.7min (32.3%)

Results
2.7min16868×body8192exit
1.2min64947×body1024valid
57.4s8142×body4096valid
53.3s270304×body256valid
31.5s13005×body2048valid
29.2s1616×body8192valid
17.6s32025×body512valid
7.4s3941×body1024infinite
6.6s27962×body256unsamplable
5.9s27063×body256infinite
4.0s599×body4096infinite
3.9s828×body2048infinite
3.6s20919×body256invalid
2.2s2133×body512infinite
1.9s5377×body2048invalid
1.5s3794×body1024invalid
700.0ms2286×body512invalid
370.0ms25×body8192infinite
85.0ms916×body256precondition
8.0ms1×body4096unsamplable
5.0ms7×body512unsamplable
3.0ms2×body1024unsamplable
3.0ms10×body4096invalid
Bogosity

eval2.0min (8.5%)

Compiler

Compiled 7276846 to 3922472 computations (46.1% saved)

soundness1.5min (6.3%)

Rules
326616×fma-def
192726×associate-*r*
179686×log-prod
158662×fma-neg
155522×associate-*l*
Stop Event
5×unsound
14×saturated
447×node limit
Compiler

Compiled 51805 to 29398 computations (43.3% saved)

regimes1.3min (5.5%)

Counts
16516 → 859
Calls

138 calls:

6.1s
phi2
5.1s
lambda1
4.9s
b
4.5s
phi1
4.5s
lambda2
Compiler

Compiled 357998 to 171675 computations (52% saved)

simplify50.7s (3.5%)

Algorithm
278×egg-herbie
Rules
210498×fma-def
120884×associate-*r*
100438×times-frac
98834×associate-*l*
94442×*-commutative
Stop Event
65×saturated
5×done
43×fuel
213×node limit
Counts
82600 → 64490
Compiler

Compiled 14716 to 9456 computations (35.7% saved)

prune48.9s (3.4%)

Counts
147396 → 6873
Compiler

Compiled 729316 to 487731 computations (33.1% saved)

analyze36.0s (2.5%)

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)

rewrite20.9s (1.5%)

Algorithm
179×batch-egg-rewrite
Rules
124710×pow1
118010×add-exp-log
117956×log1p-expm1-u
117898×expm1-log1p-u
114436×add-log-exp
Stop Event
3×unsound
176×node limit
Counts
1765 → 43791

bsearch20.9s (1.5%)

Algorithm
308×binary-search
53×left-value
Stop Event
298×narrow-enough
10×predicate-same
Results
9.7s7561×body1024valid
4.9s24964×body256valid
2.2s2709×body512valid
1.9s1478×body2048valid
481.0ms502×body4096valid
459.0ms2587×body256invalid
140.0ms191×body1024infinite
103.0ms480×body256infinite
84.0ms151×body1024invalid
76.0ms105×body2048invalid
57.0ms130×body512invalid
43.0ms99×body512infinite
Compiler

Compiled 94429 to 68907 computations (27% saved)

series13.1s (0.9%)

Counts
1765 → 38758
Calls

10401 calls:

TimeVariablePointExpression
361.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))))
125.0ms
theta
@-inf
(log.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (sin.f64 theta))))
118.0ms
delta
@-inf
(log.f64 (pow.f64 (exp.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) (sin.f64 phi1)))
104.0ms
phi1
@-inf
(log.f64 (pow.f64 (exp.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) (sin.f64 phi1)))
104.0ms
phi1
@0
(log.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))))

preprocess12.3s (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 34252 to 17922 computations (47.7% saved)

end16.0ms (0%)

Profiling

Loading profile data...