Date:Tuesday, May 2nd, 2023
Commit:3e4ff629 on main
Hostname:nightly with Racket 8.6
Seed:2023122
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)

eval21.2s (27.9%)

Compiler

Compiled 1185863 to 686938 computations (42.1% saved)

prune13.1s (17.3%)

Counts
25383 → 357
Compiler

Compiled 14024 to 9446 computations (32.6% saved)

sample12.7s (16.7%)

Results
9.6s70158×body256valid
2.1s4146×body2048valid
479.0ms2726×body256infinite
403.0ms2087×body256invalid
Bogosity

simplify9.6s (12.6%)

Algorithm
83×egg-herbie
Rules
51886×associate-*r*
43958×associate-*l*
41524×associate-+r+
38854×*-commutative
36748×associate-/l*
Stop Event
15×saturated
3×done
6×fuel
68×node limit
Counts
12214 → 16235
Compiler

Compiled 2373 to 1481 computations (37.6% saved)

rewrite6.3s (8.3%)

Algorithm
65×batch-egg-rewrite
Rules
43950×add-sqr-sqrt
43186×*-un-lft-identity
40616×add-cube-cbrt
40270×add-cbrt-cube
29888×associate-/r*
Stop Event
65×node limit
Counts
129 → 9239

regimes3.0s (3.9%)

Counts
545 → 120
Calls

23 calls:

443.0ms
a
369.0ms
c
318.0ms
b
239.0ms
y
237.0ms
z
Compiler

Compiled 10521 to 5875 computations (44.2% saved)

localize2.9s (3.8%)

Compiler

Compiled 6899 to 3791 computations (45.1% saved)

soundness2.1s (2.8%)

Algorithm
15×egg-herbie
Rules
9758×associate-*r*
9742×associate-/r*
9610×associate-/l*
9054×associate-+r+
8544×associate-*l*
Stop Event
4×saturated
11×node limit
Compiler

Compiled 1713 to 995 computations (41.9% saved)

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

end1.0s (1.3%)

Compiler

Compiled 2293 to 1282 computations (44.1% saved)

bsearch965.0ms (1.3%)

Algorithm
59×binary-search
17×left-value
Stop Event
52×narrow-enough
7×predicate-same
Results
777.0ms6688×body256valid
55.0ms369×body256invalid
26.0ms224×body256infinite
Compiler

Compiled 12270 to 8796 computations (28.3% saved)

series947.0ms (1.2%)

Counts
129 → 2966
Calls

876 calls:

TimeVariablePointExpression
161.0ms
y
@-inf
(/.f64 (+.f64 x 4) y)
124.0ms
x
@-inf
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
37.0ms
b
@-inf
(/.f64 (-.f64 (*.f64 b b) (fma.f64 c (*.f64 a -4) (*.f64 b b))) (-.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))))
35.0ms
a
@0
(pow.f64 (*.f64 a (*.f64 -4 c)) 1/4)
35.0ms
c
@-inf
(pow.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))) 1/4)

preprocess875.0ms (1.2%)

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