Date:Tuesday, February 7th, 2023
Commit:c95a6ef6 on oflatt-fix-proof-oom
Hostname:nightly with Racket 8.6
Seed:2023038
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: 9.1min)

sample2.1min (22.6%)

Results
1.1min296932×body256valid
23.9s14955×body2048valid
15.6s21788×body1024valid
7.2s19420×body256infinite
5.8s12191×body512valid
1.7s202×body8192exit
1.4s886×body4096valid
639.0ms2918×body256invalid
146.0ms205×body1024infinite
110.0ms266×body512infinite
86.0ms409×body256unsamplable
27.0ms21×body2048infinite
Bogosity

eval1.7min (19%)

Compiler

Compiled 3682113 to 2103189 computations (42.9% saved)

simplify1.2min (13.4%)

Algorithm
502×egg-herbie
Rules
276008×associate-*r*
252808×*-commutative
249888×associate-/l*
240644×distribute-lft-in
238396×associate-*l*
Stop Event
13×done
1×unsound
59×saturated
29×fuel
442×node limit
Counts
74581 → 93337
Compiler

Compiled 9217 to 5546 computations (39.8% saved)

prune1.0min (11.3%)

Counts
118241 → 2465
Compiler

Compiled 81541 to 54433 computations (33.2% saved)

rewrite56.6s (10.3%)

Algorithm
418×batch-egg-rewrite
15×egg-rewrite
6×egg-rewrite-iter-limit
Rules
290412×add-sqr-sqrt
284182×*-un-lft-identity
268208×add-cube-cbrt
262998×add-cbrt-cube
159712×add-exp-log
Stop Event
6×iter limit
433×node limit
Counts
978 → 54700

regimes56.3s (10.3%)

Counts
5463 → 644
Calls

91 calls:

11.4s
a
8.0s
c
7.4s
b
4.8s
d
3.5s
v
Compiler

Compiled 93934 to 51604 computations (45.1% saved)

localize20.8s (3.8%)

Compiler

Compiled 32827 to 18502 computations (43.6% saved)

bsearch15.2s (2.8%)

Algorithm
384×binary-search
9×left-value
Results
9.3s42358×body256valid
1.2s1964×body1024valid
942.0ms708×body2048valid
815.0ms1100×body1024infinite
781.0ms1713×body512valid
378.0ms2409×body256invalid
316.0ms1261×body256infinite
259.0ms595×body512infinite
19.0ms9×body4096valid
Compiler

Compiled 85652 to 58434 computations (31.8% saved)

analyze13.4s (2.4%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

soundness9.2s (1.7%)

Algorithm
55×egg-herbie
Rules
35204×fma-def
33706×*-commutative
31718×associate-*r*
28150×associate-/r*
27716×associate-*r/
Stop Event
7×saturated
48×node limit
Compiler

Compiled 5586 to 3598 computations (35.6% saved)

end5.6s (1%)

Compiler

Compiled 8836 to 4384 computations (50.4% saved)

series4.5s (0.8%)

Counts
978 → 19839
Calls

5430 calls:

TimeVariablePointExpression
220.0ms
t
@0
(*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
123.0ms
i
@-inf
(log.f64 (/.f64 i n))
73.0ms
b
@0
(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (+.f64 b a))
73.0ms
x
@inf
(log1p.f64 (cos.f64 x))
72.0ms
x
@0
(*.f64 x (*.f64 5 (pow.f64 eps 4)))

preprocess3.4s (0.6%)

Algorithm
84×egg-herbie
Rules
23512×fma-def
17930×distribute-lft-in
17024×*-commutative
15010×+-commutative
14462×distribute-rgt-in
Stop Event
5×unsound
54×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...