Date:Friday, October 21st, 2022
Commit:3e320b54 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: 12.2min)

regimes4.1min (33.5%)

Counts
15282 → 1309
Calls

152 calls:

24.7s
l
11.3s
t
10.6s
k
9.5s
M
8.3s
x
Compiler

Compiled 244088 to 123912 computations (49.2% saved)

sample2.5min (20.2%)

Results
45.7s190375×body256valid
28.7s112678×body256invalid
28.5s34080×body1024valid
10.6s11035×body2048valid
8.6s10652×body1024invalid
8.6s16287×body512valid
4.7s2986×body4096valid
4.6s969×body4096invalid
2.8s5841×body512invalid
2.6s1003×body2048invalid
1.8s1173×body8192valid
12.0ms12×body8192exit

bsearch1.4min (11.2%)

Algorithm
809×binary-search
106×left-value
Compiler

Compiled 77980 to 56625 computations (27.4% saved)

simplify59.0s (8.1%)

Algorithm
528×egg-herbie
Rules
184877×fma-def_binary64
129249×associate-*l*_binary64
120006×associate-*r*_binary64
110909×unswap-sqr_binary64
104035×associate-/l*_binary64
Stop Event
1×done
95×saturated
30×fuel
433×node limit
Counts
82330 → 64881
Compiler

Compiled 23905 to 14097 computations (41% saved)

eval57.4s (7.8%)

Compiler

Compiled 2414317 to 1403261 computations (41.9% saved)

rewrite43.8s (6%)

Algorithm
466×batch-egg-rewrite
12×egg-rewrite-iter-limit
15×egg-rewrite
Rules
187008×log-prod_binary64
131212×pow1_binary64
123764×add-log-exp_binary64
123676×expm1-log1p-u_binary64
123667×log1p-expm1-u_binary64
Stop Event
16×unsound
12×iter limit
465×node limit
Counts
1291 → 49698

prune23.3s (3.2%)

Counts
80240 → 3668
Compiler

Compiled 124536 to 88960 computations (28.6% saved)

localize20.0s (2.7%)

Compiler

Compiled 39571 to 20288 computations (48.7% saved)

analyze17.6s (2.4%)

Algorithm
31×search
Search
TrueOtherFalseIter
0%98.2%1.8%0
3.2%95%1.8%1
4%92.6%3.4%2
5.6%86.9%7.4%3
7.4%83.1%9.5%4
11.1%79.3%9.7%5
13.5%75.8%10.8%6
15.7%70.9%13.4%7
17.9%66.4%15.7%8
21.5%61.5%17%9
23%58.1%18.9%10
25.7%54%20.2%11
26.9%51.4%21.7%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

series14.7s (2%)

Counts
1291 → 32601
Calls

9339 calls:

TimeVariablePointExpression
130.0ms
h
@0
(*.f64 (*.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 l)))) (-.f64 1 (*.f64 (*.f64 (/.f64 1 2) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
123.0ms
M
@0
(*.f64 (+.f64 (*.f64 -1/2 (*.f64 n (*.f64 K (sin.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M))))) (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M))) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))
122.0ms
Om
@inf
(log.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 (*.f64 (*.f64 2 (/.f64 l Om)) (sin.f64 kx))))))
122.0ms
f
@inf
(/.f64 (log.f64 (tanh.f64 (/.f64 f (/.f64 4 (PI.f64))))) (*.f64 (PI.f64) -1/4))
118.0ms
EAccept
@inf
(/.f64 NaChar (+.f64 1 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 Vef (+.f64 (-.f64 EAccept mu) Ev)) KbT)))) 3) 3)))

soundness9.4s (1.3%)

Algorithm
76×egg-herbie
Rules
26970×fma-def_binary64
22132×associate-/l*_binary64
20086×distribute-rgt-in_binary64
18174×associate-*l/_binary64
18000×times-frac_binary64
Stop Event
4×saturated
72×node limit
Compiler

Compiled 56741 to 43036 computations (24.2% saved)

end9.0s (1.2%)

Compiler

Compiled 23525 to 11411 computations (51.5% saved)

preprocess2.6s (0.4%)

Algorithm
62×egg-herbie
Rules
12061×fma-def_binary64
8874×fma-neg_binary64
6590×associate-*l*_binary64
6287×distribute-rgt-in_binary64
6102×associate-/l*_binary64
Stop Event
7×unsound
30×saturated
25×node limit
Compiler

Compiled 904 to 666 computations (26.3% saved)

Profiling

Loading profile data...