Date:Friday, October 21st, 2022
Commit:8c291771 on svg-pareto-plots
Hostname:warfa with Racket 8.5
Seed:2022294
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: 6.4min)

sample1.8min (27.7%)

Results
54.0s296895×body256valid
22.1s14947×body2048valid
14.6s21755×body1024valid
7.2s22503×body256invalid
4.7s12354×body512valid
1.8s202×body8192exit
1.0s801×body4096valid
243.0ms208×body1024invalid
161.0ms275×body512invalid
23.0ms18×body2048invalid

regimes51.8s (13.4%)

Counts
5296 → 615
Calls

93 calls:

7.9s
a
6.8s
c
6.4s
b
3.5s
d
2.5s
v
Compiler

Compiled 88595 to 50252 computations (43.3% saved)

eval50.0s (13%)

Compiler

Compiled 1816620 to 1070472 computations (41.1% saved)

simplify43.6s (11.3%)

Algorithm
480×egg-herbie
Rules
162306×fma-def_binary64
108563×associate-*l*_binary64
108448×unswap-sqr_binary64
91660×times-frac_binary64
87840×associate-*r*_binary64
Stop Event
11×done
125×saturated
31×fuel
355×node limit
Counts
58869 → 49857
Compiler

Compiled 10000 to 5995 computations (40.1% saved)

rewrite36.9s (9.6%)

Algorithm
396×batch-egg-rewrite
2×egg-rewrite-iter-limit
Rules
153280×pow1_binary64
144135×add-log-exp_binary64
144088×expm1-log1p-u_binary64
144084×log1p-expm1-u_binary64
130591×add-exp-log_binary64
Stop Event
1×unsound
2×iter limit
395×node limit
Counts
913 → 41035

bsearch29.8s (7.7%)

Algorithm
342×binary-search
19×left-value
Compiler

Compiled 31191 to 20890 computations (33% saved)

localize16.9s (4.4%)

Compiler

Compiled 30160 to 17321 computations (42.6% saved)

prune16.4s (4.3%)

Counts
64903 → 2282
Compiler

Compiled 70696 to 48206 computations (31.8% saved)

analyze13.2s (3.4%)

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
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end7.0s (1.8%)

Compiler

Compiled 9652 to 4922 computations (49% saved)

series5.2s (1.3%)

Counts
913 → 17792
Calls

5004 calls:

TimeVariablePointExpression
164.0ms
t
@0
(pow.f64 (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 2) 2)
139.0ms
b
@-inf
(log.f64 (neg.f64 (/.f64 c (*.f64 a (/.f64 b a)))))
76.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
71.0ms
x2
@-inf
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
56.0ms
t
@inf
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

soundness4.6s (1.2%)

Algorithm
34×egg-herbie
Rules
14864×fma-def_binary64
13390×fma-neg_binary64
7173×times-frac_binary64
7103×associate-/r*_binary64
6783×associate-/l*_binary64
Stop Event
9×saturated
25×node limit
Compiler

Compiled 13203 to 8913 computations (32.5% saved)

preprocess3.1s (0.8%)

Algorithm
84×egg-herbie
Rules
15213×fma-def_binary64
8199×fma-neg_binary64
7730×distribute-rgt-in_binary64
5512×unsub-neg_binary64
5438×div-sub_binary64
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...