Date:Sunday, June 19th, 2022
Commit:d00f85d9 on main
Hostname:warfa with Racket 8.5
Seed:2022170
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: 2.9min)

sample1.4min (48.3%)

Results
36.8s282185×body128valid
18.6s15003×body2048valid
11.8s21724×body1024valid
4.6s12344×body512valid
4.0s17109×body128invalid
3.7s14649×body256valid
1.6s202×body8192exit
591.0ms847×body4096valid
203.0ms221×body1024invalid
133.0ms239×body512invalid
55.0ms157×body256invalid
19.0ms16×body2048invalid
Compiler

Compiled 2504 to 1791 computations (28.5% saved)

analyze32.5s (19%)

Algorithm
43×search
2×random
Search
TrueOtherFalseIter
0%54.5%45.5%0
3.5%51%45.5%1
3.5%51%45.5%2
10.9%42.4%46.7%3
14.3%38.7%47%4
18.2%34%47.8%5
19.4%31.4%49.2%6
22%27.2%50.8%7
23.4%25.2%51.5%8
25%22.5%52.5%9
26.9%20%53.1%10
28.3%18%53.7%11
29.7%16.2%54.1%12
33.9%11.4%54.7%13
34.6%10.5%54.9%14
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

prune19.4s (11.3%)

Counts
16543 → 760
Compiler

Compiled 595248 to 375458 computations (36.9% saved)

regimes14.4s (8.4%)

Counts
2894 → 51
Compiler

Compiled 78293 to 44398 computations (43.3% saved)

simplify7.2s (4.2%)

Algorithm
193×egg-herbie
Rules
58678×fma-def_binary64
31501×times-frac_binary64
29706×associate-*l*_binary64
26206×fma-neg_binary64
23415×unswap-sqr_binary64
Stop Event
65×saturated
128×node limit
Counts
14522 → 13261

rewrite6.0s (3.5%)

Algorithm
109×batch-egg-rewrite
Rules
41925×expm1-log1p-u_binary64
41919×log1p-expm1-u_binary64
33890×pow1_binary64
24302×add-log-exp_binary64
19201×prod-diff_binary64
Stop Event
109×node limit
Counts
275 → 8823

end4.5s (2.6%)

Stop Event
24×done
18×fuel
Compiler

Compiled 6504 to 4430 computations (31.9% saved)

series1.7s (1%)

Counts
275 → 5657
Calls

1560 calls:

TimeVariablePointExpression
78.0ms
y
@-inf
(pow.f64 (pow.f64 (exp.f64 (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (sqrt.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4)))))
63.0ms
x
@0
(pow.f64 (pow.f64 (exp.f64 (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (sqrt.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4)))))
59.0ms
y
@inf
(pow.f64 (pow.f64 (exp.f64 (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (sqrt.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4)))))
46.0ms
x
@0
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))))) (sqrt.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4)))))
39.0ms
y
@0
(pow.f64 (pow.f64 (exp.f64 (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (pow.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4))) 1/4)) (sqrt.f64 (log.f64 (fma.f64 (pow.f64 x 4) -9 (pow.f64 y 4)))))

preprocess1.4s (0.8%)

Algorithm
84×egg-herbie
Rules
14284×fma-def_binary64
7072×fma-neg_binary64
5038×distribute-rgt-in_binary64
4651×associate-*l*_binary64
4295×div-sub_binary64
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 833 to 599 computations (28.1% saved)

localize1.2s (0.7%)

bsearch281.0ms (0.2%)

Algorithm
8×binary-search
4×left-value
Calls

4 calls:

141.0ms
c
134.0ms
b
0.0ms
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
0.0ms
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))
Compiler

Compiled 39 to 27 computations (30.8% saved)

Profiling

Loading profile data...