Date:Friday, December 9th, 2022
Commit:758c3f52 on main
Hostname:nightly with Racket 8.6
Seed:2022343
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: 1.2min)

eval20.4s (27.6%)

Compiler

Compiled 1064676 to 601551 computations (43.5% saved)

prune12.8s (17.4%)

Counts
26181 → 334
Compiler

Compiled 11995 to 8066 computations (32.8% saved)

sample12.0s (16.3%)

Results
9.5s70167×body256valid
1.6s4137×body2048valid
504.0ms2879×body256infinite
339.0ms2100×body256invalid
Bogosity

simplify9.5s (12.9%)

Algorithm
87×egg-herbie
Rules
50688×associate-*r*
44134×associate-/l*
42768×associate-*l*
40960×associate-/r*
40486×*-commutative
Stop Event
1×unsound
15×saturated
4×done
5×fuel
71×node limit
Counts
13794 → 17957
Compiler

Compiled 2209 to 1368 computations (38.1% saved)

rewrite7.0s (9.5%)

Algorithm
69×batch-egg-rewrite
Rules
40356×add-sqr-sqrt
39606×*-un-lft-identity
37290×add-cube-cbrt
37046×add-cbrt-cube
28214×associate-/r*
Stop Event
69×node limit
Counts
147 → 10543

regimes3.4s (4.6%)

Counts
526 → 101
Calls

19 calls:

646.0ms
c
456.0ms
a
383.0ms
b
344.0ms
x
314.0ms
z
Compiler

Compiled 10556 to 5900 computations (44.1% saved)

localize2.6s (3.6%)

Compiler

Compiled 6483 to 3423 computations (47.2% saved)

soundness1.4s (1.9%)

Algorithm
11×egg-herbie
Rules
8162×associate-/r*
6744×associate-+r+
6698×associate-*r*
6242×associate-*l*
6062×associate-/l*
Stop Event
3×saturated
8×node limit
Compiler

Compiled 1274 to 704 computations (44.7% saved)

analyze1.2s (1.7%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%94.4%0.1%0%5.6%0%2
6.3%5.6%83.2%0.1%0%11.1%0%3
18.3%15.3%68%0.1%2.8%13.9%0%4
26.7%21.5%59%0.1%4.2%15.3%0%5
33.8%26.7%52.4%0.1%4.9%16%0%6
46.4%35.7%41.3%0.1%5.2%17.7%0%7
52.1%39.9%36.8%0.1%5.4%17.9%0%8
59.4%45.1%30.8%0.1%5.6%18.5%0%9
67.1%50.1%24.6%0.1%5.7%19.6%0%10
72.1%53.5%20.7%0.1%5.9%19.8%0%11
76.6%56.1%17.2%0.1%6.4%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

bsearch1.1s (1.5%)

Algorithm
44×binary-search
18×left-value
Results
763.0ms5408×body256valid
85.0ms437×body256infinite
76.0ms492×body256invalid
Compiler

Compiled 11096 to 8059 computations (27.4% saved)

series951.0ms (1.3%)

Counts
147 → 3242
Calls

927 calls:

TimeVariablePointExpression
46.0ms
x
@-inf
(/.f64 1 (/.f64 (-.f64 (+.f64 x 4) (*.f64 x z)) y))
38.0ms
n
@-inf
(-.f64 (*.f64 f f) (*.f64 n n))
35.0ms
c
@inf
(+.f64 (neg.f64 b) (/.f64 1 (sqrt.f64 (/.f64 1 (fma.f64 c (*.f64 -4 a) (*.f64 b b))))))
29.0ms
c
@inf
(/.f64 (*.f64 c (*.f64 a -4)) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))
24.0ms
c
@0
(pow.f64 (*.f64 -4 (*.f64 c a)) 1/4)

end939.0ms (1.3%)

Compiler

Compiled 2139 to 1203 computations (43.8% saved)

preprocess524.0ms (0.7%)

Algorithm
18×egg-herbie
Rules
4834×associate-/r*
4092×associate-/l*
3528×fma-def
3160×associate-*l*
2760×*-commutative
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

Profiling

Loading profile data...