Date:Wednesday, February 22nd, 2023
Commit:0a0aee13 on main
Hostname:nightly with Racket 8.6
Seed:2023053
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)

eval17.5s (26.7%)

Compiler

Compiled 1003627 to 599343 computations (40.3% saved)

sample12.5s (19.1%)

Results
9.6s70262×body256valid
2.0s4042×body2048valid
460.0ms2084×body256invalid
373.0ms2799×body256infinite
Bogosity

prune10.4s (15.8%)

Counts
21955 → 335
Compiler

Compiled 12906 to 8783 computations (31.9% saved)

simplify8.1s (12.4%)

Algorithm
81×egg-herbie
Rules
48300×associate-*r*
39884×associate-*l*
37916×associate-/l*
37400×*-commutative
37068×associate-+r+
Stop Event
1×unsound
15×saturated
4×done
5×fuel
65×node limit
Counts
10810 → 14071
Compiler

Compiled 1993 to 1254 computations (37.1% saved)

rewrite6.0s (9.2%)

Algorithm
63×batch-egg-rewrite
Rules
41244×add-sqr-sqrt
40474×*-un-lft-identity
38080×add-cube-cbrt
37788×add-cbrt-cube
27660×associate-*r/
Stop Event
63×node limit
Counts
127 → 8048

localize3.0s (4.6%)

Compiler

Compiled 6515 to 3616 computations (44.5% saved)

regimes2.5s (3.8%)

Counts
478 → 82
Calls

23 calls:

636.0ms
a
396.0ms
c
343.0ms
b
212.0ms
x
140.0ms
z
Compiler

Compiled 10414 to 6101 computations (41.4% saved)

soundness1.9s (3%)

Algorithm
13×egg-herbie
Rules
9554×associate-+r+
9302×associate-*r*
8498×associate-+l+
8204×associate-*l*
7370×associate-/r*
Stop Event
4×saturated
9×node limit
Compiler

Compiled 1604 to 951 computations (40.7% saved)

analyze1.2s (1.8%)

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)

end673.0ms (1%)

Compiler

Compiled 1928 to 1105 computations (42.7% saved)

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

series553.0ms (0.8%)

Counts
127 → 2753
Calls

804 calls:

TimeVariablePointExpression
32.0ms
a
@inf
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
29.0ms
a
@0
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
24.0ms
c
@-inf
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)
24.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)
14.0ms
a
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)

bsearch437.0ms (0.7%)

Algorithm
28×binary-search
18×left-value
Results
340.0ms2992×body256valid
31.0ms214×body256invalid
18.0ms173×body256infinite
Compiler

Compiled 5997 to 4343 computations (27.6% saved)

Profiling

Loading profile data...