Date:Friday, November 4th, 2022
Commit:3b7366bf on main
Hostname:warfa with Racket 8.6
Seed:2022308
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.4min)

sample3.3min (35%)

Results
1.4min388469×body256valid
1.2min7850×body8192exit
14.0s19464×body1024valid
10.3s14416×body1024infinite
6.5s29405×body256infinite
4.1s9948×body512valid
3.0s6794×body512infinite
1.6s2080×body2048valid
1.2s4802×body256invalid
829.0ms1095×body4096valid
824.0ms4183×body256unsamplable
313.0ms188×body2048infinite
Bogosity

eval1.4min (14.4%)

Compiler

Compiled 2933765 to 1803948 computations (38.5% saved)

simplify1.1min (11.7%)

Algorithm
623×egg-herbie
Rules
210680×fma-def_binary64
144316×fma-neg_binary64
130284×unswap-sqr_binary64
127285×associate-*l*_binary64
118049×distribute-rgt-in_binary64
Stop Event
157×saturated
17×done
34×fuel
466×node limit
Counts
66719 → 59384
Compiler

Compiled 10599 to 7024 computations (33.7% saved)

rewrite53.0s (9.4%)

Algorithm
521×batch-egg-rewrite
21×egg-rewrite-iter-limit
24×egg-rewrite
Rules
217924×pow1_binary64
205145×add-log-exp_binary64
204922×expm1-log1p-u_binary64
204904×log1p-expm1-u_binary64
185241×add-exp-log_binary64
Stop Event
22×unsound
21×iter limit
523×node limit
Counts
1155 → 44111

regimes51.2s (9.1%)

Counts
6970 → 664
Calls

116 calls:

5.0s
x.re
4.2s
x.im
3.3s
y.re
3.3s
y.im
2.3s
im
Compiler

Compiled 168082 to 113893 computations (32.2% saved)

localize29.2s (5.2%)

Compiler

Compiled 53771 to 32540 computations (39.5% saved)

prune26.2s (4.7%)

Counts
78420 → 3450
Compiler

Compiled 171053 to 127598 computations (25.4% saved)

bsearch19.2s (3.4%)

Algorithm
336×binary-search
24×left-value
Compiler

Compiled 17024 to 10850 computations (36.3% saved)

series13.9s (2.5%)

Counts
1155 → 22557
Calls

6303 calls:

TimeVariablePointExpression
240.0ms
x.im
@-inf
(log.f64 (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re)))
176.0ms
base
@inf
(pow.f64 (log.f64 base) -1/2)
159.0ms
u1
@-inf
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1)))) 3)
138.0ms
im
@-inf
(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))
131.0ms
y.re
@inf
(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))

analyze9.7s (1.7%)

Algorithm
51×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%87.4%12.6%0%0%0%0
2.2%2%85.4%12.6%0%0%0%1
9%7.7%77.5%12.6%0%2%0.2%2
20%16.9%67.5%12.6%0.6%2%0.4%3
24.3%20%62.5%12.6%2.2%2.2%0.4%4
36.7%30%51.8%12.6%2.8%2.3%0.5%5
42%33.7%46.6%12.6%4%2.6%0.5%6
50.5%39%38.3%12.6%5.9%3.6%0.5%7
54.5%41.8%34.8%12.6%6.5%3.8%0.5%8
60%45.3%30.2%12.6%7.6%3.8%0.5%9
64.1%47.7%26.7%12.6%8.2%4.3%0.5%10
67.7%49.8%23.8%12.6%9%4.3%0.5%11
70.5%51.5%21.6%12.6%9.5%4.4%0.5%12
Compiler

Compiled 1515 to 960 computations (36.6% saved)

end6.3s (1.1%)

Compiler

Compiled 10495 to 6050 computations (42.4% saved)

soundness6.3s (1.1%)

Algorithm
54×egg-herbie
Rules
16321×fma-def_binary64
9804×distribute-rgt-in_binary64
9445×fma-neg_binary64
9405×associate-*l*_binary64
9176×associate-/r*_binary64
Stop Event
16×saturated
38×node limit
Compiler

Compiled 36651 to 21646 computations (40.9% saved)

preprocess4.0s (0.7%)

Algorithm
102×egg-herbie
Rules
14106×fma-def_binary64
10943×fma-neg_binary64
7921×distribute-rgt-in_binary64
7386×associate-*l*_binary64
6766×distribute-lft-in_binary64
Stop Event
57×saturated
14×unsound
31×node limit
Compiler

Compiled 1517 to 982 computations (35.3% saved)

Profiling

Loading profile data...