Date:Saturday, May 13th, 2023
Commit:1f5aabee on main
Hostname:nightly with Racket 8.6
Seed:2023133
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)

eval17.9s (23.8%)

Compiler

Compiled 967443 to 578001 computations (40.3% saved)

sample12.4s (16.5%)

Results
9.4s70190×body256valid
1.7s4114×body2048valid
564.0ms2092×body256invalid
458.0ms2875×body256infinite
Bogosity

prune11.0s (14.6%)

Counts
21253 → 375
Compiler

Compiled 16271 to 11075 computations (31.9% saved)

rewrite8.5s (11.3%)

Algorithm
54×batch-egg-rewrite
Rules
31524×add-sqr-sqrt
30866×*-un-lft-identity
29148×add-cube-cbrt
28950×add-cbrt-cube
26828×associate-/r*
Stop Event
54×node limit
Counts
110 → 7933

simplify8.4s (11.1%)

Algorithm
72×egg-herbie
Rules
42710×associate-*r*
35148×associate-/l*
34456×associate-*l*
33616×*-commutative
33484×associate-+r+
Stop Event
15×saturated
4×done
5×fuel
57×node limit
Counts
10446 → 14124
Compiler

Compiled 2858 to 1751 computations (38.7% saved)

regimes5.3s (7%)

Counts
575 → 112
Calls

23 calls:

1.6s
a
1.1s
c
610.0ms
b
372.0ms
x
287.0ms
z
Compiler

Compiled 13498 to 8185 computations (39.4% saved)

localize3.2s (4.2%)

Compiler

Compiled 6122 to 3373 computations (44.9% saved)

soundness3.0s (4%)

Algorithm
15×egg-herbie
Rules
13732×associate-/r*
11014×associate-+r+
10842×distribute-lft-in
10174×associate-*r*
9326×associate-+l+
Stop Event
3×saturated
18×node limit
Compiler

Compiled 4459 to 2642 computations (40.7% saved)

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

end1.3s (1.7%)

Compiler

Compiled 2781 to 1568 computations (43.6% saved)

bsearch1.2s (1.5%)

Algorithm
52×binary-search
20×left-value
Stop Event
45×narrow-enough
7×predicate-same
Results
887.0ms6160×body256valid
67.0ms417×body256invalid
55.0ms445×body256infinite
Compiler

Compiled 13283 to 9477 computations (28.7% saved)

series1.1s (1.5%)

Counts
110 → 2504
Calls

807 calls:

TimeVariablePointExpression
315.0ms
c
@-inf
(pow.f64 (*.f64 (*.f64 c a) -4) 3/2)
46.0ms
c
@0
(pow.f64 (*.f64 (*.f64 c a) -4) 3/2)
41.0ms
b
@0
(pow.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))) 1/4)
40.0ms
c
@-inf
(pow.f64 (cbrt.f64 (/.f64 (*.f64 c -2) (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) 3)
40.0ms
c
@inf
(pow.f64 (cbrt.f64 (/.f64 (*.f64 c -2) (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) 3)

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