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.6hr)

sample25.4min (26.6%)

Results
9.8min3811465×body256valid
3.8min30574×body8192exit
3.3min286358×body1024valid
1.9min99294×body2048valid
1.6min442716×body256infinite
1.2min16227×body4096valid
59.5s154802×body512valid
51.6s266366×body256invalid
32.8s2931×body8192valid
26.3s35491×body1024infinite
10.2s1818×body4096infinite
8.8s15264×body1024invalid
8.5s18748×body512infinite
8.2s2484×body2048infinite
6.3s23488×body256unsamplable
3.0s8356×body512invalid
1.0s2900×body256precondition
999.0ms1207×body2048invalid
590.0ms37×body8192infinite
240.0ms234×body512unsamplable
235.0ms315×body2048unsamplable
222.0ms482×body1024unsamplable
3.0ms2×body4096invalid
3.0ms1×body8192invalid
Bogosity

regimes20.0min (20.9%)

Counts
107921 → 11844
Calls

1148 calls:

2.0min
x
1.6min
y
1.4min
z
1.4min
a
1.4min
t
Results
Compiler

Compiled 1885301 to 1012239 computations (46.3% saved)

eval12.5min (13.1%)

Compiler

Compiled 39054444 to 21347309 computations (45.3% saved)

simplify9.2min (9.7%)

Algorithm
6916×egg-herbie
Rules
2079117×fma-def_binary64
1620032×fma-neg_binary64
1516405×log-prod_binary64
1308231×unswap-sqr_binary64
1193940×times-frac_binary64
Stop Event
45×unsound
811×saturated
124×done
403×fuel
6060×node limit
Counts
894976 → 978268
Compiler

Compiled 161657 to 95024 computations (41.2% saved)

prune6.7min (7%)

Counts
1211251 → 42304
Compiler

Compiled 1539066 to 1090736 computations (29.1% saved)

rewrite6.5min (6.8%)

Algorithm
5860×batch-egg-rewrite
48×egg-rewrite-iter-limit
49×egg-rewrite
Rules
2146611×pow1_binary64
2009478×expm1-log1p-u_binary64
2009343×log1p-expm1-u_binary64
2008975×add-log-exp_binary64
1813007×add-exp-log_binary64
Stop Event
56×unsound
48×iter limit
5853×node limit
Counts
13370 → 579295

bsearch4.5min (4.7%)

Algorithm
7173×binary-search
711×left-value
Results
2.3min789790×body256valid
41.3s40999×body1024valid
21.1s4618×body4096valid
17.8s9287×body2048valid
12.7s24073×body512valid
6.9s35194×body256infinite
5.8s35088×body256invalid
2.4s315×body8192valid
2.1s576×body4096infinite
1.8s1415×body1024infinite
1.6s717×body2048infinite
585.0ms909×body512infinite
335.0ms700×body1024invalid
278.0ms1567×body256unsamplable
152.0ms9×body8192infinite
122.0ms312×body512invalid
37.0ms70×body1024unsamplable
12.0ms18×body2048unsamplable
7.0ms28×body512unsamplable
Compiler

Compiled 1731274 to 1249504 computations (27.8% saved)

localize3.3min (3.4%)

Compiler

Compiled 410490 to 207622 computations (49.4% saved)

analyze2.7min (2.8%)

Algorithm
532×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%87%13%0%0%0%0
2.2%1.9%85.1%13%0%0%0%1
3.3%2.9%83.5%13%0%0.6%0%2
11.3%9.6%75.3%13.1%0.3%1.7%0%3
15.7%13%70.2%13.1%1.2%2.3%0.2%4
23.7%19.6%63%13.1%1.6%2.6%0.2%5
28.4%23%58.1%13.1%2.5%3%0.3%6
35.8%28.3%50.9%13.1%3.6%3.8%0.3%7
40.3%31.5%46.8%13.1%4.1%4.1%0.4%8
45.8%35.3%41.9%13.1%4.8%4.5%0.4%9
50.3%38.3%37.8%13.1%5.5%4.9%0.4%10
54.5%41%34.3%13.1%6%5.2%0.4%11
58%43.2%31.4%13.1%6.4%5.4%0.5%12
Compiler

Compiled 11769 to 8153 computations (30.7% saved)

series1.6min (1.7%)

Counts
13370 → 315152
Calls

84306 calls:

TimeVariablePointExpression
279.0ms
w
@inf
(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
238.0ms
x
@inf
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 x x)))))))
234.0ms
re
@inf
(exp.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base))))
231.0ms
t
@0
(*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
227.0ms
t
@inf
(*.f64 (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (+.f64 t t)))))

soundness1.4min (1.5%)

Algorithm
813×egg-herbie
Rules
301767×fma-def_binary64
237972×fma-neg_binary64
158236×distribute-rgt-in_binary64
155791×times-frac_binary64
145817×associate-/l*_binary64
Stop Event
1×unsound
159×saturated
653×node limit
Compiler

Compiled 268808 to 187416 computations (30.3% saved)

end1.0min (1.1%)

Compiler

Compiled 159040 to 75052 computations (52.8% saved)

preprocess33.8s (0.6%)

Algorithm
1058×egg-herbie
Rules
180323×fma-def_binary64
153313×fma-neg_binary64
80928×distribute-rgt-in_binary64
77503×div-sub_binary64
75263×sub-neg_binary64
Stop Event
669×saturated
102×unsound
287×node limit
Compiler

Compiled 11204 to 8032 computations (28.3% saved)

Profiling

Loading profile data...