Date:Tuesday, May 10th, 2022
Commit:5f660a21 on egg-rr
Hostname:warfa with Racket 8.1
Seed:2022130
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:egg-rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 43.5min)

series19.9min (45.6%)

Counts
1838 → 53703
Calls

1684 calls:

1.2min
(pow.f64 (cbrt.f64 (fma.f64 (-.f64 z t) (/.f64 y a) x)) 3)
1.2min
(pow.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) 3)
1.1min
(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) (/.f64 z t) x)) 3)
32.6s
(fma.f64 5 y (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 (+.f64 y z) t))) 3))
29.0s
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 (+.f64 y z) t))) 3)

sample9.0min (20.6%)

Results
5.3min2113827×body128valid
1.7min375467×body128invalid
42.6s51304×body1024valid
19.3s35116×body512valid
10.8s10209×body2048valid
6.4s18310×body256valid
5.5s9906×body1024invalid
3.1s1581×body8192exit
2.4s6254×body512invalid
1.1s354×body4096valid
906.0ms3426×body256invalid
Compiler

Compiled 11793 to 8040 computations (31.8% saved)

regimes4.5min (10.2%)

Counts
14836 → 401
Compiler

Compiled 3129586 to 1982173 computations (36.7% saved)

analyze3.5min (8%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
1.1%98.7%0.1%1
1.7%98%0.3%2
7.7%91.1%1.3%3
12.8%84.4%2.8%4
21.2%75%3.7%5
26.9%67.6%5.4%6
34.2%58.5%7.4%7
38.9%52.6%8.5%8
43.9%46.2%9.9%9
48%40.5%11.5%10
51.5%36.1%12.3%11
54.3%32.5%13.2%12
57.4%28.4%14.2%13
59.6%25.8%14.6%14
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

prune2.6min (6%)

Counts
118915 → 5323
Compiler

Compiled 3783211 to 1774653 computations (53.1% saved)

simplify2.0min (4.5%)

Algorithm
1321×egg-herbie
Rules
409132×fma-def_binary64
403536×fma-neg_binary64
175085×cancel-sign-sub-inv_binary64
163711×sub-neg_binary64
140724×times-frac_binary64
Counts
123948 → 97658

rewrite1.2min (2.6%)

Algorithm
1570×batch-egg-rewrite
Rules
299927×expm1-log1p-u_binary64
288747×log1p-expm1-u_binary64
210132×prod-diff_binary64
125073×log1p-udef_binary64
109847×log-prod_binary64
Counts
1838 → 69975
Calls

1682 calls:

511.0ms
(expm1.f64 (/.f64 (tan.f64 (/.f64 x (+.f64 y y))) (sin.f64 (/.f64 x (+.f64 y y)))))
511.0ms
(/.f64 (tan.f64 (/.f64 x (+.f64 y y))) (sin.f64 (/.f64 x (+.f64 y y))))
511.0ms
(sin.f64 (/.f64 x (+.f64 y y)))
511.0ms
(tan.f64 (/.f64 x (+.f64 y y)))
423.0ms
(cbrt.f64 z)

end41.1s (1.6%)

Compiler

Compiled 49433 to 29430 computations (40.5% saved)

localize10.2s (0.4%)

bsearch9.6s (0.4%)

Compiler

Compiled 741 to 513 computations (30.8% saved)

Profiling

Loading profile data...