Date:Friday, May 5th, 2023
Commit:ced00d44 on ffi-gc
Hostname:nightly with Racket 8.6
Seed:2023125
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:simplify
default

Details

Time bar (total: 2.8min)

sample48.4s (28.5%)

Results
15.5s113052×body256valid
14.2s27995×body1024valid
8.2s3241×body8192exit
4.7s14174×body512valid
2.2s4925×body1024invalid
1.2s1643×body2048valid
667.0ms2393×body512invalid
617.0ms3349×body256infinite
320.0ms2867×body256invalid
203.0ms167×body256unsamplable
149.0ms231×body1024infinite
141.0ms249×body512infinite
1.0ms1×body4096invalid
1.0ms3×body2048invalid
Bogosity

simplify24.0s (14.1%)

Algorithm
220×egg-herbie
Rules
111102×associate-*r*
111066×*-commutative
104804×distribute-lft-in
104452×associate-/l*
93808×associate-*l*
Stop Event
3×unsound
4×done
32×saturated
15×fuel
185×node limit
Counts
30775 → 35765
Compiler

Compiled 2266 to 1510 computations (33.4% saved)

eval23.2s (13.7%)

Compiler

Compiled 1401778 to 688156 computations (50.9% saved)

rewrite17.6s (10.4%)

Algorithm
182×batch-egg-rewrite
Rules
132616×add-sqr-sqrt
130510×*-un-lft-identity
122038×add-cube-cbrt
119378×add-cbrt-cube
79094×add-exp-log
Stop Event
182×node limit
Counts
418 → 22613

prune17.0s (10%)

Counts
46851 → 1778
Compiler

Compiled 51403 to 35212 computations (31.5% saved)

regimes13.5s (8%)

Counts
4065 → 158
Calls

51 calls:

1.6s
x
1.4s
b
1.4s
a
1.3s
r
834.0ms
c
Compiler

Compiled 63560 to 34921 computations (45.1% saved)

analyze11.5s (6.8%)

Algorithm
19×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%72.3%27.7%0%0%0%0
9.1%6.6%65.7%27.7%0%0%0%1
10.9%7.9%64.4%27.7%0%0%0%2
32.8%23.7%48.6%27.7%0%0%0%3
42.8%30.9%41.4%27.7%0%0%0%4
48.9%34.9%36.5%27.7%0%1%0%5
53.3%37.5%32.9%27.7%0.5%1.2%0.3%6
58.9%41%28.7%27.7%0.6%1.7%0.3%7
62.4%43.1%26%27.7%0.9%1.8%0.5%8
65.8%45.2%23.5%27.7%0.9%2.2%0.5%9
69.2%47.3%21%27.7%1.1%2.3%0.6%10
71.3%48.5%19.5%27.7%1.3%2.5%0.6%11
73.2%49.6%18.2%27.7%1.4%2.5%0.6%12
Compiler

Compiled 288 to 205 computations (28.8% saved)

localize4.1s (2.4%)

Compiler

Compiled 9771 to 4421 computations (54.8% saved)

soundness3.0s (1.8%)

Algorithm
22×egg-herbie
Rules
13972×associate-/r*
13428×*-commutative
11996×fma-def
11686×associate-*r*
11494×sqr-pow
Stop Event
2×saturated
20×node limit
Compiler

Compiled 1928 to 1149 computations (40.4% saved)

series2.4s (1.4%)

Counts
418 → 8143
Calls

2301 calls:

TimeVariablePointExpression
94.0ms
x
@-inf
(-.f64 (*.f64 (exp.f64 (log1p.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 (log1p.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) 1)
75.0ms
y
@inf
(-.f64 (exp.f64 (log1p.f64 (cos.f64 (+.f64 y z)))) 1)
73.0ms
x
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/362880 (pow.f64 x 9)))) 1)
53.0ms
w
@0
(*.f64 w (-.f64 (*.f64 l (log.f64 l)) l))
52.0ms
l
@0
(pow.f64 l (exp.f64 w))

bsearch2.0s (1.2%)

Algorithm
52×binary-search
1×left-value
Stop Event
45×narrow-enough
4×predicate-failed
3×predicate-same
Results
870.0ms5033×body256valid
514.0ms1001×body1024valid
198.0ms1658×body256invalid
172.0ms493×body512valid
81.0ms515×body256infinite
41.0ms49×body2048valid
9.0ms28×body512infinite
5.0ms10×body1024infinite
Compiler

Compiled 10744 to 7315 computations (31.9% saved)

preprocess1.5s (0.9%)

Algorithm
38×egg-herbie
Rules
8532×fma-def
7066×sqr-pow
5672×associate-/l/
5048×unswap-sqr
4482×*-commutative
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

end1.4s (0.8%)

Compiler

Compiled 2220 to 1191 computations (46.4% saved)

Profiling

Loading profile data...