Date:Tuesday, January 10th, 2023
Commit:77578b98 on oflatt-proof-flatten-limit
Hostname:nightly with Racket 8.6
Seed:2023010
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.2min)

eval18.8s (25.2%)

Compiler

Compiled 1042383 to 601678 computations (42.3% saved)

sample13.1s (17.6%)

Results
10.1s70181×body256valid
1.8s4123×body2048valid
602.0ms2849×body256infinite
410.0ms2160×body256invalid
Bogosity

prune12.3s (16.4%)

Counts
25513 → 380
Compiler

Compiled 14654 to 9975 computations (31.9% saved)

simplify10.2s (13.7%)

Algorithm
90×egg-herbie
Rules
53240×associate-*r*
46458×*-commutative
46264×associate-/l*
46196×associate-*l*
42056×associate-+r+
Stop Event
15×saturated
3×done
6×fuel
75×node limit
Counts
14048 → 18630
Compiler

Compiled 2354 to 1449 computations (38.4% saved)

rewrite7.3s (9.8%)

Algorithm
72×batch-egg-rewrite
Rules
40184×add-sqr-sqrt
39392×*-un-lft-identity
38248×associate-/r*
37082×add-cube-cbrt
36812×add-cbrt-cube
Stop Event
72×node limit
Counts
153 → 10630

regimes3.6s (4.8%)

Counts
629 → 104
Calls

23 calls:

980.0ms
a
600.0ms
c
534.0ms
b
251.0ms
x
249.0ms
z
Compiler

Compiled 13648 to 7617 computations (44.2% saved)

localize2.9s (3.9%)

Compiler

Compiled 6459 to 3403 computations (47.3% saved)

soundness2.2s (2.9%)

Algorithm
15×egg-herbie
Rules
10732×associate-*r*
10320×associate-+r+
9438×associate-+l+
9226×associate-*l*
8888×associate-/l*
Stop Event
4×saturated
11×node limit
Compiler

Compiled 1685 to 955 computations (43.3% 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)

bsearch1.1s (1.4%)

Algorithm
48×binary-search
14×left-value
Results
802.0ms5904×body256valid
101.0ms678×body256invalid
79.0ms708×body256infinite
Compiler

Compiled 13172 to 9309 computations (29.3% saved)

end818.0ms (1.1%)

Compiler

Compiled 2271 to 1240 computations (45.4% saved)

series626.0ms (0.8%)

Counts
153 → 3409
Calls

984 calls:

TimeVariablePointExpression
36.0ms
n
@inf
(*.f64 2 (/.f64 f n))
26.0ms
a
@inf
(fma.f64 b b (*.f64 c (*.f64 a -4)))
22.0ms
z
@0
(*.f64 (-.f64 (/.f64 z y) (/.f64 1 y)) x)
12.0ms
a
@-inf
(*.f64 (/.f64 b c) (/.f64 (-.f64 (pow.f64 (/.f64 c b) 2) (pow.f64 (/.f64 b a) 2)) (neg.f64 (fma.f64 b (/.f64 b c) a))))
11.0ms
b
@0
(*.f64 (/.f64 b c) (/.f64 (-.f64 (pow.f64 (/.f64 c b) 2) (pow.f64 (/.f64 b a) 2)) (neg.f64 (fma.f64 b (/.f64 b c) a))))

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