Date:Monday, April 3rd, 2023
Commit:326c2557 on Aditya-Branch
Hostname:nightly with Racket 8.6
Seed:2023093
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: 10.4min)

sample2.4min (22.8%)

Results
1.2min296870×body256valid
30.4s14888×body2048valid
19.0s21808×body1024valid
8.5s19127×body256infinite
6.7s12370×body512valid
1.5s202×body8192exit
1.1s816×body4096valid
716.0ms2877×body256invalid
202.0ms205×body1024infinite
181.0ms433×body256unsamplable
139.0ms236×body512infinite
70.0ms24×body2048infinite
Bogosity

eval2.0min (19.7%)

Compiler

Compiled 4019214 to 2327301 computations (42.1% saved)

simplify1.5min (14.8%)

Algorithm
500×egg-herbie
Rules
283252×associate-*r*
254752×associate-/l*
251610×*-commutative
249380×associate-*l*
235424×distribute-lft-in
Stop Event
1×unsound
12×done
58×saturated
30×fuel
441×node limit
Counts
76281 → 95869
Compiler

Compiled 9053 to 5562 computations (38.6% saved)

prune1.2min (11.2%)

Counts
121261 → 2462
Compiler

Compiled 77092 to 51336 computations (33.4% saved)

rewrite1.1min (10.9%)

Algorithm
416×batch-egg-rewrite
4×egg-rewrite-iter-limit
9×egg-rewrite
Rules
286636×add-sqr-sqrt
280768×*-un-lft-identity
264862×add-cube-cbrt
258220×add-cbrt-cube
152362×add-exp-log
Stop Event
4×iter limit
425×node limit
Counts
976 → 55541

regimes48.7s (7.8%)

Counts
5231 → 587
Calls

94 calls:

10.2s
a
6.4s
c
5.8s
b
3.1s
d
2.2s
v
Compiler

Compiled 90870 to 49875 computations (45.1% saved)

localize26.1s (4.2%)

Compiler

Compiled 34887 to 19624 computations (43.7% saved)

analyze14.1s (2.3%)

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)

bsearch12.4s (2%)

Algorithm
318×binary-search
17×left-value
Stop Event
313×narrow-enough
5×predicate-same
Results
8.6s37619×body256valid
1.1s1635×body1024valid
492.0ms1258×body512valid
349.0ms346×body2048valid
307.0ms1251×body256infinite
179.0ms1256×body256invalid
129.0ms195×body1024infinite
22.0ms51×body512infinite
12.0ms6×body4096valid
Compiler

Compiled 80520 to 55915 computations (30.6% saved)

soundness10.7s (1.7%)

Algorithm
53×egg-herbie
Rules
32634×fma-def
30796×+-commutative
28902×*-commutative
28452×associate-*r*
25858×distribute-lft-in
Stop Event
6×saturated
47×node limit
Compiler

Compiled 6158 to 4094 computations (33.5% saved)

series5.9s (0.9%)

Counts
976 → 20698
Calls

5601 calls:

TimeVariablePointExpression
189.0ms
t
@0
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 6))
187.0ms
t
@-inf
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 6))
146.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)
126.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)))))
105.0ms
x
@inf
(-.f64 (/.f64 x (/.f64 y x)) x)

end5.7s (0.9%)

Compiler

Compiled 8665 to 4512 computations (47.9% saved)

preprocess4.4s (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...