Herbie run

Date:Friday, October 20th, 2023
Commit:21d611eb on main
Hostname:nightly with Racket 8.6
Seed:2023293
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.7min)

sample7.5min (31.8%)

Results
2.6min16701×body8192exit
1.1min64208×body1024valid
57.6s8132×body4096valid
52.4s269322×body256valid
32.2s13425×body2048valid
28.9s1606×body8192valid
17.2s32696×body512valid
7.1s4244×body1024infinite
5.8s27401×body256unsamplable
5.7s27282×body256infinite
3.9s586×body4096infinite
3.6s21263×body256invalid
3.5s837×body2048infinite
2.0s2100×body512infinite
1.9s5247×body2048invalid
1.7s3669×body1024invalid
673.0ms2189×body512invalid
422.0ms30×body8192infinite
80.0ms886×body256precondition
10.0ms15×body512unsamplable
9.0ms1×body4096unsamplable
6.0ms5×body1024unsamplable
2.0ms8×body4096invalid
Bogosity

localize7.5min (31.6%)

Results
Compiler

Compiled 82795 to 40031 computations (51.7% saved)

eval1.7min (7.2%)

Compiler

Compiled 5882113 to 3246541 computations (44.8% saved)

soundness1.5min (6.2%)

Rules
332240×fma-def
192558×associate-*r*
189000×log-prod
154132×*-commutative
147316×associate-*l*
Stop Event
4×unsound
8×saturated
456×node limit
Compiler

Compiled 49476 to 27609 computations (44.2% saved)

regimes1.3min (5.5%)

Counts
18121 → 887
Calls

137 calls:

8.4s
phi1
7.2s
phi2
5.6s
lambda1
5.5s
lambda2
3.6s
b
Compiler

Compiled 449878 to 230461 computations (48.8% saved)

preprocess1.1min (4.8%)

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 48016 to 25933 computations (46% saved)

simplify47.7s (3.4%)

Algorithm
223×egg-herbie
Rules
146396×fma-def
99632×associate-*r*
90886×log-prod
86990×associate-*l*
81284×*-commutative
Stop Event
48×saturated
8×done
40×fuel
175×node limit
Counts
74189 → 58467
Compiler

Compiled 17538 to 11429 computations (34.8% saved)

prune41.7s (2.9%)

Counts
122081 → 6359
Compiler

Compiled 711636 to 477651 computations (32.9% saved)

analyze33.8s (2.4%)

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)

bsearch26.8s (1.9%)

Algorithm
379×binary-search
45×left-value
Stop Event
372×narrow-enough
7×predicate-same
Results
12.4s10681×body1024valid
5.5s26330×body256valid
2.7s4047×body512valid
2.0s1694×body2048valid
1.4s1030×body4096valid
452.0ms33×body1024invalid
371.0ms604×body1024infinite
293.0ms2029×body256invalid
233.0ms62×body2048infinite
217.0ms975×body256infinite
200.0ms32×body4096infinite
66.0ms160×body512infinite
15.0ms37×body512invalid
12.0ms1×body8192infinite
6.0ms9×body2048invalid
Compiler

Compiled 129360 to 94002 computations (27.3% saved)

rewrite21.0s (1.5%)

Algorithm
175×batch-egg-rewrite
Rules
130528×pow1
123470×add-exp-log
123412×log1p-expm1-u
123382×expm1-log1p-u
113506×add-log-exp
Stop Event
3×unsound
172×node limit
Counts
1620 → 38407

series10.6s (0.7%)

Counts
1620 → 35782
Calls

9561 calls:

TimeVariablePointExpression
118.0ms
lambda2
@inf
(log.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
109.0ms
a
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 3 a))) 1)
74.0ms
phi1
@inf
(log1p.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
74.0ms
phi2
@inf
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (acos.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R))))
70.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)) (sqrt.f64 (+.f64 (pow.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))) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 y-scale x-scale)) 2)))))

end22.0ms (0%)

Profiling

Loading profile data...