Date:Sunday, November 13th, 2022
Commit:c13e8a97 on svg-pareto-plots
Hostname:warfa with Racket 8.6
Seed:2022317
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: 53.4min)

regimes17.3min (32.5%)

Counts
41974 → 7555
Calls

493 calls:

2.8min
x
2.6min
y
2.3min
z
2.0min
t
1.6min
a
Results
Compiler

Compiled 523069 to 265766 computations (49.2% saved)

sample9.9min (18.6%)

Results
6.2min2131755×body256valid
1.7min337767×body256infinite
37.5s135518×body256invalid
37.3s51001×body1024valid
16.3s35552×body512valid
9.7s10476×body2048valid
4.7s9109×body1024infinite
3.0s1524×body8192exit
2.0s5502×body512infinite
722.0ms336×body4096valid
327.0ms596×body512invalid
273.0ms700×body1024invalid
Bogosity

bsearch5.8min (10.8%)

Algorithm
5081×binary-search
434×left-value
Compiler

Compiled 271549 to 197537 computations (27.3% saved)

simplify5.1min (9.5%)

Algorithm
3169×egg-herbie
Rules
970090×fma-def_binary64
666276×fma-neg_binary64
457701×associate-*l*_binary64
452201×unswap-sqr_binary64
382765×associate-*r*_binary64
Stop Event
5×unsound
63×done
1502×saturated
206×fuel
1662×node limit
Counts
374180 → 288668
Compiler

Compiled 89804 to 50086 computations (44.2% saved)

rewrite4.3min (8%)

Algorithm
2630×batch-egg-rewrite
10×egg-rewrite-iter-limit
10×egg-rewrite
Rules
1166749×pow1_binary64
1088560×expm1-log1p-u_binary64
1088516×log1p-expm1-u_binary64
1088170×add-log-exp_binary64
974287×add-exp-log_binary64
Stop Event
9×unsound
10×iter limit
2631×node limit
Counts
5425 → 235679

eval3.5min (6.6%)

Compiler

Compiled 7806018 to 3617644 computations (53.7% saved)

prune2.0min (3.7%)

Counts
348433 → 14952
Compiler

Compiled 383361 to 269929 computations (29.6% saved)

analyze1.5min (2.8%)

Algorithm
270×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.7%0.1%0%0.2%0%2
5.7%5.6%93.3%0.1%0.2%0.7%0%3
8.5%8.3%89.2%0.1%1.2%1.2%0%4
16.6%16.1%80.8%0.1%1.6%1.4%0%5
21.4%20.4%74.8%0.1%2.7%2%0%6
30.2%28.1%64.9%0.1%4%2.8%0%7
35.6%32.7%59.4%0.1%4.5%3.3%0%8
41.9%38%52.7%0.1%5.4%3.7%0%9
47.4%42.3%46.9%0.1%6.4%4.3%0%10
52.3%46.1%42%0.1%7.1%4.6%0%11
56.4%49.2%38.1%0.1%7.7%4.9%0%12
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize1.2min (2.3%)

Compiler

Compiled 123044 to 54724 computations (55.5% saved)

series53.4s (1.7%)

Counts
5425 → 138231
Calls

37143 calls:

TimeVariablePointExpression
1.2s
x
@inf
(/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 x 263505074721/1000000000) 156699607947/500000000) x) 23533438303/500000000))
673.0ms
z
@inf
(/.f64 (-.f64 (*.f64 z y) x) (*.f64 t z))
564.0ms
y
@0
(/.f64 -2 (-.f64 (/.f64 2 (/.f64 y z)) (/.f64 t z)))
358.0ms
y
@-inf
(log1p.f64 (*.f64 1/3 (acos.f64 (/.f64 (sqrt.f64 t) (*.f64 (/.f64 z x) (*.f64 18 y))))))
294.0ms
x
@-inf
(pow.f64 (E.f64) (log.f64 (log.f64 x)))

end47.8s (1.5%)

Compiler

Compiled 88604 to 39375 computations (55.6% saved)

soundness40.5s (1.3%)

Algorithm
249×egg-herbie
Rules
108758×fma-def_binary64
80670×fma-neg_binary64
46438×associate-/l*_binary64
42064×distribute-rgt-in_binary64
37251×unsub-neg_binary64
Stop Event
91×saturated
158×node limit
Compiler

Compiled 55211 to 37542 computations (32% saved)

preprocess23.9s (0.7%)

Algorithm
540×egg-herbie
Rules
98329×fma-def_binary64
92803×fma-neg_binary64
46036×sub-neg_binary64
45046×div-sub_binary64
43640×distribute-rgt-in_binary64
Stop Event
58×unsound
354×saturated
128×node limit
Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Profiling

Loading profile data...