Date:Friday, November 25th, 2022
Commit:cf54083d on main
Hostname:nightly with Racket 8.6
Seed:2022329
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.9min)

sample36.3s (31.1%)

Results
10.4s16926×body1024valid
10.2s82699×body256valid
7.9s3311×body8192exit
2.7s6902×body512valid
2.2s4951×body1024invalid
892.0ms801×body2048valid
651.0ms2518×body512invalid
535.0ms3285×body256infinite
340.0ms2191×body256invalid
103.0ms234×body1024infinite
81.0ms248×body512infinite
31.0ms160×body256unsamplable
6.0ms8×body2048invalid
3.0ms2×body4096invalid
3.0ms1×body8192invalid
1.0ms1×body2048infinite
Bogosity

eval13.8s (11.9%)

Compiler

Compiled 870145 to 358365 computations (58.8% saved)

simplify13.6s (11.6%)

Algorithm
163×egg-herbie
Rules
45803×fma-def_binary64
38539×fma-neg_binary64
33105×log-prod_binary64
28968×distribute-rgt-in_binary64
28587×unswap-sqr_binary64
Stop Event
11×unsound
21×saturated
13×fuel
131×node limit
Counts
23168 → 24658
Compiler

Compiled 2095 to 1157 computations (44.8% saved)

regimes12.2s (10.5%)

Counts
3182 → 151
Calls

38 calls:

1.5s
x
1.4s
a
1.3s
s
1.0s
b
1.0s
r
Compiler

Compiled 41139 to 16216 computations (60.6% saved)

prune10.6s (9.1%)

Counts
31726 → 1372
Compiler

Compiled 41121 to 26019 computations (36.7% saved)

rewrite9.3s (8%)

Algorithm
137×batch-egg-rewrite
Rules
45764×log-prod_binary64
45738×pow1_binary64
42566×add-log-exp_binary64
42544×expm1-log1p-u_binary64
42538×log1p-expm1-u_binary64
Stop Event
137×node limit
Counts
336 → 15113

analyze8.9s (7.6%)

Algorithm
13×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%76.9%23.1%0%0%0%0
0%0%76.9%23.1%0%0%0%1
0%0%76.9%23.1%0%0%0%2
30%23.1%53.8%23.1%0%0%0%3
42.5%32.7%44.2%23.1%0%0%0%4
50%38.4%38.4%23.1%0%0%0%5
54%40.8%34.8%23.1%0.7%0%0.5%6
59%44.6%31%23.1%0.8%0%0.5%7
61.7%46.2%28.7%23.1%1.3%0%0.7%8
64.4%48.1%26.6%23.1%1.4%0%0.7%9
66.8%49.6%24.7%23.1%1.7%0.1%0.8%10
68.3%50.5%23.5%23.1%1.9%0.1%0.8%11
69.5%51.3%22.5%23.1%2.1%0.1%0.9%12
Compiler

Compiled 211 to 152 computations (28% saved)

localize2.7s (2.3%)

Compiler

Compiled 6635 to 2275 computations (65.7% saved)

bsearch2.6s (2.3%)

Algorithm
60×binary-search
7×left-value
Results
1.1s5451×body256valid
808.0ms1515×body1024valid
300.0ms784×body512valid
202.0ms1070×body256infinite
48.0ms77×body512infinite
35.0ms65×body1024infinite
29.0ms42×body2048valid
Compiler

Compiled 14429 to 9430 computations (34.6% saved)

soundness2.4s (2.1%)

Algorithm
26×egg-herbie
Rules
8123×unswap-sqr_binary64
5980×fma-def_binary64
5279×sqr-pow_binary64
4986×*-commutative_binary64
4964×fma-neg_binary64
Stop Event
4×saturated
22×node limit
Compiler

Compiled 4976 to 3529 computations (29.1% saved)

series2.3s (2%)

Counts
336 → 8042
Calls

2082 calls:

TimeVariablePointExpression
279.0ms
w
@inf
(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
63.0ms
b
@inf
(log.f64 (cbrt.f64 (exp.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
59.0ms
a
@inf
(log.f64 (cbrt.f64 (exp.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
55.0ms
w
@-inf
(exp.f64 (-.f64 (*.f64 (log.f64 l) (+.f64 (+.f64 1 w) (*.f64 (*.f64 w w) (+.f64 (*.f64 1/6 w) 1/2)))) w))
45.0ms
z
@inf
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))))

preprocess936.0ms (0.8%)

Algorithm
26×egg-herbie
Rules
3008×associate-/l/_binary64
2814×unswap-sqr_binary64
2779×sqr-pow_binary64
2390×fma-neg_binary64
2335×fma-def_binary64
Stop Event
2×unsound
18×saturated
6×node limit
Compiler

Compiled 153 to 113 computations (26.1% saved)

end821.0ms (0.7%)

Compiler

Compiled 2057 to 786 computations (61.8% saved)

Profiling

Loading profile data...