Herbie run

Date:Tuesday, October 24th, 2023
Commit:4c861e3a on platforms
Hostname:nightly with Racket 8.6
Seed:2023297
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: 28.2min)

sample8.0min (28.2%)

Results
2.6min16916×body8192exit
1.2min64770×body1024valid
1.1min8179×body4096valid
57.0s269507×body256valid
35.9s13357×body2048valid
31.4s1583×body8192valid
17.7s32121×body512valid
7.3s4309×body1024infinite
6.0s28292×body256unsamplable
5.9s27305×body256infinite
4.0s590×body4096infinite
3.7s21458×body256invalid
3.5s810×body2048infinite
2.2s5289×body2048invalid
2.2s2146×body512infinite
1.6s3742×body1024invalid
664.0ms2202×body512invalid
355.0ms24×body8192infinite
92.0ms901×body256precondition
4.0ms3×body1024unsamplable
3.0ms4×body512unsamplable
1.0ms3×body4096invalid
Bogosity

localize7.4min (26.2%)

Results
Compiler

Compiled 92019 to 44871 computations (51.2% saved)

eval3.7min (13.2%)

Compiler

Compiled 10899654 to 5874659 computations (46.1% saved)

soundness2.5min (8.8%)

Rules
331547×fma-def
254482×*-commutative
215868×associate-*r/
205188×+-commutative
180294×associate-/l*
Stop Event
9×saturated
486×node limit
Compiler

Compiled 59032 to 32190 computations (45.5% saved)

simplify1.3min (4.7%)

Algorithm
226×egg-herbie
Rules
141361×fma-def
120908×*-commutative
108839×+-commutative
97094×associate-*r/
85165×associate-/l*
Stop Event
2×unsound
48×saturated
3×done
44×fuel
176×node limit
Counts
130307 → 121808
Compiler

Compiled 13161 to 8569 computations (34.9% saved)

prune1.3min (4.6%)

Counts
221557 → 7446
Compiler

Compiled 892611 to 582684 computations (34.7% saved)

regimes1.3min (4.5%)

Counts
18381 → 787
Calls

137 calls:

5.4s
b
5.1s
phi1
4.8s
lambda1
4.5s
a
4.5s
phi2
Results
Compiler

Compiled 444755 to 211034 computations (52.6% saved)

preprocess1.1min (4.1%)

Algorithm
51×egg-herbie
Rules
58940×fma-def
27834×*-commutative
21981×sub-neg
20214×fma-neg
19023×distribute-lft-in
Stop Event
11×saturated
40×node limit
Compiler

Compiled 40334 to 21757 computations (46.1% saved)

rewrite36.6s (2.2%)

Algorithm
535×rewrite-once
178×batch-egg-rewrite
Rules
83077×flip-+
74272×fma-def
72636×associate-*r*
72082×associate-*l*
69223×associate-*r/
Stop Event
1×unsound
177×node limit
Counts
1733 → 93241
Calls

2119 calls:

68.0ms
(log.f64 (exp.f64 (*.f64 (sin.f64 (*.f64 phi2 1/2)) (sin.f64 (*.f64 phi1 1/2)))))
66.0ms
(/.f64 (pow.f64 (*.f64 b a) 2) y-scale)
54.0ms
(+.f64 (cos.f64 delta) (*.f64 -1 (+.f64 (*.f64 phi1 (*.f64 (cos.f64 theta) (sin.f64 delta))) (*.f64 (cos.f64 delta) (*.f64 phi1 phi1)))))
7.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
6.0ms
(cos.f64 (-.f64 lambda1 lambda2))

analyze35.5s (2.1%)

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)

bsearch14.1s (0.8%)

Algorithm
278×binary-search
61×left-value
Stop Event
274×narrow-enough
4×predicate-same
Results
5.2s5527×body1024valid
4.2s23192×body256valid
1.2s1970×body512valid
1.1s1200×body2048valid
954.0ms877×body4096valid
278.0ms1647×body256infinite
173.0ms1417×body256invalid
153.0ms218×body1024infinite
66.0ms148×body512infinite
62.0ms16×body2048infinite
33.0ms5×body4096infinite
4.0ms65×body256unsamplable
Compiler

Compiled 75695 to 55587 computations (26.6% saved)

series10.5s (0.6%)

Counts
1733 → 37066
Calls

10248 calls:

TimeVariablePointExpression
107.0ms
c
@-inf
(cbrt.f64 (*.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 3/2) (pow.f64 b 3)) (-.f64 (+.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) (*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b) (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b))))
91.0ms
c
@inf
(cbrt.f64 (*.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 3/2) (pow.f64 b 3)) (-.f64 (+.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) (*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b) (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b))))
88.0ms
a
@inf
(cbrt.f64 (*.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 3/2) (pow.f64 b 3)) (-.f64 (+.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) (*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b) (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b))))
84.0ms
a
@-inf
(cbrt.f64 (*.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 3/2) (pow.f64 b 3)) (-.f64 (+.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) (*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b) (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4)))) b))))
83.0ms
v
@inf
(log1p.f64 (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))

end15.0ms (0%)

Profiling

Loading profile data...