Herbie run

Date:Monday, August 28th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023240
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: 2.7min)

sample50.5s (31.6%)

Results
13.3s109564×body256valid
12.6s29652×body1024valid
12.3s12725×body8192exit
5.2s5903×body2048valid
3.7s15036×body512valid
1.4s4008×body1024invalid
807.0ms4648×body256infinite
431.0ms1999×body512invalid
255.0ms2439×body256invalid
136.0ms1137×body256unsamplable
73.0ms166×body512infinite
63.0ms151×body1024infinite
2.0ms1×body8192invalid
1.0ms1×body4096invalid
1.0ms2×body2048invalid
Bogosity

localize27.4s (17.1%)

Compiler

Compiled 7973 to 3234 computations (59.4% saved)

soundness16.2s (10.1%)

Rules
57066×fma-def
41746×pow1
39090×add-exp-log
39044×log1p-expm1-u
39040×expm1-log1p-u
Stop Event
8×saturated
1×unsound
104×node limit
Compiler

Compiled 9390 to 5163 computations (45% saved)

eval12.7s (7.9%)

Compiler

Compiled 757124 to 372258 computations (50.8% saved)

simplify11.9s (7.4%)

Algorithm
101×egg-herbie
Rules
62130×fma-def
34860×log-prod
33400×associate-*r*
28026×unswap-sqr
27850×associate-*l*
Stop Event
1×unsound
6×done
33×saturated
14×fuel
67×node limit
Counts
24221 → 19341
Compiler

Compiled 1844 to 1206 computations (34.6% saved)

regimes9.7s (6.1%)

Counts
3741 → 146
Calls

55 calls:

1.6s
x
1.2s
a
999.0ms
b
791.0ms
r
503.0ms
s
Compiler

Compiled 47240 to 22840 computations (51.7% saved)

prune9.1s (5.7%)

Counts
31788 → 1804
Compiler

Compiled 92069 to 60285 computations (34.5% saved)

analyze8.7s (5.4%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

rewrite6.9s (4.3%)

Algorithm
61×batch-egg-rewrite
Rules
47022×pow1
44124×add-exp-log
44050×log1p-expm1-u
44040×expm1-log1p-u
43556×add-log-exp
Stop Event
61×node limit
Counts
461 → 15527

series3.1s (1.9%)

Counts
461 → 8674
Calls

2340 calls:

TimeVariablePointExpression
145.0ms
x
@inf
(log.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))))
106.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
94.0ms
x
@-inf
(log.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))))
86.0ms
x
@0
(log.f64 (acos.f64 (-.f64 1 x)))
58.0ms
l
@-inf
(pow.f64 (pow.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) 3/2) 1/3)

preprocess2.9s (1.8%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9552×fma-neg
5312×distribute-lft-neg-in
4910×sub-neg
4300×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 4651 to 2534 computations (45.5% saved)

bsearch937.0ms (0.6%)

Algorithm
12×left-value
33×binary-search
Stop Event
33×narrow-enough
Results
438.0ms2435×body256valid
282.0ms604×body1024valid
60.0ms218×body512valid
54.0ms393×body256infinite
32.0ms42×body2048valid
6.0ms16×body1024infinite
1.0ms4×body512infinite
1.0ms6×body256unsamplable
Compiler

Compiled 6032 to 4157 computations (31.1% saved)

end1.0ms (0%)

Profiling

Loading profile data...