Date:Thursday, December 22nd, 2022
Commit:d611f941 on main
Hostname:nightly with Racket 8.6
Seed:2022356
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.9min)

sample46.4s (26.7%)

Results
14.6s112992×body256valid
13.7s27991×body1024valid
8.1s3196×body8192exit
4.3s14234×body512valid
2.5s5024×body1024invalid
1.1s1647×body2048valid
633.0ms3415×body256infinite
564.0ms2409×body512invalid
361.0ms2831×body256invalid
160.0ms227×body1024infinite
77.0ms222×body512infinite
31.0ms151×body256unsamplable
3.0ms1×body8192invalid
1.0ms1×body4096invalid
1.0ms2×body2048invalid
Bogosity

simplify23.9s (13.8%)

Algorithm
238×egg-herbie
Rules
131152×associate-*r*
119730×*-commutative
107836×associate-*l*
105808×associate-/l*
105058×distribute-lft-in
Stop Event
9×unsound
4×done
32×saturated
15×fuel
197×node limit
Counts
32522 → 37663
Compiler

Compiled 2444 to 1550 computations (36.6% saved)

eval22.8s (13.1%)

Compiler

Compiled 1342977 to 633703 computations (52.8% saved)

rewrite18.6s (10.7%)

Algorithm
200×batch-egg-rewrite
Rules
161100×add-sqr-sqrt
158518×*-un-lft-identity
148318×add-cube-cbrt
146898×add-cbrt-cube
105768×add-exp-log
Stop Event
200×node limit
Counts
467 → 23686

prune17.4s (10%)

Counts
49325 → 1941
Compiler

Compiled 50788 to 33660 computations (33.7% saved)

regimes15.8s (9.1%)

Counts
4614 → 193
Calls

53 calls:

2.4s
x
2.0s
a
1.2s
s
1.1s
c
1.0s
b
Compiler

Compiled 62860 to 28792 computations (54.2% saved)

analyze12.9s (7.4%)

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)

soundness4.4s (2.5%)

Algorithm
26×egg-herbie
Rules
18334×associate-/r*
15896×associate-*r*
15156×sqr-pow
14704×*-commutative
12024×fma-def
Stop Event
2×saturated
24×node limit
Compiler

Compiled 1538 to 793 computations (48.4% saved)

localize3.9s (2.3%)

Compiler

Compiled 9069 to 4011 computations (55.8% saved)

bsearch2.7s (1.5%)

Algorithm
71×binary-search
16×left-value
Results
950.0ms1685×body1024valid
888.0ms5709×body256valid
314.0ms411×body2048valid
221.0ms694×body512valid
101.0ms612×body256invalid
57.0ms337×body256infinite
4.0ms10×body1024infinite
1.0ms5×body512infinite
Compiler

Compiled 14176 to 10028 computations (29.3% saved)

series2.6s (1.5%)

Counts
467 → 8817
Calls

2439 calls:

TimeVariablePointExpression
135.0ms
l
@0
(pow.f64 l (exp.f64 w))
100.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
71.0ms
y
@inf
(exp.f64 (log1p.f64 (+.f64 x (tan.f64 (+.f64 y z)))))
56.0ms
w
@inf
(pow.f64 (E.f64) (*.f64 (exp.f64 w) (log.f64 l)))
55.0ms
a
@inf
(log.f64 (+.f64 1 (/.f64 (cos.f64 (+.f64 a b)) r)))

preprocess1.4s (0.8%)

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.3s (0.7%)

Compiler

Compiled 2417 to 1188 computations (50.8% saved)

Profiling

Loading profile data...