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

sample1.1min (42.2%)

Results
18.6s6354×body8192exit
16.3s16852×body1024valid
14.3s79415×body128valid
4.4s7033×body512valid
3.4s5116×body1024invalid
1.4s795×body2048valid
1.4s3233×body256valid
1.2s2672×body512invalid
744.0ms2976×body128invalid
431.0ms1420×body256invalid
9.0msbody8192invalid
2.0msbody2048invalid
Compiler

Compiled 550 to 392 computations (28.7% saved)

analyze36.1s (24%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
23.1%53.8%23.1%3
32.7%44.2%23.1%4
38.4%38.4%23.1%5
40.8%35.3%23.8%6
44.6%31.5%24%7
46.2%29.4%24.4%8
48.1%27.4%24.5%9
50.1%25%24.9%10
50.8%24.1%25.1%11
51.5%23.1%25.4%12
52.3%22.2%25.6%13
52.5%21.6%25.9%14
Compiler

Compiled 211 to 152 computations (28% saved)

series15.8s (10.5%)

Counts
119 → 2178
Calls

103 calls:

1.4s
(log.f64 (pow.f64 (exp.f64 (sin.f64 b)) (sin.f64 a)))
1.1s
(pow.f64 (*.f64 (cbrt.f64 x) (+.f64 x x)) 1/2)
918.0ms
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (+.f64 x x)) 1/2)
861.0ms
(/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 b)) (sin.f64 a))))) (fma.f64 (neg.f64 (sin.f64 b)) (*.f64 (sin.f64 a) 1) (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))))
770.0ms
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 x x) 1/4) 2) 2)

regimes11.6s (7.7%)

Counts
1657 → 16
Compiler

Compiled 222999 to 133928 computations (39.9% saved)

prune10.9s (7.2%)

Counts
7202 → 492
Compiler

Compiled 193597 to 78959 computations (59.2% saved)

simplify4.8s (3.2%)

Algorithm
73×egg-herbie
Rules
20208×fma-def_binary64
13980×unswap-sqr_binary64
10226×times-frac_binary64
10002×associate-*l*_binary64
9492×associate-/l*_binary64
Counts
6523 → 5295

rewrite4.5s (3%)

Algorithm
94×batch-egg-rewrite
Rules
18854×expm1-log1p-u_binary64
18853×log1p-expm1-u_binary64
12399×log1p-udef_binary64
9685×prod-diff_binary64
6445×pow1_binary64
Counts
119 → 4332
Calls

103 calls:

373.0ms
(*.f64 (sqrt.f64 2) x)
298.0ms
(sqrt.f64 (hypot.f64 x x))
298.0ms
(pow.f64 (sqrt.f64 (hypot.f64 x x)) 2)
258.0ms
(*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1))
258.0ms
(fma.f64 (neg.f64 (sin.f64 b)) (*.f64 (sin.f64 a) 1) (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))

end2.6s (1.7%)

Compiler

Compiled 3864 to 2273 computations (41.2% saved)

localize630.0ms (0.4%)

bsearch113.0ms (0.1%)

Compiler

Compiled 10 to 6 computations (40% saved)

Profiling

Loading profile data...