Date:Saturday, May 6th, 2023
Commit:8c146112 on initial-rr-proofs
Hostname:nightly with Racket 8.6
Seed:2023126
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)

eval19.8s (26.6%)

Compiler

Compiled 958738 to 566928 computations (40.9% saved)

sample12.8s (17.2%)

Results
10.0s70142×body256valid
1.7s4162×body2048valid
515.0ms2933×body256infinite
429.0ms2070×body256invalid
Bogosity

prune10.5s (14.1%)

Counts
21183 → 359
Compiler

Compiled 16426 to 11237 computations (31.6% saved)

simplify9.0s (12.1%)

Algorithm
76×egg-herbie
Rules
42376×associate-*r*
36908×associate-+r+
36118×*-commutative
35750×associate-*l*
35284×associate-*r/
Stop Event
1×unsound
15×saturated
4×done
5×fuel
60×node limit
Counts
9903 → 13318
Compiler

Compiled 2028 to 1288 computations (36.5% saved)

rewrite8.9s (12%)

Algorithm
58×batch-egg-rewrite
Rules
37960×add-sqr-sqrt
37264×*-un-lft-identity
35006×add-cube-cbrt
34730×add-cbrt-cube
25176×associate-/r*
Stop Event
58×node limit
Counts
113 → 7351

regimes3.3s (4.5%)

Counts
476 → 100
Calls

19 calls:

815.0ms
c
811.0ms
a
502.0ms
b
209.0ms
x
184.0ms
z
Compiler

Compiled 11873 to 6924 computations (41.7% saved)

localize2.9s (3.9%)

Compiler

Compiled 6289 to 3612 computations (42.6% saved)

soundness2.1s (2.9%)

Algorithm
12×egg-herbie
Rules
10390×associate-/l*
8534×associate-*r*
8224×associate-+r+
7552×associate-*l*
7218×distribute-lft-in
Stop Event
3×saturated
13×node limit
Compiler

Compiled 2020 to 1199 computations (40.6% saved)

bsearch1.3s (1.7%)

Algorithm
56×binary-search
8×left-value
Stop Event
52×narrow-enough
4×predicate-same
Results
960.0ms7040×body256valid
135.0ms862×body256invalid
41.0ms332×body256infinite
Compiler

Compiled 18649 to 13192 computations (29.3% 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)

series1.1s (1.5%)

Counts
113 → 2543
Calls

786 calls:

TimeVariablePointExpression
111.0ms
a
@0
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
58.0ms
c
@inf
(+.f64 b (pow.f64 (pow.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))) 1/4) 2))
48.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 a))) (log.f64 (*.f64 -4 c)))))
42.0ms
c
@0
(pow.f64 (*.f64 (*.f64 -4 c) a) 1/4)
40.0ms
b
@inf
(-.f64 (+.f64 (*.f64 2 (*.f64 c (/.f64 a b))) (exp.f64 (log1p.f64 (*.f64 b -2)))) 1)

end739.0ms (1%)

Compiler

Compiled 1956 to 1118 computations (42.8% saved)

preprocess711.0ms (1%)

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...