Date:Monday, May 30th, 2022
Commit:7412e954 on taylor-nroot
Hostname:warfa with Racket 8.1
Seed:2022150
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:taylorgenerate:simplify
default

Details

Time bar (total: 21.8min)

sample6.4min (29.5%)

Results
3.8min2114438×body128valid
1.2min377536×body128invalid
32.5s50756×body1024valid
14.2s35187×body512valid
8.9s10457×body2048valid
4.9s17953×body256valid
4.9s10115×body1024invalid
1.9s6201×body512invalid
1.8s1574×body8192exit
954.0ms329×body4096valid
835.0ms3604×body256invalid
2.0msbody2048invalid
Compiler

Compiled 11793 to 8040 computations (31.8% saved)

regimes4.5min (20.5%)

Counts
15177 → 398
Compiler

Compiled 3455048 to 2173492 computations (37.1% saved)

series4.4min (20.2%)

Counts
1851 → 50194
Calls

1716 calls:

6.2s
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
5.8s
(/.f64 (fma.f64 y (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) 2)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
5.5s
(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
4.6s
(/.f64 (*.f64 (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)) (*.f64 y z)) (+.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 2) (*.f64 (tanh.f64 (/.f64 x y)) (+.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 t y))))))
3.2s
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))

analyze2.5min (11.4%)

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)

prune1.8min (8.5%)

Counts
116022 → 5285
Compiler

Compiled 3809392 to 1830926 computations (51.9% saved)

simplify51.1s (3.9%)

Algorithm
1312×egg-herbie
Rules
353830×fma-def_binary64
282187×fma-neg_binary64
170694×cancel-sign-sub-inv_binary64
134011×times-frac_binary64
126586×associate-*l*_binary64
Stop Event
665×node limit
647×saturated
Counts
120924 → 95374

rewrite41.0s (3.1%)

Algorithm
774×batch-egg-rewrite
Rules
291418×expm1-log1p-u_binary64
276696×log1p-expm1-u_binary64
184004×prod-diff_binary64
102421×log-prod_binary64
97411×log1p-udef_binary64
Stop Event
774×node limit
Counts
1851 → 70460
Calls

1715 calls:

427.0ms
(cbrt.f64 x)
296.0ms
(cbrt.f64 y)
292.0ms
(pow.f64 (cbrt.f64 x) 2)
258.0ms
(cos.f64 y)
250.0ms
(pow.f64 (cbrt.f64 y) 2)

end29.0s (2.2%)

Compiler

Compiled 47522 to 29362 computations (38.2% saved)

localize7.3s (0.6%)

bsearch1.4s (0.1%)

Compiler

Compiled 743 to 505 computations (32% saved)

Profiling

Loading profile data...