Date:Wednesday, January 18th, 2023
Commit:fcdb6f71 on main
Hostname:nightly with Racket 8.6
Seed:2023018
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.2min)

sample1.5min (23.7%)

Results
45.8s296871×body256valid
18.5s14981×body2048valid
11.1s21710×body1024valid
5.7s19372×body256infinite
3.8s12359×body512valid
1.3s202×body8192exit
744.0ms831×body4096valid
543.0ms2920×body256invalid
149.0ms259×body512infinite
140.0ms216×body1024infinite
93.0ms421×body256unsamplable
25.0ms21×body2048infinite
Bogosity

eval1.1min (18.4%)

Compiler

Compiled 3330458 to 1908882 computations (42.7% saved)

simplify53.9s (14.4%)

Algorithm
477×egg-herbie
Rules
259664×associate-*r*
231790×*-commutative
227428×associate-*l*
222718×associate-/r*
220550×distribute-lft-in
Stop Event
10×done
58×saturated
32×fuel
419×node limit
Counts
70998 → 88958
Compiler

Compiled 8833 to 5549 computations (37.2% saved)

rewrite40.2s (10.8%)

Algorithm
393×batch-egg-rewrite
5×egg-rewrite-iter-limit
16×egg-rewrite
Rules
277964×add-sqr-sqrt
271936×*-un-lft-identity
256776×add-cube-cbrt
248384×add-cbrt-cube
147950×add-exp-log
Stop Event
5×iter limit
409×node limit
Counts
929 → 52582

prune36.9s (9.9%)

Counts
107761 → 2303
Compiler

Compiled 74478 to 49820 computations (33.1% saved)

regimes31.4s (8.4%)

Counts
4781 → 604
Calls

95 calls:

5.7s
a
4.1s
b
3.9s
c
2.0s
d
1.8s
v
Compiler

Compiled 78386 to 43899 computations (44% saved)

localize14.5s (3.9%)

Compiler

Compiled 31608 to 17909 computations (43.3% saved)

bsearch11.4s (3.1%)

Algorithm
346×binary-search
5×left-value
Results
6.9s36817×body256valid
1.7s3763×body1024valid
770.0ms714×body2048valid
421.0ms4362×body256invalid
380.0ms1616×body512valid
209.0ms290×body1024infinite
177.0ms964×body256infinite
85.0ms205×body512infinite
1.0ms2×body4096valid
Compiler

Compiled 92277 to 63697 computations (31% saved)

analyze9.6s (2.6%)

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)

soundness7.5s (2%)

Algorithm
64×egg-herbie
Rules
40286×fma-def
37424×*-commutative
34820×associate-/r*
33642×associate-*r*
31858×+-commutative
Stop Event
7×saturated
57×node limit
Compiler

Compiled 6764 to 3952 computations (41.6% saved)

end4.0s (1.1%)

Compiler

Compiled 8469 to 4594 computations (45.8% saved)

series3.6s (1%)

Counts
929 → 18374
Calls

5043 calls:

TimeVariablePointExpression
256.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)))))
137.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))
75.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
69.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
64.0ms
t
@inf
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)

preprocess2.9s (0.8%)

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