Date:Tuesday, March 7th, 2023
Commit:0a0aee13 on main
Hostname:nightly with Racket 8.6
Seed:2023066
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: 6.4min)

sample1.5min (23.5%)

Results
46.7s297065×body256valid
18.4s14791×body2048valid
12.1s21729×body1024valid
5.3s18982×body256infinite
3.9s12348×body512valid
1.7s202×body8192exit
646.0ms819×body4096valid
550.0ms2823×body256invalid
184.0ms225×body1024infinite
105.0ms423×body256unsamplable
93.0ms258×body512infinite
32.0ms28×body2048infinite
Bogosity

eval1.2min (18%)

Compiler

Compiled 3325664 to 1941644 computations (41.6% saved)

simplify56.0s (14.6%)

Algorithm
497×egg-herbie
Rules
275956×associate-*r*
242196×*-commutative
241076×distribute-lft-in
238750×associate-*l*
230738×associate-/r*
Stop Event
1×unsound
13×done
58×saturated
29×fuel
438×node limit
Counts
70380 → 87966
Compiler

Compiled 9571 to 5830 computations (39.1% saved)

rewrite41.8s (10.9%)

Algorithm
413×batch-egg-rewrite
5×egg-rewrite-iter-limit
10×egg-rewrite
Rules
292646×add-sqr-sqrt
286468×*-un-lft-identity
270494×add-cube-cbrt
263912×add-cbrt-cube
158816×add-exp-log
Stop Event
5×iter limit
423×node limit
Counts
943 → 50973

prune36.7s (9.5%)

Counts
105774 → 2402
Compiler

Compiled 76962 to 51783 computations (32.7% saved)

regimes36.2s (9.4%)

Counts
5387 → 646
Calls

94 calls:

5.3s
a
4.0s
c
3.6s
b
2.3s
v
2.2s
d
Compiler

Compiled 84192 to 48197 computations (42.8% saved)

localize15.9s (4.1%)

Compiler

Compiled 33971 to 19433 computations (42.8% saved)

analyze10.6s (2.7%)

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)

bsearch10.1s (2.6%)

Algorithm
358×binary-search
20×left-value
Results
6.9s40287×body256valid
687.0ms1503×body1024valid
396.0ms1484×body512valid
346.0ms390×body2048valid
312.0ms1332×body256infinite
290.0ms465×body1024infinite
232.0ms1947×body256invalid
85.0ms225×body512infinite
Compiler

Compiled 92705 to 63104 computations (31.9% saved)

soundness7.0s (1.8%)

Algorithm
52×egg-herbie
Rules
34130×fma-def
27810×distribute-lft-in
27134×associate-*r*
26514×+-commutative
25728×*-commutative
Stop Event
7×saturated
45×node limit
Compiler

Compiled 4997 to 2914 computations (41.7% saved)

end4.7s (1.2%)

Compiler

Compiled 9166 to 4720 computations (48.5% saved)

series3.0s (0.8%)

Counts
943 → 19365
Calls

5364 calls:

TimeVariablePointExpression
214.0ms
t
@0
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
72.0ms
a
@inf
(-.f64 (sqrt.f64 (fma.f64 b b (*.f64 (*.f64 a c) -4))) b)
58.0ms
b
@-inf
(pow.f64 (pow.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)) 1/4) 2)
54.0ms
t
@-inf
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
51.0ms
c
@-inf
(+.f64 (*.f64 a (+.f64 c d)) (*.f64 a b))

preprocess2.8s (0.7%)

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...