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

sample2.3min (55.9%)

Results
47.4s36718×body2048valid
44.6s66415×body1024valid
15.1s34898×body512valid
11.2s73808×body128valid
4.7s17054×body256valid
4.6s2346×body1024invalid
2.1s2275×body4096valid
1.3s1260×body512invalid
1.2s5962×body128invalid
446.0ms746×body256invalid
335.0ms405×body2048invalid
Compiler

Compiled 1075 to 792 computations (26.3% saved)

regimes25.6s (10.5%)

Counts
2408 → 53
Compiler

Compiled 147667 to 99010 computations (33% saved)

series22.2s (9.2%)

Counts
240 → 3686
Calls

231 calls:

1.6s
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))))
1.5s
(log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))
1.4s
(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))))) (cos.f64 x))
1.3s
(pow.f64 (*.f64 a (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) -1)
1.3s
(pow.f64 (/.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) -1)

prune17.2s (7.1%)

Counts
17215 → 632
Compiler

Compiled 446996 to 231267 computations (48.3% saved)

analyze16.2s (6.7%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.5%22.4%7
49.9%27.3%22.9%8
51.1%25.1%23.7%9
51.5%24%24.5%10
52.4%22.5%25%11
53.2%21.2%25.6%12
53.5%20.5%26%13
53.9%19.7%26.4%14
Compiler

Compiled 375 to 278 computations (25.9% saved)

simplify10.3s (4.3%)

Algorithm
147×egg-herbie
Rules
45745×fma-def_binary64
38112×fma-neg_binary64
24498×times-frac_binary64
22348×unswap-sqr_binary64
22277×cancel-sign-sub-inv_binary64
Counts
14838 → 14194

rewrite8.8s (3.6%)

Algorithm
182×batch-egg-rewrite
egg-rewrite
Rules
36549×expm1-log1p-u_binary64
33922×prod-diff_binary64
32511×log1p-expm1-u_binary64
14180×log1p-udef_binary64
13514×fma-def_binary64
Counts
240 → 11124
Calls

231 calls:

624.0ms
(sin.f64 eps)
520.0ms
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))
520.0ms
(*.f64 (sin.f64 x) (sin.f64 eps))
520.0ms
(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
274.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))

end4.6s (1.9%)

Compiler

Compiled 5679 to 3741 computations (34.1% saved)

bsearch1.0s (0.4%)

Compiler

Compiled 88 to 64 computations (27.3% saved)

localize1.0s (0.4%)

Profiling

Loading profile data...