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

sample2.0min (30.5%)

Results
1.1min296706×body256valid
23.8s14886×body2048valid
15.3s21950×body1024valid
7.4s18895×body256infinite
5.2s12345×body512valid
3.1s202×body8192exit
1.3s865×body4096valid
616.0ms2891×body256invalid
213.0ms202×body1024infinite
161.0ms233×body512infinite
88.0ms412×body256unsamplable
56.0ms22×body2048infinite
Bogosity

eval52.1s (13%)

Compiler

Compiled 1778039 to 1043974 computations (41.3% saved)

simplify45.8s (11.4%)

Algorithm
471×egg-herbie
Rules
159828×fma-def_binary64
106991×unswap-sqr_binary64
104642×associate-*l*_binary64
93215×times-frac_binary64
89623×associate-*r*_binary64
Stop Event
12×done
118×saturated
30×fuel
353×node limit
Counts
59852 → 50873
Compiler

Compiled 8008 to 4878 computations (39.1% saved)

regimes45.8s (11.4%)

Counts
4389 → 520
Calls

92 calls:

9.8s
a
6.0s
b
5.6s
c
3.8s
d
2.1s
x
Compiler

Compiled 67732 to 38167 computations (43.6% saved)

rewrite41.8s (10.4%)

Algorithm
387×batch-egg-rewrite
3×egg-rewrite
1×egg-rewrite-iter-limit
Rules
144782×pow1_binary64
136265×add-log-exp_binary64
136232×expm1-log1p-u_binary64
136226×log1p-expm1-u_binary64
124476×add-exp-log_binary64
Stop Event
1×iter limit
390×node limit
Counts
925 → 41091

bsearch20.0s (5%)

Algorithm
277×binary-search
12×left-value
Compiler

Compiled 20740 to 14309 computations (31% saved)

prune18.9s (4.7%)

Counts
63999 → 2028
Compiler

Compiled 59283 to 40554 computations (31.6% saved)

localize17.1s (4.2%)

Compiler

Compiled 28538 to 16246 computations (43.1% saved)

analyze15.5s (3.9%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series7.3s (1.8%)

Counts
925 → 18719
Calls

5169 calls:

TimeVariablePointExpression
244.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
191.0ms
a
@-inf
(/.f64 1 (/.f64 a (*.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) -1/2)))
149.0ms
v
@0
(/.f64 (+.f64 u t1) v)
137.0ms
t
@-inf
(cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
135.0ms
v
@-inf
(*.f64 (*.f64 w (*.f64 w (*.f64 r r))) (+.f64 3/8 (*.f64 1/8 v)))

end6.1s (1.5%)

Compiler

Compiled 7732 to 4031 computations (47.9% saved)

soundness5.8s (1.5%)

Algorithm
39×egg-herbie
Rules
17470×fma-def_binary64
11975×times-frac_binary64
11927×fma-neg_binary64
7994×associate-/l*_binary64
7545×associate-*r*_binary64
Stop Event
8×saturated
31×node limit
Compiler

Compiled 14665 to 10115 computations (31% saved)

preprocess3.3s (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...