Date:Wednesday, June 15th, 2022
Commit:120a8734 on main
Hostname:warfa with Racket 8.1
Seed:2022166
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: 28.4s)

sample11.1s (39.2%)

Results
8.6s70214×body128valid
1.8s4090×body2048valid
564.0ms3735×body128invalid
Compiler

Compiled 322 to 220 computations (31.7% saved)

prune6.1s (21.6%)

Counts
4259 → 157
Compiler

Compiled 174274 to 104878 computations (39.8% saved)

analyze3.3s (11.6%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%94.4%5.6%2
5.6%83.2%11.2%3
16.7%66.6%16.8%4
22.9%57.6%19.5%5
28.1%51%20.9%6
37%40.1%23%7
41%35.6%23.3%8
46.1%29.8%24.1%9
51%23.7%25.3%10
54.4%19.9%25.7%11
56.8%16.6%26.6%12
59.8%12.8%27.3%13
61.4%10.7%27.9%14
Compiler

Compiled 161 to 110 computations (31.7% saved)

regimes2.7s (9.7%)

Counts
356 → 14
Compiler

Compiled 12010 to 7287 computations (39.3% saved)

rewrite1.5s (5.3%)

Algorithm
23×batch-egg-rewrite
Rules
7184×expm1-log1p-u_binary64
7183×log1p-expm1-u_binary64
6802×pow1_binary64
6377×add-log-exp_binary64
4617×add-exp-log_binary64
Stop Event
23×node limit
Counts
56 → 2475

simplify1.4s (4.8%)

Algorithm
41×egg-herbie
Rules
11589×fma-def_binary64
10924×fma-neg_binary64
6872×times-frac_binary64
6031×cancel-sign-sub-inv_binary64
5498×associate-/l*_binary64
Stop Event
22×node limit
19×saturated
Counts
3655 → 3256

end971.0ms (3.4%)

Stop Event
4×fuel
5×done
Compiler

Compiled 1830 to 1209 computations (33.9% saved)

series498.0ms (1.8%)

Counts
56 → 1171
Calls

312 calls:

TimeVariablePointExpression
57.0ms
x
@inf
(log1p.f64 (exp.f64 (fma.f64 x x -1)))
43.0ms
x
@-inf
(log.f64 (expm1.f64 (neg.f64 (log.f64 x))))
37.0ms
x
@-inf
(log1p.f64 (exp.f64 (fma.f64 x x -1)))
34.0ms
x
@-inf
(expm1.f64 (neg.f64 (log.f64 x)))
26.0ms
x
@0
(expm1.f64 (neg.f64 (log.f64 x)))

localize308.0ms (1.1%)

Compiler

Compiled 12288 to 10240 computations (16.7% saved)

preprocess294.0ms (1%)

Algorithm
18×egg-herbie
Rules
2695×fma-neg_binary64
2166×fma-def_binary64
1892×times-frac_binary64
1831×div-sub_binary64
1366×associate-/l*_binary64
Stop Event
1×unsound
4×node limit
13×saturated
Compiler

Compiled 152 to 101 computations (33.6% saved)

bsearch140.0ms (0.5%)

Algorithm
6×binary-search
Calls

2 calls:

113.0ms
b
23.0ms
x
Compiler

Compiled 12 to 9 computations (25% saved)

Profiling

Loading profile data...