Date:Tuesday, March 7th, 2023
Commit:0a0aee13 on main
Hostname:nightly with Racket 8.6
Seed:2023066
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.1min)

eval16.1s (24.5%)

Compiler

Compiled 900126 to 529892 computations (41.1% saved)

sample12.7s (19.3%)

Results
9.7s70207×body256valid
2.0s4097×body2048valid
466.0ms2058×body256invalid
365.0ms2797×body256infinite
Bogosity

simplify9.1s (13.8%)

Algorithm
82×egg-herbie
Rules
45442×associate-*r*
40210×associate-/l*
38958×*-commutative
37810×associate-+r+
37600×associate-*l*
Stop Event
15×saturated
3×done
6×fuel
67×node limit
Counts
11969 → 15307
Compiler

Compiled 2614 to 1627 computations (37.8% saved)

prune8.6s (13.1%)

Counts
21299 → 398
Compiler

Compiled 16431 to 11247 computations (31.6% saved)

rewrite6.3s (9.6%)

Algorithm
64×batch-egg-rewrite
Rules
38458×add-sqr-sqrt
37734×*-un-lft-identity
35500×add-cube-cbrt
35250×add-cbrt-cube
32710×associate-/r*
Stop Event
64×node limit
Counts
131 → 8966

regimes3.5s (5.4%)

Counts
598 → 115
Calls

23 calls:

858.0ms
c
593.0ms
a
534.0ms
b
328.0ms
x
174.0ms
z
Compiler

Compiled 13511 to 7992 computations (40.8% saved)

localize2.7s (4.1%)

Compiler

Compiled 6129 to 3330 computations (45.7% saved)

soundness1.7s (2.6%)

Algorithm
13×egg-herbie
Rules
9692×associate-*r*
8432×associate-+r+
8372×associate-*l*
8156×associate-/l*
7722×associate-/r*
Stop Event
3×saturated
10×node limit
Compiler

Compiled 1645 to 984 computations (40.2% saved)

analyze1.3s (2%)

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

Algorithm
53×binary-search
14×left-value
Results
974.0ms6624×body256valid
144.0ms997×body256invalid
42.0ms306×body256infinite
Compiler

Compiled 17043 to 12181 computations (28.5% saved)

series938.0ms (1.4%)

Counts
131 → 2994
Calls

861 calls:

TimeVariablePointExpression
156.0ms
a
@-inf
(fma.f64 b b (*.f64 a (*.f64 c -4)))
64.0ms
b
@-inf
(cbrt.f64 (pow.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))) 3/2))
63.0ms
x
@-inf
(log.f64 (expm1.f64 (neg.f64 (log.f64 x))))
43.0ms
x
@0
(log.f64 (expm1.f64 (neg.f64 (log.f64 x))))
32.0ms
a
@inf
(*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4)))))))

end869.0ms (1.3%)

Compiler

Compiled 2521 to 1388 computations (44.9% saved)

preprocess600.0ms (0.9%)

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