Herbie run

Date:Monday, October 2nd, 2023
Commit:2a64fc33 on main
Hostname:nightly with Racket 8.6
Seed:2023275
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: 29.4min)

sample9.9min (33.6%)

Results
2.7min16299×body8192exit
1.6min64711×body1024valid
1.4min8112×body4096valid
1.3min269209×body256valid
47.3s13427×body2048valid
40.7s1609×body8192valid
24.9s32166×body512valid
9.9s4131×body1024infinite
8.0s27320×body256infinite
6.8s26680×body256unsamplable
6.1s599×body4096infinite
5.8s21027×body256invalid
5.1s821×body2048infinite
3.8s5369×body2048invalid
3.0s2246×body512infinite
2.7s3807×body1024invalid
1.2s2263×body512invalid
306.0ms19×body8192infinite
159.0ms852×body256precondition
11.0ms6×body1024unsamplable
7.0ms10×body4096invalid
2.0ms3×body512unsamplable
Bogosity

localize8.9min (30.3%)

Results
Compiler

Compiled 83897 to 40211 computations (52.1% saved)

eval2.4min (8.3%)

Compiler

Compiled 5380794 to 2872047 computations (46.6% saved)

soundness2.0min (6.7%)

Rules
304082×fma-def
208072×associate-*r*
188744×log-prod
159948×associate-*l*
153306×fma-neg
Stop Event
4×unsound
8×saturated
446×node limit
Compiler

Compiled 47254 to 25930 computations (45.1% saved)

regimes1.4min (4.8%)

Counts
14425 → 836
Calls

130 calls:

5.9s
phi1
5.6s
b
5.2s
B
5.0s
phi2
4.9s
lambda1
Results
Compiler

Compiled 274637 to 125893 computations (54.2% saved)

prune1.1min (3.9%)

Counts
125916 → 6316
Compiler

Compiled 654731 to 445297 computations (32% saved)

simplify1.1min (3.8%)

Algorithm
220×egg-herbie
Rules
137164×fma-def
107848×associate-*r*
92560×log-prod
88892×associate-*l*
74988×*-commutative
Stop Event
2×unsound
47×saturated
5×done
42×fuel
171×node limit
Counts
78862 → 61006
Compiler

Compiled 13486 to 8603 computations (36.2% saved)

analyze56.7s (3.2%)

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)

bsearch30.7s (1.7%)

Algorithm
341×binary-search
56×left-value
Stop Event
330×narrow-enough
11×predicate-same
Results
8.6s6786×body1024valid
8.3s27169×body256valid
3.7s1704×body4096valid
3.5s2350×body2048valid
2.0s2946×body512valid
1.1s4198×body256invalid
673.0ms490×body1024invalid
328.0ms21×body2048infinite
303.0ms331×body2048invalid
248.0ms196×body1024infinite
243.0ms12×body4096infinite
179.0ms622×body256infinite
138.0ms316×body512invalid
101.0ms162×body512infinite
10.0ms41×body256unsamplable
Compiler

Compiled 94457 to 69064 computations (26.9% saved)

rewrite30.4s (1.7%)

Algorithm
173×batch-egg-rewrite
Rules
123524×pow1
117060×add-exp-log
116988×log1p-expm1-u
116952×expm1-log1p-u
110386×add-log-exp
Stop Event
2×unsound
171×node limit
Counts
1675 → 42263

preprocess18.3s (1%)

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 30658 to 15698 computations (48.8% saved)

series15.4s (0.9%)

Counts
1675 → 36599
Calls

9615 calls:

TimeVariablePointExpression
281.0ms
b
@-inf
(-.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)) (+.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)) (*.f64 x-scale x-scale)) (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)) (*.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))) y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale)))))
139.0ms
x
@inf
(-.f64 (log.f64 2) (log1p.f64 (pow.f64 (exp.f64 x) -2)))
133.0ms
b
@0
(*.f64 (*.f64 b b) (-.f64 (exp.f64 (log1p.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/180))) 2))) 1))
128.0ms
angle
@0
(/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 a (*.f64 b (neg.f64 a)))) (*.f64 (/.f64 (*.f64 8 (*.f64 b (*.f64 a (*.f64 b (neg.f64 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 (*.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (*.f64 2 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) y-scale)))))))) (*.f64 b (*.f64 a (*.f64 b (neg.f64 a)))))
117.0ms
phi1
@0
(pow.f64 (*.f64 R (hypot.f64 (*.f64 (cos.f64 (*.f64 (+.f64 phi1 phi2) 1/2)) (-.f64 lambda1 lambda2)) (-.f64 phi1 phi2))) 3)

end21.0ms (0%)

Profiling

Loading profile data...