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: 16.9min)

sample4.4min (25.8%)

Results
1.9min439380×body256valid
1.5min7806×body8192exit
19.1s23425×body1024valid
13.2s14645×body1024infinite
7.8s28685×body256infinite
6.8s12320×body512valid
3.6s6450×body512infinite
2.5s2641×body2048valid
1.4s4763×body256invalid
1.2s4176×body256unsamplable
835.0ms1082×body4096valid
445.0ms225×body2048infinite
Bogosity

eval3.5min (20.4%)

Compiler

Compiled 6061094 to 3733983 computations (38.4% saved)

simplify2.3min (13.7%)

Algorithm
726×egg-herbie
Rules
369418×associate-*r*
357054×*-commutative
346216×distribute-lft-in
342056×associate-/l*
329020×+-commutative
Stop Event
9×unsound
85×saturated
21×done
37×fuel
632×node limit
Counts
91553 → 118076
Compiler

Compiled 13207 to 8808 computations (33.3% saved)

rewrite1.6min (9.3%)

Algorithm
610×batch-egg-rewrite
15×egg-rewrite-iter-limit
19×egg-rewrite
Rules
445188×add-sqr-sqrt
435084×*-un-lft-identity
411266×add-cube-cbrt
404788×add-cbrt-cube
264034×add-exp-log
Stop Event
21×unsound
15×iter limit
608×node limit
Counts
1402 → 65451

prune1.5min (9%)

Counts
146348 → 4248
Compiler

Compiled 206071 to 156345 computations (24.1% saved)

regimes1.5min (8.8%)

Counts
10928 → 816
Calls

131 calls:

10.6s
x.im
8.8s
x.re
5.9s
y.re
5.4s
y.im
5.2s
z
Compiler

Compiled 264749 to 182927 computations (30.9% saved)

localize47.1s (4.6%)

Compiler

Compiled 63963 to 38972 computations (39.1% saved)

soundness20.8s (2.1%)

Algorithm
97×egg-herbie
Rules
48976×associate-+r+
48834×*-commutative
47574×fma-def
46590×associate-*r/
46168×+-commutative
Stop Event
17×saturated
80×node limit
Compiler

Compiled 14401 to 7835 computations (45.6% saved)

series15.7s (1.6%)

Counts
1402 → 26044
Calls

7254 calls:

TimeVariablePointExpression
504.0ms
x.im
@0
(cbrt.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
456.0ms
im
@0
(*.f64 -1/6 (pow.f64 im 3))
300.0ms
u1
@inf
(pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2)
278.0ms
x
@-inf
(log.f32 (/.f32 -1/2 x))
161.0ms
base
@inf
(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))

bsearch15.2s (1.5%)

Algorithm
399×binary-search
39×left-value
Stop Event
384×narrow-enough
15×predicate-same
Results
11.7s45078×body256valid
501.0ms1061×body256infinite
493.0ms705×body1024valid
384.0ms748×body512valid
250.0ms75×body1024infinite
235.0ms413×body2048valid
153.0ms196×body512infinite
105.0ms208×body4096valid
Compiler

Compiled 84657 to 59035 computations (30.3% saved)

analyze13.3s (1.3%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
7%6%80.3%13.7%0%0%0%1
13.1%11%73.3%13.7%0%1.7%0.2%2
23.6%19.2%62%13.7%0.5%4.3%0.3%3
29.2%23.2%56.3%13.7%1.9%4.5%0.4%4
41.4%32.6%46.2%13.7%2.4%4.6%0.4%5
46.7%36.2%41.3%13.7%3.5%4.9%0.4%6
54.8%41.1%33.8%13.7%5.2%5.8%0.4%7
58.6%43.6%30.7%13.7%5.7%5.9%0.4%8
63.7%46.7%26.6%13.7%6.7%5.9%0.4%9
67.5%48.8%23.5%13.7%7.2%6.4%0.4%10
70.8%50.6%20.9%13.7%7.9%6.4%0.4%11
73.3%52.2%19%13.7%8.3%6.4%0.4%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

end12.9s (1.3%)

Compiler

Compiled 12881 to 7410 computations (42.5% saved)

preprocess6.9s (0.7%)

Algorithm
116×egg-herbie
Rules
21178×fma-def
20488×*-commutative
18344×associate-*r*
17546×distribute-lft-in
17206×sqr-pow
Stop Event
71×saturated
14×unsound
31×node limit
Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Profiling

Loading profile data...