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.8min)

sample47.3s (27.8%)

Results
15.7s113182×body256valid
13.3s27924×body1024valid
8.3s3286×body8192exit
4.0s14192×body512valid
2.1s4966×body1024invalid
1.1s1566×body2048valid
769.0ms3423×body256infinite
713.0ms2470×body512invalid
406.0ms2786×body256invalid
146.0ms228×body1024infinite
132.0ms238×body512infinite
41.0ms153×body256unsamplable
5.0ms2×body8192invalid
3.0ms5×body2048invalid
2.0ms1×body4096invalid
Bogosity

simplify24.9s (14.7%)

Algorithm
229×egg-herbie
Rules
120336×associate-*r*
108682×*-commutative
102720×associate-*l*
102206×distribute-lft-in
96202×associate-/l*
Stop Event
4×done
7×unsound
32×saturated
15×fuel
190×node limit
Counts
32044 → 36304
Compiler

Compiled 1912 to 1260 computations (34.1% saved)

eval22.9s (13.5%)

Compiler

Compiled 1261099 to 633913 computations (49.7% saved)

rewrite17.9s (10.5%)

Algorithm
191×batch-egg-rewrite
Rules
141014×add-sqr-sqrt
138706×*-un-lft-identity
129858×add-cube-cbrt
128666×add-cbrt-cube
86064×add-exp-log
Stop Event
191×node limit
Counts
448 → 23175

prune16.6s (9.7%)

Counts
45489 → 1674
Compiler

Compiled 45090 to 30737 computations (31.8% saved)

regimes14.9s (8.7%)

Counts
3927 → 159
Calls

51 calls:

1.8s
a
1.8s
x
1.5s
r
1.1s
s
1.1s
b
Compiler

Compiled 50198 to 22798 computations (54.6% saved)

analyze11.7s (6.9%)

Algorithm
19×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%72.3%27.7%0%0%0%0
9.1%6.6%65.7%27.7%0%0%0%1
10.9%7.9%64.4%27.7%0%0%0%2
32.8%23.7%48.6%27.7%0%0%0%3
42.8%30.9%41.4%27.7%0%0%0%4
48.9%34.9%36.5%27.7%0%1%0%5
53.3%37.5%32.9%27.7%0.5%1.2%0.3%6
58.9%41%28.7%27.7%0.6%1.7%0.3%7
62.4%43.1%26%27.7%0.9%1.8%0.5%8
65.8%45.2%23.5%27.7%0.9%2.2%0.5%9
69.2%47.3%21%27.7%1.1%2.3%0.6%10
71.3%48.5%19.5%27.7%1.3%2.5%0.6%11
73.2%49.6%18.2%27.7%1.4%2.5%0.6%12
Compiler

Compiled 288 to 205 computations (28.8% saved)

localize4.0s (2.3%)

Compiler

Compiled 8256 to 3924 computations (52.5% saved)

soundness2.6s (1.5%)

Algorithm
21×egg-herbie
Rules
14268×associate-/r*
11936×*-commutative
11558×associate-*r*
10566×fma-def
10156×sqr-pow
Stop Event
2×saturated
19×node limit
Compiler

Compiled 1614 to 868 computations (46.2% saved)

series2.5s (1.5%)

Counts
448 → 8850
Calls

2472 calls:

TimeVariablePointExpression
217.0ms
y
@inf
(log1p.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a))))
81.0ms
y
@-inf
(pow.f64 (pow.f64 (pow.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a))) 1/6) 2) 3)
73.0ms
z
@-inf
(log1p.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a))))
72.0ms
r
@-inf
(log.f64 (*.f64 r (sin.f64 b)))
56.0ms
b
@-inf
(log.f64 (*.f64 (/.f64 b (cos.f64 a)) r))

bsearch2.1s (1.2%)

Algorithm
53×binary-search
7×left-value
Stop Event
50×narrow-enough
2×predicate-failed
1×predicate-same
Results
849.0ms5437×body256valid
607.0ms856×body1024valid
137.0ms1379×body256invalid
135.0ms434×body512valid
115.0ms685×body256infinite
70.0ms67×body2048valid
26.0ms52×body1024infinite
14.0ms47×body512infinite
Compiler

Compiled 11650 to 8085 computations (30.6% saved)

preprocess1.7s (1%)

Algorithm
38×egg-herbie
Rules
8532×fma-def
7066×sqr-pow
5672×associate-/l/
5048×unswap-sqr
4482×*-commutative
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

end1.0s (0.6%)

Compiler

Compiled 1879 to 975 computations (48.1% saved)

Profiling

Loading profile data...