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: 1.3min)

eval20.6s (26.1%)

Compiler

Compiled 1139578 to 657851 computations (42.3% saved)

sample12.8s (16.1%)

Results
9.6s70142×body256valid
1.9s4162×body2048valid
572.0ms2803×body256infinite
506.0ms2152×body256invalid
Bogosity

prune12.5s (15.8%)

Counts
26401 → 398
Compiler

Compiled 16695 to 11298 computations (32.3% saved)

simplify9.7s (12.2%)

Algorithm
90×egg-herbie
Rules
57040×associate-*r*
48730×associate-*l*
47078×*-commutative
45312×associate-/l*
41100×associate-+r+
Stop Event
15×saturated
5×done
4×fuel
75×node limit
Counts
13123 → 17746
Compiler

Compiled 3241 to 1967 computations (39.3% saved)

rewrite7.3s (9.2%)

Algorithm
72×batch-egg-rewrite
Rules
49200×add-sqr-sqrt
48364×*-un-lft-identity
45408×add-cube-cbrt
45022×add-cbrt-cube
28416×associate-/l*
Stop Event
72×node limit
Counts
149 → 9967

regimes5.4s (6.8%)

Counts
688 → 152
Calls

23 calls:

1.4s
a
1.2s
c
772.0ms
b
383.0ms
x
260.0ms
z
Compiler

Compiled 16455 to 9195 computations (44.1% saved)

localize3.0s (3.8%)

Compiler

Compiled 6054 to 3200 computations (47.1% saved)

soundness2.3s (2.9%)

Algorithm
14×egg-herbie
Rules
10742×associate-*r*
10104×associate-/r*
9204×associate-*l*
8724×associate-/l*
8710×*-commutative
Stop Event
3×saturated
11×node limit
Compiler

Compiled 3966 to 2339 computations (41% saved)

bsearch1.9s (2.4%)

Algorithm
86×binary-search
22×left-value
Results
1.5s11136×body256valid
124.0ms857×body256invalid
80.0ms703×body256infinite
Compiler

Compiled 23173 to 16807 computations (27.5% saved)

analyze1.2s (1.6%)

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)

end1.0s (1.3%)

Compiler

Compiled 3159 to 1757 computations (44.4% saved)

series881.0ms (1.1%)

Counts
149 → 3147
Calls

963 calls:

TimeVariablePointExpression
269.0ms
b
@0
(sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))
26.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)
25.0ms
a
@0
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)
17.0ms
c
@inf
(cbrt.f64 (/.f64 (*.f64 c -2) (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4)))))))
12.0ms
a
@-inf
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)

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