Date:Saturday, July 9th, 2022
Commit:b0462c74 on main
Hostname:warfa with Racket 8.5
Seed:2022190
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.8min)

sample1.4min (49.7%)

Results
37.7s282172×body128valid
18.4s14808×body2048valid
12.2s21970×body1024valid
5.2s12245×body512valid
4.2s17313×body128invalid
3.4s14642×body256valid
1.8s202×body8192exit
661.0ms915×body4096valid
194.0ms222×body1024invalid
143.0ms253×body512invalid
50.0ms145×body256invalid
23.0ms19×body2048invalid

analyze33.2s (19.5%)

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)

prune23.9s (14%)

Counts
15824 → 801
Compiler

Compiled 539825 to 334368 computations (38.1% saved)

regimes7.1s (4.1%)

Counts
1271 → 58
Compiler

Compiled 32976 to 19782 computations (40% saved)

simplify7.0s (4.1%)

Algorithm
190×egg-herbie
Rules
63390×fma-def_binary64
30646×associate-*l*_binary64
28241×times-frac_binary64
23779×unswap-sqr_binary64
22769×fma-neg_binary64
Stop Event
65×saturated
125×node limit
Counts
14287 → 12760

rewrite6.5s (3.8%)

Algorithm
107×batch-egg-rewrite
Rules
40088×expm1-log1p-u_binary64
40085×log1p-expm1-u_binary64
32808×pow1_binary64
23279×add-log-exp_binary64
17698×prod-diff_binary64
Stop Event
107×node limit
Counts
262 → 9264

end3.6s (2.1%)

Stop Event
22×done
19×fuel
Compiler

Compiled 6336 to 3679 computations (41.9% saved)

series1.4s (0.8%)

Counts
262 → 4981
Calls

1464 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)))))
41.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)))))
39.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)))))
30.0ms
x
@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)))))
27.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.3s (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.1s (0.7%)

bsearch507.0ms (0.3%)

Algorithm
6×left-value
14×binary-search
Calls

5 calls:

297.0ms
b
105.0ms
c
99.0ms
x
0.0ms
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
0.0ms
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))
Compiler

Compiled 1116 to 769 computations (31.1% saved)

Profiling

Loading profile data...