Date:Tuesday, March 8th, 2022
Commit:44a381f9 on inf-ordinary
Hostname:warfa with Racket 8.1
Seed:2022067
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce: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: 5.9min)

sample1.8min (30.5%)

Results
29.7s186808×body128valid
26.1s31639×body1024valid
9.6s7867×body8192exit
8.5s47406×body128invalid
8.0s11029×body2048valid
7.5s15303×body512valid
5.3s2850×body4096valid
4.2s6017×body1024invalid
2.5s7507×body256valid
1.7s3100×body512invalid
835.0ms800×body8192valid
537.0ms1548×body256invalid
2.0ms2×body2048invalid
Compiler

Compiled 2496 to 1776 computations (28.8% saved)

series1.1min (18.2%)

Counts
346 → 9138
Calls

341 calls:

4.8s
(sqrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))
2.3s
(log1p.f64 (/.f64 (sin.f64 ky) (hypot.f64 (sin.f64 ky) (sin.f64 kx))))
2.0s
(exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 (-.f64 (+.f64 EAccept Ev) mu) Vef) KbT))))
1.7s
(log1p.f64 (exp.f64 (/.f64 (+.f64 (-.f64 (+.f64 EAccept Ev) mu) Vef) KbT)))
1.7s
(sqrt.f64 (*.f64 (*.f64 2 n) (*.f64 (*.f64 (cbrt.f64 U) (cbrt.f64 U)) (*.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t) (cbrt.f64 U)))))

regimes56.7s (16.1%)

Counts
4749 → 51
Compiler

Compiled 1329296 to 878057 computations (33.9% saved)

prune55.5s (15.8%)

Counts
32427 → 1034
Compiler

Compiled 2065600 to 1199047 computations (42% saved)

analyze30.1s (8.6%)

Algorithm
31×search
Search
TrueOtherFalseIter
0%98.2%1.8%0
22.6%75.6%1.8%1
23.3%73.2%3.4%2
28.2%65.2%6.6%3
31.2%60.6%8.3%4
33.2%58.5%8.3%5
37%54.5%8.5%6
41.4%49.2%9.4%7
42.9%46%11.1%8
45.2%42.9%11.9%9
46.2%41.5%12.3%10
47.3%39.7%13%11
48.3%37.9%13.8%12
49.9%33.5%16.6%13
50.3%32.7%17%14
Compiler

Compiled 845 to 604 computations (28.5% saved)

simplify24.2s (6.9%)

Algorithm
179×egg-herbie
Rules
66571×fma-def_binary64
35090×fma-neg_binary64
33708×times-frac_binary64
30862×associate-*l*_binary64
28726×associate-*r*_binary64
Counts
23072 → 24368

rewrite5.8s (1.6%)

Algorithm
117×rewrite-expression-head
Rules
6194×add-exp-log_binary64
4967×times-frac_binary64
4536×add-sqr-sqrt_binary64
4120×*-un-lft-identity_binary64
3442×add-cbrt-cube_binary64
Counts
346 → 13903
Calls

341 calls:

189.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (+.f64 (*.f64 a (+.f64 4 a)) (+.f64 4 (*.f64 2 (*.f64 b b)))) (+.f64 (*.f64 a (+.f64 4 a)) (+.f64 4 (*.f64 2 (*.f64 b b))))) (+.f64 (*.f64 a (+.f64 4 a)) (+.f64 4 (*.f64 2 (*.f64 b b)))))))
151.0ms
(*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (+.f64 (*.f64 a (+.f64 4 a)) (+.f64 4 (*.f64 2 (*.f64 b b)))) (+.f64 (*.f64 a (+.f64 4 a)) (+.f64 4 (*.f64 2 (*.f64 b b))))) (+.f64 (*.f64 a (+.f64 4 a)) (+.f64 4 (*.f64 2 (*.f64 b b))))))
70.0ms
(*.f64 (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) (*.f64 (PI.f64) t)) (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) (-.f64 1 (*.f64 v v))))
63.0ms
(*.f64 (/.f64 (/.f64 1 (hypot.f64 (sin.f64 ky) (sin.f64 kx))) (/.f64 1 (sin.f64 ky))) (sin.f64 th))
41.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

end5.7s (1.6%)

Compiler

Compiled 11342 to 7354 computations (35.2% saved)

localize2.0s (0.6%)

bsearch590.0ms (0.2%)

Compiler

Compiled 154 to 86 computations (44.2% saved)

Profiling

Loading profile data...