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

sample16.3s (24.2%)

Results
12.7s70169×body256valid
2.2s4135×body2048valid
626.0ms2083×body256invalid
544.0ms2742×body256infinite
Bogosity

eval12.9s (19.2%)

Compiler

Compiled 485526 to 293857 computations (39.5% saved)

simplify6.7s (9.9%)

Algorithm
85×egg-herbie
Rules
35680×fma-def_binary64
26984×fma-neg_binary64
18508×times-frac_binary64
16337×associate-/l*_binary64
15947×associate-*l*_binary64
Stop Event
35×saturated
3×done
6×fuel
50×node limit
Counts
9385 → 8327
Compiler

Compiled 2721 to 1666 computations (38.8% saved)

rewrite6.2s (9.2%)

Algorithm
2×egg-rewrite-iter-limit
2×egg-rewrite
67×batch-egg-rewrite
Rules
26566×pow1_binary64
24964×add-log-exp_binary64
24944×expm1-log1p-u_binary64
24942×log1p-expm1-u_binary64
24167×log-prod_binary64
Stop Event
1×unsound
2×iter limit
68×node limit
Counts
127 → 6759

regimes6.2s (9.1%)

Counts
677 → 151
Calls

23 calls:

1.2s
c
1.2s
a
703.0ms
b
487.0ms
x
402.0ms
z
Compiler

Compiled 14245 to 8156 computations (42.7% saved)

prune4.3s (6.4%)

Counts
12784 → 370
Compiler

Compiled 13207 to 9007 computations (31.8% saved)

bsearch4.3s (6.3%)

Algorithm
92×binary-search
8×left-value
Compiler

Compiled 13345 to 8884 computations (33.4% saved)

localize3.3s (4.9%)

Compiler

Compiled 6087 to 3325 computations (45.4% saved)

analyze2.1s (3.2%)

Algorithm
9×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%94.4%0.1%0%5.6%0%2
6.3%5.6%83.2%0.1%0%11.1%0%3
18.3%15.3%68%0.1%2.8%13.9%0%4
26.7%21.5%59%0.1%4.2%15.3%0%5
33.8%26.7%52.4%0.1%4.9%16%0%6
46.4%35.7%41.3%0.1%5.2%17.7%0%7
52.1%39.9%36.8%0.1%5.4%17.9%0%8
59.4%45.1%30.8%0.1%5.6%18.5%0%9
67.1%50.1%24.6%0.1%5.7%19.6%0%10
72.1%53.5%20.7%0.1%5.9%19.8%0%11
76.6%56.1%17.2%0.1%6.4%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

soundness1.9s (2.8%)

Algorithm
13×egg-herbie
Rules
9212×fma-def_binary64
7259×times-frac_binary64
5301×associate-*r*_binary64
4997×associate-*l*_binary64
4434×associate-/l*_binary64
Stop Event
3×saturated
10×node limit
Compiler

Compiled 1607 to 1198 computations (25.5% saved)

end1.3s (1.9%)

Compiler

Compiled 2627 to 1412 computations (46.3% saved)

series1.2s (1.9%)

Counts
127 → 2617
Calls

804 calls:

TimeVariablePointExpression
63.0ms
f
@inf
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
54.0ms
b
@inf
(fma.f64 b b (*.f64 c (*.f64 a -4)))
45.0ms
c
@-inf
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (*.f64 c (*.f64 a -4)))))
30.0ms
a
@0
(sqrt.f64 (+.f64 (*.f64 b b) (fma.f64 c (*.f64 a -4) (fma.f64 c (*.f64 a -4) (*.f64 a (*.f64 4 c))))))
26.0ms
x
@-inf
(*.f64 z (/.f64 x y))

preprocess727.0ms (1.1%)

Algorithm
18×egg-herbie
Rules
2992×fma-neg_binary64
2715×fma-def_binary64
2317×div-sub_binary64
2137×associate-/l*_binary64
1898×times-frac_binary64
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

Profiling

Loading profile data...