Date:Sunday, May 21st, 2023
Commit:7039a485 on odyssey-paper
Hostname:nightly with Racket 8.6
Seed:2023141
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: 2.0hr)

sample28.7min (24.1%)

Results
10.3min3841204×body256valid
5.5min303600×body1024valid
3.8min29852×body8192exit
2.0min100677×body2048valid
1.8min446426×body256infinite
1.3min16244×body4096valid
1.1min164121×body512valid
54.7s268698×body256invalid
33.6s2859×body8192valid
27.1s35301×body1024infinite
10.9s1913×body4096infinite
9.4s14900×body1024invalid
9.0s18224×body512infinite
8.1s2388×body2048infinite
6.4s23060×body256unsamplable
3.1s8155×body512invalid
1.2s2977×body256precondition
1.1s1195×body2048invalid
519.0ms32×body8192infinite
253.0ms486×body1024unsamplable
199.0ms310×body2048unsamplable
72.0ms239×body512unsamplable
36.0ms1×body8192unsamplable
5.0ms2×body8192invalid
2.0ms1×body4096invalid
Bogosity

regimes22.6min (19%)

Counts
118940 → 12039
Calls

1158 calls:

2.2min
x
2.1min
F
1.8min
y
1.6min
z
1.6min
a
Results
Compiler

Compiled 2165163 to 1146863 computations (47% saved)

eval18.0min (15.1%)

Compiler

Compiled 50081115 to 26969841 computations (46.1% saved)

simplify13.5min (11.3%)

Algorithm
6954×egg-herbie
Rules
3882284×associate-*r*
3597216×associate-/l*
3431254×*-commutative
3365290×associate-*l*
3159864×distribute-lft-in
Stop Event
28×unsound
824×saturated
124×done
408×fuel
6102×node limit
Counts
1055958 → 1251228
Compiler

Compiled 161444 to 97763 computations (39.4% saved)

prune9.4min (7.9%)

Counts
1521185 → 43274
Compiler

Compiled 1589603 to 1127943 computations (29% saved)

rewrite9.4min (7.9%)

Algorithm
5886×batch-egg-rewrite
43×egg-rewrite-iter-limit
66×egg-rewrite
Rules
4040938×add-sqr-sqrt
3968920×*-un-lft-identity
3727784×add-cube-cbrt
3672688×add-cbrt-cube
2324476×add-exp-log
Stop Event
43×unsound
43×iter limit
5909×node limit
Counts
13559 → 733436

bsearch4.3min (3.6%)

Algorithm
7157×binary-search
806×left-value
Stop Event
6993×narrow-enough
3×predicate-failed
161×predicate-same
Results
2.4min802692×body256valid
34.3s33755×body1024valid
14.2s8785×body2048valid
14.0s4458×body4096valid
11.4s19545×body512valid
7.4s40035×body256invalid
7.1s35428×body256infinite
1.4s193×body4096infinite
1.2s1016×body1024infinite
1.1s611×body8192valid
782.0ms304×body2048infinite
542.0ms769×body512infinite
210.0ms410×body1024invalid
179.0ms778×body256unsamplable
82.0ms272×body512invalid
68.0ms5×body8192infinite
2.0ms2×body2048invalid
1.0ms1×body8192exit
1.0ms2×body512unsamplable
Compiler

Compiled 1699745 to 1239348 computations (27.1% saved)

soundness4.0min (3.3%)

Algorithm
824×egg-herbie
Rules
440166×fma-def
427214×*-commutative
419796×associate-*r*
388120×associate-/l*
366722×associate-/r*
Stop Event
1×unsound
168×saturated
655×node limit
Results
Compiler

Compiled 97216 to 56471 computations (41.9% saved)

localize3.5min (2.9%)

Compiler

Compiled 421305 to 214797 computations (49% saved)

analyze2.8min (2.4%)

Algorithm
539×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.7%13.3%0%0%0%0
2.4%2.1%84.7%13.3%0%0%0%1
3.6%3.1%83%13.3%0%0.6%0%2
11.5%9.8%74.8%13.3%0.3%1.8%0%3
15.9%13.2%69.8%13.3%1.2%2.3%0.2%4
23.9%19.7%62.6%13.3%1.6%2.7%0.2%5
28.6%23.1%57.7%13.3%2.5%3.1%0.3%6
36%28.4%50.5%13.3%3.5%3.9%0.3%7
40.5%31.6%46.4%13.3%4%4.2%0.4%8
46%35.4%41.5%13.3%4.7%4.6%0.4%9
50.6%38.3%37.4%13.3%5.4%5%0.4%10
54.8%41.1%33.9%13.3%5.9%5.3%0.4%11
58.2%43.3%31%13.3%6.4%5.6%0.5%12
Compiler

Compiled 11861 to 8220 computations (30.7% saved)

series1.2min (1%)

Counts
13559 → 321986
Calls

85443 calls:

TimeVariablePointExpression
387.0ms
x
@0
(*.f64 x (pow.f64 (exp.f64 y) y))
311.0ms
V
@0
(*.f64 (pow.f64 (*.f64 (/.f64 V A) l) -1/2) c0)
249.0ms
t
@0
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 6))
223.0ms
u1
@-inf
(log.f64 (fma.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) 1/6 1/2))
219.0ms
z
@0
(/.f64 (/.f64 2 z) (/.f64 (-.f64 y t) x))

end1.1min (0.9%)

Results
Compiler

Compiled 156750 to 75731 computations (51.7% saved)

preprocess41.6s (0.6%)

Algorithm
1072×egg-herbie
Rules
321884×fma-def
215744×*-commutative
191086×distribute-lft-in
189794×+-commutative
168944×associate-*r*
Stop Event
684×saturated
99×unsound
289×node limit
Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Profiling

Loading profile data...