Date:Tuesday, December 20th, 2022
Commit:d611f941 on main
Hostname:nightly with Racket 8.6
Seed:2022354
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)

eval16.4s (23.9%)

Compiler

Compiled 957514 to 535374 computations (44.1% saved)

sample12.9s (18.7%)

Results
10.2s70198×body256valid
1.7s4106×body2048valid
469.0ms2135×body256invalid
408.0ms2926×body256infinite
Bogosity

prune10.5s (15.3%)

Counts
23127 → 349
Compiler

Compiled 14786 to 9758 computations (34% saved)

simplify8.0s (11.6%)

Algorithm
79×egg-herbie
Rules
44628×associate-*r*
37966×associate-/l*
37400×associate-*l*
34674×associate-+r+
34644×*-commutative
Stop Event
3×unsound
14×saturated
4×done
5×fuel
62×node limit
Counts
12612 → 14907
Compiler

Compiled 3119 to 1908 computations (38.8% saved)

rewrite6.5s (9.4%)

Algorithm
61×batch-egg-rewrite
Rules
35954×add-sqr-sqrt
35274×*-un-lft-identity
31816×add-cube-cbrt
31592×add-cbrt-cube
26948×associate-/r*
Stop Event
61×node limit
Counts
126 → 9781

regimes4.2s (6.1%)

Counts
638 → 153
Calls

19 calls:

860.0ms
c
789.0ms
a
516.0ms
b
411.0ms
x
250.0ms
y
Compiler

Compiled 14507 to 7916 computations (45.4% saved)

localize2.8s (4.1%)

Compiler

Compiled 6321 to 3367 computations (46.7% saved)

soundness2.2s (3.2%)

Algorithm
16×egg-herbie
Rules
11620×associate-*r*
11168×associate-+r+
9906×associate-*l*
9600×associate-+l+
8932×associate-/l*
Stop Event
3×saturated
13×node limit
Compiler

Compiled 2298 to 1352 computations (41.2% saved)

bsearch1.7s (2.4%)

Algorithm
86×binary-search
20×left-value
Results
1.3s11056×body256valid
106.0ms866×body256infinite
41.0ms270×body256invalid
Compiler

Compiled 19021 to 13573 computations (28.6% saved)

analyze1.4s (2%)

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.2s (1.7%)

Compiler

Compiled 3021 to 1680 computations (44.4% saved)

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

series566.0ms (0.8%)

Counts
126 → 2822
Calls

870 calls:

TimeVariablePointExpression
43.0ms
a
@-inf
(*.f64 (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (-.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))) (*.f64 b b)))
37.0ms
a
@-inf
(*.f64 c (/.f64 a b))
31.0ms
a
@0
(sqrt.f64 (*.f64 c (*.f64 a -4)))
16.0ms
x
@inf
(pow.f64 (exp.f64 (+.f64 x 1)) (+.f64 x -1))
12.0ms
x
@0
(*.f64 (pow.f64 (exp.f64 x) (+.f64 x -1)) (exp.f64 (+.f64 x -1)))

Profiling

Loading profile data...