Date:Monday, November 21st, 2022
Commit:44c23216 on oflatt-taylor-sound
Hostname:nightly with Racket 8.6
Seed:2022325
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: 5.4min)

series4.5min (82.7%)

Counts
163 → 2701
Calls

1002 calls:

TimeVariablePointExpression
6.4s
f
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) 3)
6.3s
f
@inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) 3)
6.3s
n
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 f n))) 3) 2)
6.3s
n
@inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 f n))) 3) 2)
6.2s
f
@inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 f n))) 3) 2)
Compiler

Compiled 25139718 to 19527937 computations (22.3% saved)

eval15.4s (4.7%)

Compiler

Compiled 1035003 to 622975 computations (39.8% saved)

sample10.2s (3.1%)

Results
8.0s70174×body256valid
1.4s4130×body2048valid
399.0ms2848×body256infinite
309.0ms1977×body256invalid
Bogosity

prune9.0s (2.8%)

Counts
23835 → 376
Compiler

Compiled 14359 to 9878 computations (31.2% saved)

simplify6.7s (2%)

Algorithm
93×egg-herbie
Rules
33321×fma-def_binary64
23255×fma-neg_binary64
19682×times-frac_binary64
18164×associate-/l*_binary64
17809×distribute-rgt-in_binary64
Stop Event
1×unsound
15×saturated
2×done
7×fuel
77×node limit
Counts
10775 → 14543
Compiler

Compiled 2631 to 1632 computations (38% saved)

rewrite4.5s (1.4%)

Algorithm
75×batch-egg-rewrite
Rules
27853×pow1_binary64
26198×add-log-exp_binary64
26183×expm1-log1p-u_binary64
26181×log1p-expm1-u_binary64
24705×log-prod_binary64
Stop Event
75×node limit
Counts
163 → 8065

regimes3.1s (1%)

Counts
547 → 112
Calls

23 calls:

596.0ms
a
509.0ms
c
363.0ms
b
293.0ms
z
292.0ms
x
Compiler

Compiled 11836 to 6826 computations (42.3% saved)

localize2.5s (0.8%)

Compiler

Compiled 6997 to 3766 computations (46.2% saved)

soundness1.9s (0.6%)

Algorithm
15×egg-herbie
Rules
8098×fma-def_binary64
4759×fma-neg_binary64
3517×associate-*r*_binary64
3305×associate-*l*_binary64
2988×times-frac_binary64
Stop Event
3×saturated
12×node limit
Compiler

Compiled 3165 to 2207 computations (30.3% saved)

analyze1.1s (0.3%)

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)

bsearch871.0ms (0.3%)

Algorithm
54×binary-search
20×left-value
Results
694.0ms6480×body256valid
47.0ms312×body256invalid
37.0ms348×body256infinite
Compiler

Compiled 10238 to 7672 computations (25.1% saved)

end841.0ms (0.3%)

Compiler

Compiled 2560 to 1450 computations (43.4% saved)

preprocess526.0ms (0.2%)

Algorithm
18×egg-herbie
Rules
2992×fma-neg_binary64
2715×fma-def_binary64
2317×div-sub_binary64
2137×associate-/l*_binary64
1898×times-frac_binary64
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

Profiling

Loading profile data...