Date:Tuesday, December 20th, 2022
Commit:d611f941 on main
Hostname:nightly with Racket 8.6
Seed:2022354
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: 43.6min)

regimes11.1min (25.5%)

Counts
42068 → 7192
Calls

497 calls:

1.7min
y
1.7min
x
1.5min
z
1.2min
t
1.1min
a
Results
Compiler

Compiled 577547 to 299801 computations (48.1% saved)

sample7.8min (17.9%)

Results
4.9min2132366×body256valid
1.3min336859×body256infinite
29.6s50790×body1024valid
28.7s136541×body256invalid
13.4s35287×body512valid
8.3s10344×body2048valid
4.0s9068×body1024infinite
1.9s1587×body8192exit
1.8s5589×body512infinite
553.0ms333×body4096valid
393.0ms708×body1024invalid
202.0ms584×body512invalid
1.0ms1×body2048infinite
Bogosity

simplify5.7min (13.1%)

Algorithm
3342×egg-herbie
Rules
1785454×associate-*r*
1686756×associate-/l*
1584472×associate-*l*
1571558×*-commutative
1492982×associate-+r+
Stop Event
62×done
9×unsound
434×saturated
207×fuel
2899×node limit
Counts
496092 → 556764
Compiler

Compiled 81788 to 47648 computations (41.7% saved)

eval5.0min (11.4%)

Compiler

Compiled 16832687 to 7898279 computations (53.1% saved)

rewrite4.3min (9.9%)

Algorithm
2803×batch-egg-rewrite
4×egg-rewrite-iter-limit
2×egg-rewrite
Rules
2181794×add-sqr-sqrt
2149900×*-un-lft-identity
2012594×add-cube-cbrt
1986296×add-cbrt-cube
1133716×add-exp-log
Stop Event
3×unsound
4×iter limit
2802×node limit
Counts
5896 → 336397

prune3.6min (8.3%)

Counts
640395 → 15871
Compiler

Compiled 429725 to 302169 computations (29.7% saved)

bsearch2.0min (4.5%)

Algorithm
4697×binary-search
497×left-value
Results
1.6min559498×body256valid
5.0s28457×body256infinite
3.4s5008×body1024valid
2.9s7444×body512valid
1.6s11560×body256invalid
95.0ms229×body2048valid
61.0ms101×body512infinite
9.0ms13×body1024infinite
5.0ms20×body512invalid
0.0ms1×body4096valid
Compiler

Compiled 1036142 to 759172 computations (26.7% saved)

analyze1.1min (2.5%)

Algorithm
270×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%99.7%0.1%0%0.2%0%2
5.7%5.6%93.3%0.1%0.2%0.7%0%3
8.5%8.3%89.2%0.1%1.2%1.2%0%4
16.6%16.1%80.8%0.1%1.6%1.4%0%5
21.4%20.4%74.8%0.1%2.7%2%0%6
30.2%28.1%64.9%0.1%4%2.8%0%7
35.6%32.7%59.4%0.1%4.5%3.3%0%8
41.9%38%52.7%0.1%5.4%3.7%0%9
47.4%42.3%46.9%0.1%6.4%4.3%0%10
52.3%46.1%42%0.1%7.1%4.6%0%11
56.4%49.2%38.1%0.1%7.7%4.9%0%12
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize58.7s (2.2%)

Compiler

Compiled 131319 to 58848 computations (55.2% saved)

soundness46.3s (1.8%)

Algorithm
331×egg-herbie
Rules
183180×fma-def
155354×*-commutative
142870×associate-*r*
138992×distribute-lft-in
138660×+-commutative
Stop Event
107×saturated
1×unsound
223×node limit
Compiler

Compiled 46265 to 24715 computations (46.6% saved)

end33.0s (1.3%)

Compiler

Compiled 79970 to 36890 computations (53.9% saved)

series26.2s (1%)

Counts
5896 → 159425
Calls

41541 calls:

TimeVariablePointExpression
191.0ms
b
@inf
(/.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 z 15234687407/1000000000) z 314690115749/10000000000) z 119400905721/10000000000) z 607771387771/1000000000000) (fma.f64 (fma.f64 (fma.f64 (fma.f64 z 313060547623/100000000000 55833770631/5000000000) z t) z a) z b))
154.0ms
y
@inf
(/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5641895835477563/5000000000000000 y) x))
133.0ms
t
@0
(pow.f64 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))) -1)
124.0ms
x
@0
(*.f64 x (log.f64 y))
123.0ms
j
@-inf
(-.f64 (+.f64 1 (*.f64 -27 (*.f64 k j))) 1)

preprocess17.6s (0.7%)

Algorithm
540×egg-herbie
Rules
183176×fma-def
105626×*-commutative
101564×+-commutative
95266×distribute-lft-in
86488×associate-+l-
Stop Event
59×unsound
353×saturated
128×node limit
Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Profiling

Loading profile data...