Date:Tuesday, August 16th, 2022
Commit:f262be85 on no-retirement
Hostname:warfa with Racket 8.5
Seed:2022228
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.9min)

sample38.3s (33.9%)

Results
11.1s82182×body256valid
10.6s17311×body1024valid
8.4s3232×body8192exit
2.9s7057×body512valid
2.5s5196×body1024invalid
952.0ms5731×body256invalid
798.0ms778×body2048valid
793.0ms2782×body512invalid
6.0ms8×body2048invalid
2.0ms1×body4096invalid

simplify14.5s (12.8%)

Algorithm
201×egg-herbie
Rules
64519×fma-def_binary64
44934×associate-*l*_binary64
39458×fma-neg_binary64
36344×unswap-sqr_binary64
35344×associate-*r*_binary64
Stop Event
3×unsound
69×saturated
129×node limit
Counts
23153 → 18962

rewrite12.1s (10.7%)

Algorithm
172×batch-egg-rewrite
2×egg-rewrite-iter-limit
Rules
73866×pow1_binary64
68878×add-log-exp_binary64
68834×expm1-log1p-u_binary64
68832×log1p-expm1-u_binary64
64290×add-exp-log_binary64
Stop Event
2×unsound
2×iter limit
170×node limit
Counts
405 → 15649

eval10.4s (9.2%)

Compiler

Compiled 536903 to 228815 computations (57.4% saved)

analyze10.3s (9.2%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
23.1%53.8%23.1%3
32.7%44.2%23.1%4
38.4%38.4%23.1%5
40.8%34.8%24.3%6
44.6%31%24.4%7
46.2%28.7%25.1%8
48.1%26.6%25.2%9
49.6%24.7%25.7%10
50.5%23.5%26%11
51.3%22.5%26.3%12
Compiler

Compiled 211 to 152 computations (28% saved)

regimes9.5s (8.4%)

Counts
1908 → 116
Calls

24 calls:

1.8s
a
1.2s
b
978.0ms
r
768.0ms
x
556.0ms
(+.f64 y z)
Compiler

Compiled 21422 to 10056 computations (53.1% saved)

prune7.4s (6.5%)

Counts
24904 → 1575
Compiler

Compiled 41103 to 27111 computations (34% saved)

localize3.8s (3.4%)

Compiler

Compiled 6949 to 3006 computations (56.7% saved)

series3.1s (2.7%)

Counts
405 → 7491
Calls

2046 calls:

TimeVariablePointExpression
196.0ms
x
@0
(*.f64 x (pow.f64 2 1/4))
159.0ms
b
@-inf
(log.f64 (/.f64 r (/.f64 (cos.f64 b) (sin.f64 b))))
100.0ms
y
@0
(tan.f64 (+.f64 y z))
75.0ms
a
@-inf
(log.f64 (-.f64 x (tan.f64 a)))
60.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)

bsearch2.1s (1.9%)

Algorithm
41×binary-search
6×left-value
Compiler

Compiled 942 to 635 computations (32.6% saved)

preprocess849.0ms (0.8%)

Algorithm
26×egg-herbie
Rules
3009×associate-/l/_binary64
2935×sqr-pow_binary64
2808×unswap-sqr_binary64
2390×fma-neg_binary64
2333×fma-def_binary64
Stop Event
2×unsound
18×saturated
6×node limit
Compiler

Compiled 153 to 113 computations (26.1% saved)

end735.0ms (0.6%)

Stop Event
13×fuel
Compiler

Compiled 2804 to 1398 computations (50.1% saved)

Profiling

Loading profile data...